Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : heap comparison algorithm rewrited
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 9 Jun 2012 19:59:40 +0000 (21:59 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 9 Jun 2012 19:59:40 +0000 (21:59 +0200)
commiteb5ff7473ad687dc08cb81f0ad3bd47bc494ac24
treeafe6f1f9473dcb55f788a89459021397baf1f389
parent35f62d21aaa13145012189acb5a84e9011a172e5
model-checker : heap comparison algorithm rewrited
src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mmprivate.h