Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize equal_to in mmalloc heapinfo
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:37:59 +0000 (19:37 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:37:59 +0000 (19:37 +0200)
commit9a5bef704c2690a8fc084dd6765fcb347d55ecc8
tree43d303e2924b9a73ba77102efd220342efaed477
parentae1fe1d00736445143169a9608780f506ce761fe
model-checker : initialize equal_to in mmalloc heapinfo
src/xbt/mmalloc/mmalloc.c
src/xbt/mmalloc/mrealloc.c