Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add total hamming distance for heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 09:57:54 +0000 (11:57 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Jun 2012 09:57:54 +0000 (11:57 +0200)
commitfd0c81491963b25dab20bce41bdc3a66b5a936d6
tree01ae87607734dd899ddadf2516ca733ba91b4518
parent3d28e83ea2a5f93c7654087eb70ab2e873553628
model-checker : add total hamming distance for heap comparison algorithm
src/xbt/mmalloc/mm_diff.c