Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : count ignore done in heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 1 Aug 2012 20:53:40 +0000 (22:53 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 1 Aug 2012 20:53:40 +0000 (22:53 +0200)
commit2554c9160f3c5d661be5e8b42798580cea1cd636
treeefc1e11e4e6d445b8c4051eb0e9fe4194a80466d
parentfa02213cffba5b63cb6ee145dda085a4e4401407
model-checker : count ignore done in heap comparison algorithm
src/xbt/mmalloc/mm_diff.c