include examples/c/actor-lifetime/actor-lifetime_d.xml
include examples/c/actor-migrate/actor-migrate.c
include examples/c/actor-migrate/actor-migrate.tesh
+include examples/c/actor-stacksize/actor-stacksize.c
+include examples/c/actor-stacksize/actor-stacksize.tesh
include examples/c/actor-suspend/actor-suspend.c
include examples/c/actor-suspend/actor-suspend.tesh
include examples/c/actor-yield/actor-yield.c
include examples/c/actor-yield/actor-yield.tesh
include examples/c/actor-yield/actor-yield_d.xml
+include examples/c/app-bittorrent/app-bittorrent.c
+include examples/c/app-bittorrent/app-bittorrent.h
+include examples/c/app-bittorrent/app-bittorrent.tesh
+include examples/c/app-bittorrent/app-bittorrent_d.xml
+include examples/c/app-bittorrent/bittorrent-peer.c
+include examples/c/app-bittorrent/bittorrent-peer.h
+include examples/c/app-bittorrent/generate.py
+include examples/c/app-bittorrent/tracker.c
+include examples/c/app-bittorrent/tracker.h
include examples/c/app-chainsend/app-chainsend.tesh
include examples/c/app-chainsend/app-chainsend_d.xml
include examples/c/app-chainsend/broadcaster.c
include examples/c/app-chainsend/chainsend.c
include examples/c/app-chainsend/chainsend.h
include examples/c/app-chainsend/peer.c
+include examples/c/app-masterworker/app-masterworker-multicore.tesh
+include examples/c/app-masterworker/app-masterworker-multicore_d.xml
+include examples/c/app-masterworker/app-masterworker-vivaldi.tesh
+include examples/c/app-masterworker/app-masterworker-vivaldi_d.xml
+include examples/c/app-masterworker/app-masterworker.c
+include examples/c/app-masterworker/app-masterworker.tesh
+include examples/c/app-masterworker/app-masterworker_d.xml
include examples/c/app-pingpong/app-pingpong.c
include examples/c/app-pingpong/app-pingpong.tesh
include examples/c/app-pingpong/app-pingpong_d.xml
include examples/c/async-waitany/async-waitany_d.xml
include examples/c/cloud-capping/cloud-capping.c
include examples/c/cloud-capping/cloud-capping.tesh
+include examples/c/cloud-masterworker/cloud-masterworker.c
+include examples/c/cloud-masterworker/cloud-masterworker.tesh
include examples/c/cloud-migration/cloud-migration.c
include examples/c/cloud-migration/cloud-migration.tesh
include examples/c/cloud-simple/cloud-simple.c
include examples/c/cloud-simple/cloud-simple.tesh
+include examples/c/dht-kademlia/answer.c
+include examples/c/dht-kademlia/answer.h
+include examples/c/dht-kademlia/common.h
+include examples/c/dht-kademlia/dht-kademlia.c
+include examples/c/dht-kademlia/dht-kademlia.tesh
+include examples/c/dht-kademlia/dht-kademlia_d.xml
+include examples/c/dht-kademlia/generate.py
+include examples/c/dht-kademlia/message.c
+include examples/c/dht-kademlia/message.h
+include examples/c/dht-kademlia/node.c
+include examples/c/dht-kademlia/node.h
+include examples/c/dht-kademlia/routing_table.c
+include examples/c/dht-kademlia/routing_table.h
+include examples/c/dht-pastry/dht-pastry.c
+include examples/c/dht-pastry/dht-pastry.tesh
+include examples/c/dht-pastry/dht-pastry_d.xml
+include examples/c/dht-pastry/generate.py
include examples/c/energy-exec-ptask/energy-exec-ptask.c
include examples/c/energy-exec-ptask/energy-exec-ptask.tesh
include examples/c/energy-exec/energy-exec.c
include examples/c/energy-exec/energy-exec.tesh
include examples/c/energy-vm/energy-vm.c
include examples/c/energy-vm/energy-vm.tesh
+include examples/c/exec-async/exec-async.c
+include examples/c/exec-async/exec-async.tesh
include examples/c/exec-basic/exec-basic.c
include examples/c/exec-basic/exec-basic.tesh
include examples/c/exec-dvfs/exec-dvfs.c
include examples/c/exec-dvfs/exec-dvfs.tesh
+include examples/c/exec-remote/exec-remote.c
+include examples/c/exec-remote/exec-remote.tesh
+include examples/c/exec-waitany/exec-waitany.c
+include examples/c/exec-waitany/exec-waitany.tesh
include examples/c/io-disk-raw/io-disk-raw.c
include examples/c/io-disk-raw/io-disk-raw.tesh
include examples/c/io-file-remote/io-file-remote.c
include examples/c/io-file-remote/io-file-remote.tesh
include examples/c/io-file-remote/io-file-remote_d.xml
+include examples/c/platform-failures/platform-failures.c
+include examples/c/platform-failures/platform-failures.tesh
+include examples/c/platform-properties/platform-properties.c
+include examples/c/platform-properties/platform-properties.tesh
+include examples/c/platform-properties/platform-properties_d.xml
include examples/c/plugin-hostload/plugin-hostload.c
include examples/c/plugin-hostload/plugin-hostload.tesh
+include examples/c/synchro-semaphore/synchro-semaphore.c
+include examples/c/synchro-semaphore/synchro-semaphore.tesh
include examples/deprecated/java/app/bittorrent/Common.java
include examples/deprecated/java/app/bittorrent/Connection.java
include examples/deprecated/java/app/bittorrent/Main.java
include examples/deprecated/java/trace/pingpong/Sender.java
include examples/deprecated/java/trace/pingpong/trace-pingpong.tesh
include examples/deprecated/msg/README.doc
-include examples/deprecated/msg/app-masterworker/app-masterworker-multicore.tesh
-include examples/deprecated/msg/app-masterworker/app-masterworker-multicore_d.xml
-include examples/deprecated/msg/app-masterworker/app-masterworker-vivaldi.tesh
-include examples/deprecated/msg/app-masterworker/app-masterworker-vivaldi_d.xml
-include examples/deprecated/msg/app-masterworker/app-masterworker.c
-include examples/deprecated/msg/app-masterworker/app-masterworker.tesh
-include examples/deprecated/msg/app-masterworker/app-masterworker_d.xml
-include examples/deprecated/msg/cloud-masterworker/cloud-masterworker.c
-include examples/deprecated/msg/cloud-masterworker/cloud-masterworker.tesh
-include examples/deprecated/msg/dht-kademlia/answer.c
-include examples/deprecated/msg/dht-kademlia/answer.h
-include examples/deprecated/msg/dht-kademlia/common.h
-include examples/deprecated/msg/dht-kademlia/dht-kademlia.c
-include examples/deprecated/msg/dht-kademlia/dht-kademlia.h
-include examples/deprecated/msg/dht-kademlia/dht-kademlia.tesh
-include examples/deprecated/msg/dht-kademlia/dht-kademlia_d.xml
-include examples/deprecated/msg/dht-kademlia/generate.py
-include examples/deprecated/msg/dht-kademlia/node.c
-include examples/deprecated/msg/dht-kademlia/node.h
-include examples/deprecated/msg/dht-kademlia/routing_table.c
-include examples/deprecated/msg/dht-kademlia/routing_table.h
-include examples/deprecated/msg/dht-kademlia/task.c
-include examples/deprecated/msg/dht-kademlia/task.h
-include examples/deprecated/msg/dht-pastry/dht-pastry.c
-include examples/deprecated/msg/dht-pastry/dht-pastry.tesh
-include examples/deprecated/msg/dht-pastry/dht-pastry_d.xml
-include examples/deprecated/msg/dht-pastry/generate.py
-include examples/deprecated/msg/mc/bugged1.c
-include examples/deprecated/msg/mc/bugged1.tesh
-include examples/deprecated/msg/mc/bugged1_liveness.c
-include examples/deprecated/msg/mc/bugged1_liveness.tesh
-include examples/deprecated/msg/mc/bugged1_liveness_stack_cleaner
-include examples/deprecated/msg/mc/bugged1_liveness_visited.tesh
-include examples/deprecated/msg/mc/bugged2.c
-include examples/deprecated/msg/mc/bugged2.tesh
include examples/deprecated/msg/mc/bugged2_liveness.c
include examples/deprecated/msg/mc/bugged3.c
include examples/deprecated/msg/mc/centralized_mutex.c
include examples/deprecated/msg/mc/centralized_mutex.tesh
-include examples/deprecated/msg/mc/deploy_bugged1.xml
-include examples/deprecated/msg/mc/deploy_bugged1_liveness.xml
-include examples/deprecated/msg/mc/deploy_bugged1_liveness_visited.xml
-include examples/deprecated/msg/mc/deploy_bugged2.xml
include examples/deprecated/msg/mc/deploy_bugged2_liveness.xml
include examples/deprecated/msg/mc/deploy_bugged3.xml
include examples/deprecated/msg/mc/deploy_centralized_mutex.xml
-include examples/deprecated/msg/mc/deploy_electric_fence.xml
-include examples/deprecated/msg/mc/electric_fence.c
-include examples/deprecated/msg/mc/platform.xml
-include examples/deprecated/msg/mc/promela_bugged1_liveness
include examples/deprecated/msg/mc/promela_bugged2_liveness
-include examples/deprecated/msg/network-ns3/3hosts_2links_d.xml
-include examples/deprecated/msg/network-ns3/3links-timer_d.xml
-include examples/deprecated/msg/network-ns3/3links_d.xml
-include examples/deprecated/msg/network-ns3/crosstraffic_d.xml
-include examples/deprecated/msg/network-ns3/dogbone_d.xml
-include examples/deprecated/msg/network-ns3/network-ns3.c
-include examples/deprecated/msg/network-ns3/network-ns3.tesh
-include examples/deprecated/msg/network-ns3/one_cluster_d.xml
-include examples/deprecated/msg/network-ns3/onelink_d.xml
-include examples/deprecated/msg/platform-failures/platform-failures.c
-include examples/deprecated/msg/platform-failures/platform-failures.tesh
-include examples/deprecated/msg/synchro-semaphore/synchro-semaphore.c
-include examples/deprecated/msg/synchro-semaphore/synchro-semaphore.tesh
include examples/deprecated/msg/trace-categories/trace-categories.c
include examples/deprecated/msg/trace-categories/trace-categories.tesh
include examples/deprecated/msg/trace-host-user-variables/trace-host-user-variables.c
include examples/deprecated/simdag/daxload/smalldax.xml
include examples/deprecated/simdag/fail/sd_fail.c
include examples/deprecated/simdag/fail/sd_fail.tesh
-include examples/deprecated/simdag/properties/sd_properties.c
-include examples/deprecated/simdag/properties/sd_properties.tesh
include examples/deprecated/simdag/ptg-dotload/ptg.dot
include examples/deprecated/simdag/ptg-dotload/sd_ptg-dotload.c
include examples/deprecated/simdag/ptg-dotload/sd_ptg-dotload.tesh
include examples/s4u/actor-lifetime/s4u-actor-lifetime_d.xml
include examples/s4u/actor-migrate/s4u-actor-migrate.cpp
include examples/s4u/actor-migrate/s4u-actor-migrate.tesh
+include examples/s4u/actor-stacksize/s4u-actor-stacksize.cpp
+include examples/s4u/actor-stacksize/s4u-actor-stacksize.tesh
include examples/s4u/actor-suspend/s4u-actor-suspend.cpp
include examples/s4u/actor-suspend/s4u-actor-suspend.tesh
include examples/s4u/actor-yield/s4u-actor-yield.cpp
include examples/s4u/io-file-system/s4u-io-file-system.tesh
include examples/s4u/maestro-set/s4u-maestro-set.cpp
include examples/s4u/maestro-set/s4u-maestro-set.tesh
+include examples/s4u/mc-bugged1-liveness/promela_bugged1_liveness
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp
+include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh
+include examples/s4u/mc-bugged1/s4u-mc-bugged1.cpp
+include examples/s4u/mc-bugged1/s4u-mc-bugged1.tesh
+include examples/s4u/mc-bugged2/s4u-mc-bugged2.cpp
+include examples/s4u/mc-bugged2/s4u-mc-bugged2.tesh
+include examples/s4u/mc-electric-fence/s4u-mc-electric-fence.cpp
+include examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh
include examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp
include examples/s4u/mc-failing-assert/s4u-mc-failing-assert.tesh
+include examples/s4u/network-ns3/3hosts_2links_d.xml
+include examples/s4u/network-ns3/3links-timer_d.xml
+include examples/s4u/network-ns3/3links_d.xml
+include examples/s4u/network-ns3/crosstraffic_d.xml
+include examples/s4u/network-ns3/dogbone_d.xml
+include examples/s4u/network-ns3/one_cluster_d.xml
+include examples/s4u/network-ns3/onelink_d.xml
+include examples/s4u/network-ns3/s4u-network-ns3.cpp
+include examples/s4u/network-ns3/s4u-network-ns3.tesh
include examples/s4u/platform-failures/s4u-platform-failures.cpp
include examples/s4u/platform-failures/s4u-platform-failures.tesh
include examples/s4u/platform-failures/s4u-platform-failures_d.xml
include teshsuite/kernel/context-defaults/factory_raw.tesh
include teshsuite/kernel/context-defaults/factory_thread.tesh
include teshsuite/kernel/context-defaults/factory_ucontext.tesh
-include teshsuite/kernel/context-stacksize/context-stacksize.cpp
-include teshsuite/kernel/context-stacksize/context-stacksize.tesh
include teshsuite/mc/dwarf-expression/dwarf-expression.cpp
include teshsuite/mc/dwarf-expression/dwarf-expression.tesh
include teshsuite/mc/dwarf/dwarf.cpp
include teshsuite/mc/random-bug/random-bug-replay.tesh
include teshsuite/mc/random-bug/random-bug.cpp
include teshsuite/mc/random-bug/random-bug.tesh
-include teshsuite/msg/app-bittorrent/app-bittorrent.tesh
-include teshsuite/msg/app-bittorrent/app-bittorrent_d.xml
-include teshsuite/msg/app-bittorrent/bittorrent-messages.c
-include teshsuite/msg/app-bittorrent/bittorrent-messages.h
-include teshsuite/msg/app-bittorrent/bittorrent-peer.c
-include teshsuite/msg/app-bittorrent/bittorrent-peer.h
-include teshsuite/msg/app-bittorrent/bittorrent.c
-include teshsuite/msg/app-bittorrent/bittorrent.h
-include teshsuite/msg/app-bittorrent/connection.c
-include teshsuite/msg/app-bittorrent/connection.h
-include teshsuite/msg/app-bittorrent/generate.py
-include teshsuite/msg/app-bittorrent/tracker.c
-include teshsuite/msg/app-bittorrent/tracker.h
include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.c
include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.tesh
include teshsuite/msg/get_sender/get_sender.c
include teshsuite/msg/get_sender/get_sender.tesh
-include teshsuite/msg/host_on_off_processes/host_on_off_processes.cpp
-include teshsuite/msg/host_on_off_processes/host_on_off_processes.tesh
include teshsuite/msg/io-file/io-file.c
include teshsuite/msg/io-file/io-file.tesh
-include teshsuite/msg/platform-properties/platform-properties.c
-include teshsuite/msg/platform-properties/platform-properties.tesh
-include teshsuite/msg/platform-properties/platform-properties_d.xml
-include teshsuite/msg/task-priority/task-priority.c
-include teshsuite/msg/task-priority/task-priority.tesh
-include teshsuite/msg/task-priority/task-priority_d.xml
-include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.cpp
+include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.c
include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.tesh
-include teshsuite/msg/task_listen_from/task_listen_from.cpp
+include teshsuite/msg/task_listen_from/task_listen_from.c
include teshsuite/msg/task_listen_from/task_listen_from.tesh
-include teshsuite/msg/task_progress/task_progress.cpp
-include teshsuite/msg/task_progress/task_progress.tesh
-include teshsuite/msg/trace_integration/test-hbp1-c0s0-c0s1.xml
-include teshsuite/msg/trace_integration/test-hbp1-c0s0-c1s0.xml
-include teshsuite/msg/trace_integration/test-hbp1-c0s1-c0s2.xml
-include teshsuite/msg/trace_integration/test-hbp1-c0s1-c2s2.xml
-include teshsuite/msg/trace_integration/test-hbp1-c0s2-c1s0.xml
-include teshsuite/msg/trace_integration/test-hbp1-c0s2-c1s1.xml
-include teshsuite/msg/trace_integration/test-hbp1-c1s1-c1s2.xml
-include teshsuite/msg/trace_integration/test-hbp1-c1s1-c3s2.xml
-include teshsuite/msg/trace_integration/test-hbp1.0-hbp1.0-hbp1.0.xml
-include teshsuite/msg/trace_integration/test-hbp1.0-hbp3.0-hbp4.0.xml
-include teshsuite/msg/trace_integration/test-hbp1.5-hbp1.5.xml
-include teshsuite/msg/trace_integration/test-hbp2.5-hbp1.5.xml
-include teshsuite/msg/trace_integration/trace_integration.c
-include teshsuite/msg/trace_integration/trace_integration.tesh
include teshsuite/python/borken-context/borken-context.py
include teshsuite/python/borken-context/borken-context.tesh
include teshsuite/python/borken-context/borken-context_d.xml
include teshsuite/s4u/concurrent_rw/concurrent_rw.tesh
include teshsuite/s4u/evaluate-get-route-time/evaluate-get-route-time.cpp
include teshsuite/s4u/evaluate-parse-time/evaluate-parse-time.cpp
+include teshsuite/s4u/host-on-off-actors/host-on-off-actors.cpp
+include teshsuite/s4u/host-on-off-actors/host-on-off-actors.tesh
include teshsuite/s4u/host-on-off-recv/host-on-off-recv.cpp
include teshsuite/s4u/host-on-off-recv/host-on-off-recv.tesh
include teshsuite/s4u/host-on-off/host-on-off.cpp
include teshsuite/s4u/pid/pid.tesh
include teshsuite/s4u/storage_client_server/storage_client_server.cpp
include teshsuite/s4u/storage_client_server/storage_client_server.tesh
+include teshsuite/s4u/trace-integration/test-hbp1-c0s0-c0s1.xml
+include teshsuite/s4u/trace-integration/test-hbp1-c0s0-c1s0.xml
+include teshsuite/s4u/trace-integration/test-hbp1-c0s1-c0s2.xml
+include teshsuite/s4u/trace-integration/test-hbp1-c0s1-c2s2.xml
+include teshsuite/s4u/trace-integration/test-hbp1-c0s2-c1s0.xml
+include teshsuite/s4u/trace-integration/test-hbp1-c0s2-c1s1.xml
+include teshsuite/s4u/trace-integration/test-hbp1-c1s1-c1s2.xml
+include teshsuite/s4u/trace-integration/test-hbp1-c1s1-c3s2.xml
+include teshsuite/s4u/trace-integration/test-hbp1.0-hbp1.0-hbp1.0.xml
+include teshsuite/s4u/trace-integration/test-hbp1.0-hbp3.0-hbp4.0.xml
+include teshsuite/s4u/trace-integration/test-hbp1.5-hbp1.5.xml
+include teshsuite/s4u/trace-integration/test-hbp2.5-hbp1.5.xml
+include teshsuite/s4u/trace-integration/trace-integration.cpp
+include teshsuite/s4u/trace-integration/trace-integration.tesh
include teshsuite/s4u/wait-any-for/wait-any-for.cpp
include teshsuite/s4u/wait-any-for/wait-any-for.tesh
include teshsuite/simdag/availability/availability.c
include examples/platforms/griffon.xml
include examples/platforms/hosts_with_disks.xml
include examples/platforms/meta_cluster.xml
+include examples/platforms/model_checker_platform.xml
include examples/platforms/multicore_machine.xml
include examples/platforms/ns3-big-cluster.xml
include examples/platforms/onelink.xml
