Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dpor with state equality reduction
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 20 Dec 2012 14:38:45 +0000 (15:38 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 20 Dec 2012 22:18:34 +0000 (23:18 +0100)
commita7a65bd1066880ac5876add26720aad9634c1e0e
treebdec733598e9f98d7c8a9414ae2f0883b9fda316
parent7aa52bfbfe54f5be7c01add5ee242ee4c03b7e4e
model-checker : fix dpor with state equality reduction
src/mc/mc_dpor.c