Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : create subdir for chord example with liveness model-checking
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 16:13:57 +0000 (17:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 19:40:45 +0000 (20:40 +0100)
commit68be5601ff3ff82d68ac0368fbe2f003f9da9143
tree3dcaccf3cf122561625a2f316bd00572ab4f90eb
parentc6189d1b7b02cda083791afc98f7e632100424d5
model-checker : create subdir for chord example with liveness model-checking
examples/msg/mc/CMakeLists.txt
examples/msg/mc/chord/chord_before_dsend_liveness.c [new file with mode: 0644]
examples/msg/mc/chord/chord_liveness [new file with mode: 0755]
examples/msg/mc/chord/chord_liveness.c [moved from examples/msg/mc/chord_liveness.c with 99% similarity]
examples/msg/mc/chord/chord_liveness.h [moved from examples/msg/mc/chord_liveness.h with 100% similarity]
examples/msg/mc/chord/deploy_chord_before_dsend_liveness.xml [new file with mode: 0644]
examples/msg/mc/chord/deploy_chord_liveness.xml [moved from examples/msg/mc/deploy_chord_liveness.xml with 100% similarity]
examples/msg/mc/chord/promela_chord_liveness [moved from examples/msg/mc/promela_chord_liveness with 100% similarity]