Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detect valid block or fragment pointer as free function
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 27 Jun 2012 15:27:21 +0000 (17:27 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 27 Jun 2012 15:27:29 +0000 (17:27 +0200)
commit4ce21c89522602e9ba23daa8d5e9f14b25a6afa3
tree55403ba735ba94bb3d0172d06d819d763ba247ea
parentc0dc66a3644be860680e6df4092484c522e59d40
model-checker : detect valid block or fragment pointer as free function
src/xbt/mmalloc/mm_diff.c