Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix std_heap address for heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 15:21:29 +0000 (17:21 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 14 Jun 2012 07:32:47 +0000 (09:32 +0200)
commit32417005181718d147397265dff392af44eedc3b
tree196fde9a14134437ff6906a6c93ce366e664a596
parent9006d78ba8a08a6500c994bb8141f48376448fc4
model-checker : fix std_heap address for heap comparison algorithm
src/include/mc/mc.h
src/mc/mc_private.h
src/xbt/mmalloc/mm_diff.c