Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add address of std_heap into debug informations for comparison of...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:35:13 +0000 (13:35 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:35:13 +0000 (13:35 +0100)
commit350f5a1112fad1d38efb016e582d96d3eb4a4d79
tree141382048a5221d621b6c46e1cc25e7e00135c6f
parent2c764b8544a391637e6279e9ace148a602e8ed3d
model-checker : add address of std_heap into debug informations for comparison of heap
include/xbt/mmalloc.h
src/xbt/mmalloc/mm_legacy.c
src/xbt/mmalloc/mmprivate.h