Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : init ignore information for each block/fragment only in mmalloc
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 11 Feb 2013 08:19:22 +0000 (09:19 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:54 +0000 (18:30 +0100)
commit630ec674ef1d824672647bd7b1b64e91d6d88eaa
tree952ccbc6c0d8c4cbbd35fcfe871dbfd6b7f51fa3
parenta689a5d482f27922e0e031c45f6ad6fd4eb98d99
model-checker : init ignore information for each block/fragment only in mmalloc
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mmalloc.c