From: Arnaud Giersch Date: Wed, 30 Jan 2013 15:41:24 +0000 (+0100) Subject: Remove old cruft. X-Git-Tag: v3_9_rc1~3 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/79170160bcdb4972cc62480c7c703a447f2d47b8?hp=f62d1850e4dfa486dab5e6f45d6d58f645431c76 Remove old cruft. --- 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.