Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : one more condition before interleaving process in state
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jul 2011 12:57:24 +0000 (14:57 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:57 +0000 (13:36 +0200)
commit6ee83405a17618623d7ff527da1934e301ddd5fb
tree5746375b5738089d77a9d083cde46e9e9706110d
parent0eb9c39e8f500ed030b2d9ec2ad29acb9b4ad451
model-checker : one more condition before interleaving process in state
src/mc/mc_dpor.c