Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : conflit
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 14:41:16 +0000 (15:41 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 14:41:16 +0000 (15:41 +0100)
commit8fc11b8e2c3f486babc8be5494ddd53ffcc659f4
tree200075d143ce601cf003b83e8eeb5a5af02eca85
parent7b69ebcba84a0f8d4d23684c1eff7a7aa738b65f
parent3f3d8226150530c1653f25c8c7834aa82b4b2e33
model-checker : conflit
src/mc/mc_dpor.c
src/mc/mc_global.c