Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : minor changes for debug information in heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 5 Mar 2013 20:36:44 +0000 (21:36 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:54 +0000 (18:30 +0100)
commita618df752b5123e895a49196e02c5302fde9df51
tree4b28e60d28d1f19e5a48a7081aa2a7cd3685c95f
parentdac0a222c1b101fc43afe3d590dcc4a23502654d
model-checker : minor changes for debug information in heap comparison algorithm
src/xbt/mmalloc/mm_diff.c