Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : pointer detection fixed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 3 Jul 2012 13:39:26 +0000 (15:39 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 3 Jul 2012 16:42:21 +0000 (18:42 +0200)
commit844d5085f16498071d85e6b89e14c8db8191c13e
tree746d1986b4aafa1630c41839407ca98c3d9495e0
parent712e7b7fa1893b2e989c4846e1839bcee0393a8c
model-checker : pointer detection fixed
src/xbt/mmalloc/mm_diff.c