Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : need to switch between raw heap and std heap to remove ignore region
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 12:05:25 +0000 (13:05 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 12:05:25 +0000 (13:05 +0100)
commitf703e5eea34c57dbfcda1f9c6d2e8ac3f1512062
treeea35b25e581c7771212f86b5f7445fa52bc8f454
parent1fe09f54bac3c43710f19de37bcec99cd19b92a8
model-checker : need to switch between raw heap and std heap to remove ignore region
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