Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : function mmalloc_compare_mdesc fixed (blocks unchecked)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 28 Oct 2011 14:14:22 +0000 (16:14 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 28 Oct 2011 14:14:22 +0000 (16:14 +0200)
commitfff99c2e390f3924dfc68006fbc5c214370df751
treeeeaf292c44790557fc66ae4024a63d6be2000476
parentf88cea0e25ce1a9212c14b414322b882e796d72c
model-checker : function mmalloc_compare_mdesc fixed (blocks unchecked)
src/xbt/mmalloc/mm_legacy.c