Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : examples changed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 17 Nov 2011 09:06:29 +0000 (10:06 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 17 Nov 2011 09:06:29 +0000 (10:06 +0100)
commit9553ec877f1dc96e9b44fbac31d47773e40adae3
treefa23d714a7687d6cc2d9b41f0b72533a88168b8e
parentb2b85b6a120b35b2d0a4c2cf433eadad15e79edc
model-checker : examples changed
examples/msg/mc/CMakeLists.txt
examples/msg/mc/example_liveness_with_cycle.c
examples/msg/mc/example_liveness_with_cycle2.c [new file with mode: 0644]
examples/msg/mc/example_liveness_without_cycle.c [deleted file]
examples/msg/mc/example_liveness_without_cycle.h [deleted file]