Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : improve stack ignore in heap comparison algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 18 Nov 2012 18:23:46 +0000 (19:23 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 18 Nov 2012 18:23:46 +0000 (19:23 +0100)
commitd90a41491cfb04188c4469729fa60d01ec0ff693
treedcf272ebebab6bd408f835a29389b4db0a6417ee
parent247d96de592ac1fcd59411032c6528f238764516
model-checker : improve stack ignore in heap comparison algorithm
src/xbt/mmalloc/mm_diff.c