Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new recursive function for comparison of block/fragment with pointers
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 10 Jul 2012 16:39:52 +0000 (18:39 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 10 Jul 2012 16:39:52 +0000 (18:39 +0200)
commit8d279fc189349f75156771216621eec1cde29307
tree22a91dbb3c0eea5a27d28cd039387b63181ce112
parent66549cfbea582874b4fb599673d38b84abaa25d4
model-checker : new recursive function for comparison of block/fragment with pointers
src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mmprivate.h