Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : hamming distance computed for each different block/fragment
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Mar 2012 10:20:56 +0000 (11:20 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Mar 2012 10:20:56 +0000 (11:20 +0100)
commit6f8b717743800fb8cacec4f2794686912c5f49a1
treee9a318ccab3c71a289d27375270e0f0a791ddba5
parentf00f8da2fe2073d48fc817d7d0272997837200fd
model-checker : hamming distance computed for each different block/fragment
src/xbt/mmalloc/mm_diff.c