Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : sorting of visited states according to chunks used
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Jan 2013 15:08:31 +0000 (16:08 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Jan 2013 15:08:54 +0000 (16:08 +0100)
commit17bbb74d5889f7d40f4c7aa18d74a9a8f4f99a6b
tree0015e39ae7a17176ace77761d254e38d68f4aa4d
parent9dbb3ccc6b93628f85c80efdc227436aed930aec
model-checker : sorting of visited states according to chunks used
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_private.h