Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move function from mc_global in mm_module (compilation error without MC)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 10:32:44 +0000 (11:32 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 10:32:44 +0000 (11:32 +0100)
commit1fe09f54bac3c43710f19de37bcec99cd19b92a8
tree0ea49bba9dc523e7688d89f1ab17f4bf1a001446
parent99a12f0cb39eec92a0a1b8cbd3e1cf3e50559fba
model-checker : move function from mc_global in mm_module (compilation error without MC)
include/xbt/mmalloc.h
src/include/mc/mc.h
src/mc/mc_global.c
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mm_module.c