Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mess with mc examples platform
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 23 Mar 2020 14:49:10 +0000 (15:49 +0100)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 23 Mar 2020 14:49:10 +0000 (15:49 +0100)
commit895fe7fcdb5b1cf9661fcfbc3bcbe7b5518ed302
tree717c6fd0245ba2c7eae0f18a5a0c14f1a1be231c
parentb816493f2200a91000a2ef2920e2930dce1dc6ab
mess with mc examples platform
(prepare the transition to s4u)
17 files changed:
MANIFEST.in
examples/deprecated/msg/mc/CMakeLists.txt
examples/deprecated/msg/mc/bugged1.c
examples/deprecated/msg/mc/bugged1.tesh
examples/deprecated/msg/mc/bugged1_liveness.tesh
examples/deprecated/msg/mc/bugged1_liveness_visited.tesh
examples/deprecated/msg/mc/bugged2.c
examples/deprecated/msg/mc/bugged2.tesh
examples/deprecated/msg/mc/bugged3.c
examples/deprecated/msg/mc/centralized_mutex.c
examples/deprecated/msg/mc/centralized_mutex.tesh
examples/platforms/model_checker_platform.xml [moved from examples/deprecated/msg/mc/platform.xml with 100% similarity]
examples/s4u/CMakeLists.txt
examples/s4u/mc-electric-fence/platform.xml [deleted file]
examples/s4u/mc-electric-fence/s4u-mc-electric-fence.cpp
examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh
tools/cmake/DefinePackages.cmake