Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : improve ignore mechanism for complete memory area
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 09:43:59 +0000 (11:43 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:20 +0000 (15:21 +0200)
commit25723c478419ad1bb662b9c28155f60d3b9262eb
tree08ef9059a863c2970f072d041f5627d764314a16
parent45cf10e0c743664310be804ca1d8d25edd3a18a7
model-checker : improve ignore mechanism for complete memory area
src/xbt/mmalloc/mm_diff.c