Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new functions to compare mmalloc in std_heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 12 Oct 2011 15:06:29 +0000 (17:06 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:58 +0000 (13:36 +0200)
commitd224717198062a7db0c69aa4b653df0e80a1c891
tree9a5ce03536e2b12ee723692b32c72f1c335ff008
parentd344049c320eee19a74e2fe4e1be14986207d83b
model-checker : new functions to compare mmalloc in std_heap
include/xbt/mmalloc.h
src/xbt/mmalloc/mm_legacy.c
src/xbt/mmalloc/mmprivate.h