Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove meta-data of heap in comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 27 Apr 2012 14:43:29 +0000 (16:43 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 27 Apr 2012 14:43:29 +0000 (16:43 +0200)
commit1611c9c689366498f0ee2e225e2a7ea46df63cd7
tree9c8a549e7e7c16f80587db76d00c376b2cf1eae3
parent5fead7e79bf187e79ccae8055ae8fbf6c439bdad
model-checker : remove meta-data of heap in comparison algorithm
src/xbt/mmalloc/mm_diff.c