Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore stack areas in heap comparison algorithm for the comparison...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 27 Sep 2012 16:28:14 +0000 (18:28 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commitdf2fe4fa15d80bf6b15e648aa962d15a2a40a2c7
treebd7551081fc663af827167f25ffc8ff2de359831
parent4e60b23928dbe1e46e52ff2a1a6cd7bedf74f7f3
model-checker : ignore stack areas in heap comparison algorithm for the comparison of local variables with dwarf
include/xbt/mmalloc.h
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/mc_global.c
src/simix/smx_context_base.c
src/xbt/mmalloc/mm_diff.c