Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update system state comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Sep 2013 08:17:16 +0000 (10:17 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Sep 2013 08:20:52 +0000 (10:20 +0200)
commitbae1e97a2f32c6ba83e346f3427255ae63d52109
tree5c1c908d035567297b474f944458f4cd858d3296
parent6d83a6dccb71d12e2c80f8313076580ea49462ea
model-checker : update system state comparison
src/mc/mc_compare.c
src/xbt/mmalloc/mm_diff.c