Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix sorting of visited states and state equality reduction
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Jan 2013 17:38:17 +0000 (18:38 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Jan 2013 17:38:17 +0000 (18:38 +0100)
commitbdb1638f0b58057107eb87995b2d447e34dc43a0
tree13313a395810fa391bf265c8699af0235832e3dd
parent17bbb74d5889f7d40f4c7aa18d74a9a8f4f99a6b
model-checker : fix sorting of visited states and state equality reduction
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h