Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stop independance reduction if same request issuer
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 17 Nov 2012 20:14:38 +0000 (21:14 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 17 Nov 2012 20:14:38 +0000 (21:14 +0100)
commitf9f619ce0b60728045c1ef8b469b4d224f791552
tree905d125a6756a55e6640eaf315a551496e29de1d
parent98c7b18f3f7145fc71f5fec9309cc272c5359b92
model-checker : stop independance reduction if same request issuer
src/mc/mc_dpor.c