Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dpor
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:32:06 +0000 (22:32 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:32:06 +0000 (22:32 +0100)
commiteed33b5980ef79e3f979b80564fbd5314c47902d
tree4e5350b48c393644c98946c05fbbd7446be00568
parent00cd576021269f05e84dd36f3cee7afbfe90cede
model-checker : fix dpor
src/mc/mc_dpor.c