--- /dev/null
+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.