Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detect pointers on valid fragment in heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 22 Jun 2012 15:44:40 +0000 (17:44 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 22 Jun 2012 15:44:56 +0000 (17:44 +0200)
commit82588cd669285c1f7aa78a1d97745406e9080d54
treebba5ab402805d1ce6742e19e7236a304783d1005
parent7bc0eaf70cf34961d99866cdb9fee612a3d9130a
model-checker : detect pointers on valid fragment in heap comparison algorithm
src/mc/mc_liveness.c
src/xbt/mmalloc/mm_diff.c