Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : test data in libsimgrid memory region between each state
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 21 Oct 2011 12:27:46 +0000 (14:27 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:58 +0000 (13:36 +0200)
commitdaf9d10c7877d35670e36e52be8a5207706d3bb1
treeda3c29d477f01f6a6d16c13a2ffaa9b31f78c1c7
parentd224717198062a7db0c69aa4b653df0e80a1c891
model-checker : test data in libsimgrid memory region between each state
src/mc/mc_liveness.c
src/mc/memory_map.c
src/xbt/mmalloc/mm_legacy.c