Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free pointers
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 14:43:01 +0000 (16:43 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 14:43:01 +0000 (16:43 +0200)
commit13928808f7422bd968a03e3bba7773305e5778ec
tree7c63912a7ec74d38fb84434b160dc1cfd96ae96f
parent854b0effe9cf4b457edd55197f76d6d7f489612a
model-checker : free pointers
src/xbt/mmalloc/mm_diff.c