Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : code refactoring for heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:28:45 +0000 (18:28 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:55 +0000 (18:30 +0100)
commit7a2f8b95fa87ae7d245870be8544e7e09730e1f9
treef616754ea9e0ed3a3394c7452ed98a716f0870cf
parent25c8adc001703bcf1c761ae66001a4b0539dcf0e
model-checker : code refactoring for heap comparison algorithm
src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mmprivate.h