Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize pointer and update indice of search in heapinfo
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 06:59:42 +0000 (08:59 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 06:59:42 +0000 (08:59 +0200)
commit255034c505d975829a242b98eceeb2c2a4df4517
tree658fd41b65c79c3fa640eb021046f182d128e2f4
parent33d53861f6312ae42985bdc7011c396761125c3d
model-checker : initialize pointer and update indice of search in heapinfo
src/xbt/mmalloc/mm_diff.c