Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : function mmalloc_compare_mdesc rewritten with new version of mmalloc
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 21 Feb 2012 14:05:29 +0000 (15:05 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 21 Feb 2012 14:05:29 +0000 (15:05 +0100)
commit17c6b11aff7b32922cbc2255975d8a257687045c
tree7e729fa5d21f445e2f8aa715a82ac79931d9a0c5
parented4a59a248d0efa948a8a3ea499d55bc96025234
model-checker : function mmalloc_compare_mdesc rewritten with new version of mmalloc
src/xbt/mmalloc/mm_diff.c