Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix detection of pointers on a fragment part
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 12:58:45 +0000 (14:58 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:20 +0000 (15:21 +0200)
commit44677c04b1b35803a89b68882fd3ebaa4a4a3d05
tree64cf857308bc20b6b6309d0a587d619f2807a48b
parentc7fd4ab992d70d90280677f65c8d35b0826422cc
model-checker : fix detection of pointers on a fragment part
include/xbt/mmalloc.h
src/mc/mc_compare.c
src/xbt/mmalloc/mm_diff.c