Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
factor Cmake and clean files
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 14 Mar 2016 12:51:18 +0000 (13:51 +0100)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Mon, 14 Mar 2016 12:59:13 +0000 (13:59 +0100)
commitf704e0bb48c5990fee9ece0700a4069e9f479d73
tree2554e64ec90bc92d4ed0027878c8129d04b87b31
parentad9b803b6214db00895caef142e5d497dd3e6654
factor Cmake and clean files
30 files changed:
.gitignore
examples/msg/mc/CMakeLists.txt
examples/msg/mc/bugged1.c
examples/msg/mc/bugged1_liveness.c
examples/msg/mc/bugged1_liveness.h
examples/msg/mc/bugged2.c
examples/msg/mc/bugged2_liveness.c
examples/msg/mc/bugged2_liveness.h
examples/msg/mc/bugged3.c
examples/msg/mc/centralized_mutex.c
examples/msg/mc/centralized_mutex.tesh [moved from examples/msg/mc/centralized.tesh with 98% similarity]
examples/msg/mc/deploy_bugged1.xml
examples/msg/mc/deploy_bugged1_liveness.xml
examples/msg/mc/deploy_bugged1_liveness_visited.xml
examples/msg/mc/deploy_bugged2.xml
examples/msg/mc/deploy_bugged2_liveness.xml
examples/msg/mc/deploy_bugged3.xml
examples/msg/mc/deploy_centralized_mutex.xml [moved from examples/msg/mc/deploy_mutex.xml with 100% similarity]
examples/msg/mc/deploy_electric_fence.xml
examples/msg/mc/electric_fence.c
teshsuite/mc/CMakeLists.txt
teshsuite/mc/dwarf/CMakeLists.txt
teshsuite/mc/dwarf_expression/CMakeLists.txt
teshsuite/mc/mutex_handling.c
teshsuite/mc/mutex_handling.xml
teshsuite/mc/replay/CMakeLists.txt
teshsuite/mc/replay/random_bug.c
teshsuite/simdag/platforms/CMakeLists.txt
teshsuite/simdag/platforms/evaluate_get_route_time.c [moved from teshsuite/simdag/platforms/Evaluate_get_route_time.c with 100% similarity]
teshsuite/simdag/platforms/evaluate_parse_time.c [moved from teshsuite/simdag/platforms/Evaluate_parse_time.c with 100% similarity]