Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detect pointers on valid blocks in heap algorithm comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 09:26:32 +0000 (11:26 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 09:26:32 +0000 (11:26 +0200)
commit8a80a7488d5a9c1b57d287f939a310ee63c27583
tree9438d5634db988db0633cb9c94e64565ad7e43af
parentcd16070c1dd5297d2101a7e44df089f2e9022549
model-checker : detect pointers on valid blocks in heap algorithm comparison
src/xbt/mmalloc/mm_diff.c