Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : extend pointer detection in heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 2 Jul 2012 13:35:53 +0000 (15:35 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 2 Jul 2012 13:54:51 +0000 (15:54 +0200)
commit7ee955e723c9098d76dab196c47c310fd0b2bac4
tree2709b4b18c881295cd212ce821245163f7cae751
parent1383c8ed3e3f25eaa583e5388869f0f38340a8ee
model-checker : extend pointer detection in heap comparison algorithm
src/xbt/mmalloc/mm_diff.c