Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
convert bugged1-liveness
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 23 Mar 2020 17:54:31 +0000 (18:54 +0100)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 23 Mar 2020 18:12:28 +0000 (19:12 +0100)
commit0656c27cac6242675aba1df0f3c1ef6a79275e0c
tree350ffda29266550aa2439c9873b26d0c6d3b6829
parent100b572b5cdf8a4762953413ddb28be5a66b8af5
convert bugged1-liveness

+ Didn't check for leaks
+ Do not know whether the C stack cleaner is still relevant with C++
12 files changed:
MANIFEST.in
examples/deprecated/msg/mc/CMakeLists.txt
examples/deprecated/msg/mc/bugged1_liveness.c [deleted file]
examples/deprecated/msg/mc/centralized_mutex.tesh
examples/deprecated/msg/mc/deploy_bugged1_liveness.xml [deleted file]
examples/deprecated/msg/mc/deploy_bugged1_liveness_visited.xml [deleted file]
examples/s4u/CMakeLists.txt
examples/s4u/mc-bugged1-liveness/promela_bugged1_liveness [moved from examples/deprecated/msg/mc/promela_bugged1_liveness with 100% similarity]
examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner [moved from examples/deprecated/msg/mc/bugged1_liveness_stack_cleaner with 100% similarity]
examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh [moved from examples/deprecated/msg/mc/bugged1_liveness_visited.tesh with 96% similarity]
examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp [new file with mode: 0644]
examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh [moved from examples/deprecated/msg/mc/bugged1_liveness.tesh with 91% similarity]