From 79170160bcdb4972cc62480c7c703a447f2d47b8 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 30 Jan 2013 16:41:24 +0100 Subject: [PATCH] Remove old cruft. --- src/mc/README | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 src/mc/README diff --git a/src/mc/README b/src/mc/README deleted file mode 100644 index e2c38da1fc..0000000000 --- a/src/mc/README +++ /dev/null @@ -1,9 +0,0 @@ -This file lists the issues to solve to achieve a the full integration of the MC branch: -- Model-checker entry point: - Up to now, the main function of each user API has to be modified to call MC_modelcheck instead of SIMIX_solve. - It would be nice to have a command line option like --model-check to determine the right behaviour. - -- Memory managment routines: - Because mc_memory.c redefines malloc, calloc, realloc and free, now even the simulator is going to use - the mmalloc library. This is no good because it is far slower than GNU's malloc, so some black magic should be - used to link against one library or the other depending on the mode choosed by the user. -- 2.20.1