Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new structure mc_pair_prop_t and backup of the values of atomic propo...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 5 Jul 2011 10:20:04 +0000 (12:20 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commit17edb45a151ccc0c00f7c85f5c03d82207dafba8
treeedaef386409c190f215a380928d36f9782012603
parent4b6daec896cfa8220c801d9c7dcf2af7eedcbff0
model-checker : new structure mc_pair_prop_t and backup of the values of atomic propositions for each state
src/mc/mc_dpor.c
src/mc/private.h