Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add chunks used into snapshot structure and size used into stack...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 11 Jan 2013 16:55:15 +0000 (17:55 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 11 Jan 2013 16:59:23 +0000 (17:59 +0100)
commitc991ec54a886fe3f3e1460353790938e88a7af1f
treee9aecdacc942284b804e5def8a827986d9d02eeb
parent88ca05cd1d857df41fed346b8d766f31a73b8ad8
model-checker : add chunks used into snapshot structure and size used into stack snapshot structure
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_private.h