Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ddfs stateless and stateful fixed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 23 Aug 2011 16:46:29 +0000 (18:46 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:57 +0000 (13:36 +0200)
commit1f3dc5fab0ccdb98c1c77fdb2f96f662ea3e45a2
treeae423aeac042be6debc30f0796268bd5e06fbf3e
parent525f475f139a3cb313bf7eff204db8a4e38e6ed5
model-checker : ddfs stateless and stateful fixed
13 files changed:
examples/msg/mc/CMakeLists.txt
examples/msg/mc/automatonparse_promela.c
examples/msg/mc/bugged3.c
examples/msg/mc/deploy_mutex.xml
examples/msg/mc/example2_liveness_without_cycle.c [new file with mode: 0644]
examples/msg/mc/example2_liveness_without_cycle.h [new file with mode: 0644]
examples/msg/mc/example_liveness_without_cycle.c [moved from examples/msg/mc/example_automaton.c with 92% similarity]
examples/msg/mc/example_liveness_without_cycle.h [moved from examples/msg/mc/example_automaton.h with 100% similarity]
examples/msg/mc/result_parse [deleted file]
examples/msg/mc/result_parse2 [deleted file]
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h