Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : end of cleanup for stateful and stateless model checking
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 12:03:02 +0000 (14:03 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 21 Jun 2012 12:03:02 +0000 (14:03 +0200)
commitf74d34bb1e9ca987d4f0616eb1429bb74f1bff33
tree0fe3e1bf54997e43f49d040b5b8004dea01dd362
parentf59ee0e803bec796c2dc227df9153366a6dd499b
model-checker : end of cleanup for stateful and stateless model checking
src/mc/mc_dpor.c
src/mc/mc_global.c