Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unnecessary memset on free fragments, already done in mmalloc
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 12 Jul 2012 10:03:42 +0000 (12:03 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 12 Jul 2012 10:03:42 +0000 (12:03 +0200)
commit1d3d1dcdeab30ce6c9e31a12b6195bc4d5ff8a8b
treeb6ceb43c0e1476dbcd7cbe05746c6479a7a2c4f6
parent5819e34728a4b838b80ea353d5c84c6130a62e75
model-checker : remove unnecessary memset on free fragments, already done in mmalloc
src/xbt/mmalloc/mfree.c