Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix number and address of blocks in heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 12 Jun 2012 12:50:33 +0000 (14:50 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 12 Jun 2012 12:50:33 +0000 (14:50 +0200)
commitb1a14fc05e71bec535b24cd93cf393219349899b
treed2d2b16ed316cf1922612776ec0f1cd3bf927042
parentefeea455e4864b202dd362d944175ec5fb2b2b04
model-checker : fix number and address of blocks in heap comparison algorithm
src/xbt/mmalloc/mm_diff.c