Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : hash of regions in snapshot stored instead of all the data
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 10:15:04 +0000 (11:15 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 10:15:04 +0000 (11:15 +0100)
commit1f834c56a869248347fa4dd12a41ded689989935
tree3acfc3fdb0d2db1e51b4f311ea75f270ab7ab0f5
parentf9bc1eb9da233212a26b57efa214e1224fd03677
model-checker : hash of regions in snapshot stored instead of all the data
src/mc/mc_liveness.c
src/mc/private.h