Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : test dpor without replay from initial state but with
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 20 Jun 2011 14:00:37 +0000 (16:00 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commit1d31b17008f739a67f54a3fcd4095fe8057831ed
treef6a350f83853bd93b9bd4f535cedd2d3f35e2186
parenta2c25e0bae01a59891fac21447f3210ba26302c5
model-checker : test dpor without replay from initial state but with
restore snapshot -> ok for safety properties, need more specifications
for liveness
buildtools/Cmake/DefinePackages.cmake
examples/msg/mc/example_automaton.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_request.c
src/mc/private.h