Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : try first to associate each block or fragment with the same positiion...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 17 Aug 2012 07:55:59 +0000 (09:55 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 17 Aug 2012 07:55:59 +0000 (09:55 +0200)
commit2351feb8e9d67abd0b5a68f5105eac0753e0715c
treeb68e6527e645ea70f5365f444438e4f20db90bfc
parent4ee1bc898e3935ac8c4a57261dbe1969595ff13c
model-checker : try first to associate each block or fragment with the same positiion in the other heap
src/xbt/mmalloc/mm_diff.c