Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get std_heap with mmalloc_get_current_heap instead of function argument
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 13:26:47 +0000 (15:26 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 13:26:47 +0000 (15:26 +0200)
commit8cce4677bbae8649654b26c7a43012c058dfd5d2
tree5d7e8d044d870269b0d20fb5488d200957cb0cbb
parent97aa0e698984b850ad794879f10e2978e4ec94fe
model-checker : get std_heap with mmalloc_get_current_heap instead of function argument
include/xbt/mmalloc.h
src/mc/mc_liveness.c
src/mc/mc_private.h
src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mmprivate.h