Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add variable deleted before to resolve a merge conflict
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 25 Mar 2013 22:29:42 +0000 (23:29 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 25 Mar 2013 22:29:42 +0000 (23:29 +0100)
commit253fb1724434f70e2d51e73696a82c7feef4497f
treefb735dc53a5a8adc80070954d39cc753da2c1525
parent4ccbf812a79a1577f9d125f46ad168d34d3371a5
model-checker : add variable deleted before to resolve a merge conflict
src/mc/mc_dpor.c