Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free pointers
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 07:00:48 +0000 (09:00 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 07:00:48 +0000 (09:00 +0200)
commit7ccac3398f1658d2485cc95d22c5d0f2eeb0e003
tree06b134bb9dcf8c6860cf8f27db99f3b19e470ece
parent255034c505d975829a242b98eceeb2c2a4df4517
model-checker : free pointers
src/xbt/mmalloc/mm_diff.c