Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : start heap comparison from local variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 22:05:51 +0000 (23:05 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 23:45:34 +0000 (00:45 +0100)
commit37dc8526fc8f952bd56ab72b4d58b657d34cbbbd
tree83f073395f6f1d26dbe8294741e4040d7845462b
parentff673c35e3a4c59f37040d6ae02ae49458301839
model-checker : start heap comparison from local variables
include/xbt/mmalloc.h
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h
src/simix/smx_smurf_private.h
src/xbt/mmalloc/mm_diff.c