Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get location of pointed address in comparison of process memory area
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 21 May 2012 13:59:24 +0000 (15:59 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 21 May 2012 13:59:24 +0000 (15:59 +0200)
commitdda93e7e3c8844b68b25ce1172d9fe1b6fcb8d37
treefa1d8ce05ac9affdd435ef88abd74fd552e22cad
parent644f3ba9c131c7fbb795072657caf7ce190c46a5
model-checker : get location of pointed address in comparison of process memory area
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