Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : heap compared block by block or fragment by fragment for the comparis...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 Nov 2011 08:43:05 +0000 (09:43 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 30 Nov 2011 08:43:05 +0000 (09:43 +0100)
commit667403a5cd2d2e881e6e4358c43c4b80e70e639d
treeb48f67bd6f04430e9008c20115550c1571f2371b
parent4157c72635c16fa9a690366d1c262cbfe222ddd2
model-checker : heap compared block by block or fragment by fragment for the comparison between two snapshots
src/xbt/mmalloc/mm_legacy.c