Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : start canonicalizatipn in heap comparison from global variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 10:02:43 +0000 (11:02 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 25 Jan 2013 10:02:56 +0000 (11:02 +0100)
commitaeecccef59f268281e3c0423a535ccc4e001e491
treefe8fddaddc6d459a3247b7fff1b03d7e7251c104
parent2de2be634908582c082f28ee99ebb337c57aa86e
model-checker : start canonicalizatipn in heap comparison from global variables
include/xbt/mmalloc.h
src/include/mc/mc.h
src/mc/mc_compare.c
src/mc/mc_global.c
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mm_diff.c