Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : store equality detected in heap comparison if fragment or block numbe...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 29 Sep 2012 20:20:47 +0000 (22:20 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commita326f3588402d8813b4556d92e9266c9ed10215b
tree226606417c073151e90a6340dd1d2a75fb79468a
parent5f69a2d25e1b7ad06dac0ab478a7047eebc8eab1
model-checker : store equality detected in heap comparison if fragment or block numbers are different
include/xbt/mmalloc.h
src/include/mc/datatypes.h
src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mmalloc.c
src/xbt/mmalloc/mmprivate.h