Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
try to fix MC now (sigh, CMake ...)
[simgrid.git] / MANIFEST.in
index d5d97a7..5038c32 100644 (file)
@@ -19,9 +19,120 @@ include doc/webcruft/storage_sample_scenario.png
 include examples/c/actor-create/actor-create.c
 include examples/c/actor-create/actor-create.tesh
 include examples/c/actor-create/actor-create_d.xml
+include examples/c/actor-daemon/actor-daemon.c
+include examples/c/actor-daemon/actor-daemon.tesh
+include examples/c/actor-exiting/actor-exiting.c
+include examples/c/actor-exiting/actor-exiting.tesh
+include examples/c/actor-join/actor-join.c
+include examples/c/actor-join/actor-join.tesh
+include examples/c/actor-kill/actor-kill.c
+include examples/c/actor-kill/actor-kill.tesh
+include examples/c/actor-lifetime/actor-lifetime.c
+include examples/c/actor-lifetime/actor-lifetime.tesh
+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/app-token-ring/app-token-ring.c
+include examples/c/app-token-ring/app-token-ring.tesh
+include examples/c/async-wait/async-wait.c
+include examples/c/async-wait/async-wait.tesh
+include examples/c/async-wait/async-wait2_d.xml
+include examples/c/async-wait/async-wait3_d.xml
+include examples/c/async-wait/async-wait4_d.xml
+include examples/c/async-wait/async-wait_d.xml
+include examples/c/async-waitall/async-waitall.c
+include examples/c/async-waitall/async-waitall.tesh
+include examples/c/async-waitall/async-waitall_d.xml
 include examples/c/async-waitany/async-waitany.c
 include examples/c/async-waitany/async-waitany.tesh
 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
@@ -142,74 +253,14 @@ include examples/deprecated/java/trace/pingpong/Receiver.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/energy-vm/energy-vm.c
-include examples/deprecated/msg/energy-vm/energy-vm.tesh
-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/process-create/process-create.c
-include examples/deprecated/msg/process-create/process-create.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
@@ -232,8 +283,6 @@ include examples/deprecated/simdag/daxload/simple_dax_with_cycle.xml
 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
@@ -297,6 +346,8 @@ include examples/s4u/actor-lifetime/s4u-actor-lifetime.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
@@ -403,8 +454,28 @@ include examples/s4u/io-file-system/s4u-io-file-system.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
@@ -571,6 +642,11 @@ include teshsuite/java/semaphoregc/SemaphoreGC.java
 include teshsuite/java/semaphoregc/semaphoregc.tesh
 include teshsuite/java/sleephostoff/SleepHostOff.java
 include teshsuite/java/sleephostoff/sleephostoff.tesh
+include teshsuite/kernel/context-defaults/context-defaults.cpp
+include teshsuite/kernel/context-defaults/factory_boost.tesh
+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/mc/dwarf-expression/dwarf-expression.cpp
 include teshsuite/mc/dwarf-expression/dwarf-expression.tesh
 include teshsuite/mc/dwarf/dwarf.cpp
@@ -582,125 +658,16 @@ include teshsuite/mc/random-bug/random-bug-nocrash.tesh
 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/app-chainsend/app-chainsend.tesh
-include teshsuite/msg/app-chainsend/app-chainsend_d.xml
-include teshsuite/msg/app-chainsend/broadcaster.c
-include teshsuite/msg/app-chainsend/broadcaster.h
-include teshsuite/msg/app-chainsend/chainsend.c
-include teshsuite/msg/app-chainsend/common.c
-include teshsuite/msg/app-chainsend/common.h
-include teshsuite/msg/app-chainsend/iterator.c
-include teshsuite/msg/app-chainsend/iterator.h
-include teshsuite/msg/app-chainsend/messages.c
-include teshsuite/msg/app-chainsend/messages.h
-include teshsuite/msg/app-chainsend/peer.c
-include teshsuite/msg/app-chainsend/peer.h
-include teshsuite/msg/app-pingpong/app-pingpong.c
-include teshsuite/msg/app-pingpong/app-pingpong.tesh
-include teshsuite/msg/app-pingpong/app-pingpong_d.xml
-include teshsuite/msg/app-token-ring/app-token-ring.c
-include teshsuite/msg/app-token-ring/app-token-ring.tesh
-include teshsuite/msg/async-wait/async-wait.c
-include teshsuite/msg/async-wait/async-wait.tesh
-include teshsuite/msg/async-wait/async-wait2_d.xml
-include teshsuite/msg/async-wait/async-wait3_d.xml
-include teshsuite/msg/async-wait/async-wait4_d.xml
-include teshsuite/msg/async-wait/async-wait_d.xml
-include teshsuite/msg/async-waitall/async-waitall.c
-include teshsuite/msg/async-waitall/async-waitall.tesh
-include teshsuite/msg/async-waitall/async-waitall_d.xml
-include teshsuite/msg/async-waitany/async-waitany.c
-include teshsuite/msg/async-waitany/async-waitany.tesh
-include teshsuite/msg/async-waitany/async-waitany_d.xml
-include teshsuite/msg/cloud-capping/cloud-capping.c
-include teshsuite/msg/cloud-capping/cloud-capping.tesh
-include teshsuite/msg/cloud-migration/cloud-migration.c
-include teshsuite/msg/cloud-migration/cloud-migration.tesh
-include teshsuite/msg/cloud-simple/cloud-simple.c
-include teshsuite/msg/cloud-simple/cloud-simple.tesh
 include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.c
 include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.tesh
-include teshsuite/msg/energy-consumption/energy-consumption.c
-include teshsuite/msg/energy-consumption/energy-consumption.tesh
-include teshsuite/msg/energy-pstate/energy-pstate.c
-include teshsuite/msg/energy-pstate/energy-pstate.tesh
-include teshsuite/msg/energy-ptask/energy-ptask.c
-include teshsuite/msg/energy-ptask/energy-ptask.tesh
 include teshsuite/msg/get_sender/get_sender.c
 include teshsuite/msg/get_sender/get_sender.tesh
-include teshsuite/msg/host_on_off/host_on_off.c
-include teshsuite/msg/host_on_off/host_on_off.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/host_on_off_recv/host_on_off_recv.c
-include teshsuite/msg/host_on_off_recv/host_on_off_recv.tesh
-include teshsuite/msg/io-file-remote/io-file-remote.c
-include teshsuite/msg/io-file-remote/io-file-remote.tesh
-include teshsuite/msg/io-file-remote/io-file-remote_d.xml
 include teshsuite/msg/io-file/io-file.c
 include teshsuite/msg/io-file/io-file.tesh
-include teshsuite/msg/io-raw-storage/io-raw-storage.c
-include teshsuite/msg/io-raw-storage/io-raw-storage.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/plugin-hostload/plugin-hostload.c
-include teshsuite/msg/plugin-hostload/plugin-hostload.tesh
-include teshsuite/msg/process-daemon/process-daemon.c
-include teshsuite/msg/process-daemon/process-daemon.tesh
-include teshsuite/msg/process-join/process-join.c
-include teshsuite/msg/process-join/process-join.tesh
-include teshsuite/msg/process-kill/process-kill.c
-include teshsuite/msg/process-kill/process-kill.tesh
-include teshsuite/msg/process-lifetime/baseline_d.xml
-include teshsuite/msg/process-lifetime/kill_d.xml
-include teshsuite/msg/process-lifetime/process-lifetime.c
-include teshsuite/msg/process-lifetime/process-lifetime.tesh
-include teshsuite/msg/process-lifetime/start_d.xml
-include teshsuite/msg/process-lifetime/start_kill_d.xml
-include teshsuite/msg/process-migration/process-migration.c
-include teshsuite/msg/process-migration/process-migration.tesh
-include teshsuite/msg/process-suspend/process-suspend.c
-include teshsuite/msg/process-suspend/process-suspend.tesh
-include teshsuite/msg/process-yield/process-yield.c
-include teshsuite/msg/process-yield/process-yield.tesh
-include teshsuite/msg/process-yield/process-yield_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
@@ -708,12 +675,19 @@ include teshsuite/python/corrupt-stack/corrupt-stack.py
 include teshsuite/python/corrupt-stack/corrupt-stack.tesh
 include teshsuite/python/corrupt-stack/corrupt-stack_d.xml
 include teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp
+include teshsuite/s4u/activity-lifecycle/activity-lifecycle.hpp
 include teshsuite/s4u/activity-lifecycle/activity-lifecycle.tesh
+include teshsuite/s4u/activity-lifecycle/testing_comm.cpp
+include teshsuite/s4u/activity-lifecycle/testing_exec.cpp
 include teshsuite/s4u/activity-lifecycle/testing_platform.xml
+include teshsuite/s4u/activity-lifecycle/testing_sleep.cpp
+include teshsuite/s4u/activity-lifecycle/testing_test-wait.cpp
 include teshsuite/s4u/actor-autorestart/actor-autorestart.cpp
 include teshsuite/s4u/actor-autorestart/actor-autorestart.tesh
 include teshsuite/s4u/actor/actor.cpp
 include teshsuite/s4u/actor/actor.tesh
+include teshsuite/s4u/basic-link-test/basic-link-test.cpp
+include teshsuite/s4u/basic-link-test/basic-link-test.tesh
 include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.cpp
 include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.tesh
 include teshsuite/s4u/cloud-sharing/cloud-sharing.cpp
@@ -721,6 +695,16 @@ include teshsuite/s4u/cloud-sharing/cloud-sharing.tesh
 include teshsuite/s4u/comm-pt2pt/comm-pt2pt.cpp
 include teshsuite/s4u/concurrent_rw/concurrent_rw.cpp
 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/host-on-off/host-on-off.tesh
+include teshsuite/s4u/is-router/is-router.cpp
+include teshsuite/s4u/is-router/is-router.tesh
 include teshsuite/s4u/listen_async/listen_async.cpp
 include teshsuite/s4u/listen_async/listen_async.tesh
 include teshsuite/s4u/ns3-simultaneous-send-rcv/ns3-simultaneous-send-rcv.cpp
@@ -729,12 +713,24 @@ include teshsuite/s4u/pid/pid.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 teshsuite/simdag/availability/availability.tesh
-include teshsuite/simdag/basic-link-test/basic-link-test.c
-include teshsuite/simdag/basic-link-test/basic-link-test.tesh
 include teshsuite/simdag/basic-parsing-test/basic-parsing-test-bypass.tesh
 include teshsuite/simdag/basic-parsing-test/basic-parsing-test-sym-full.tesh
 include teshsuite/simdag/basic-parsing-test/basic-parsing-test.c
@@ -769,8 +765,6 @@ include teshsuite/simdag/comp-only-par/comp-only-par.c
 include teshsuite/simdag/comp-only-par/comp-only-par.tesh
 include teshsuite/simdag/comp-only-seq/comp-only-seq.c
 include teshsuite/simdag/comp-only-seq/comp-only-seq.tesh
-include teshsuite/simdag/evaluate-get-route-time/evaluate-get-route-time.c
-include teshsuite/simdag/evaluate-parse-time/evaluate-parse-time.c
 include teshsuite/simdag/flatifier/bogus_disk_attachment.tesh
 include teshsuite/simdag/flatifier/bogus_missing_gateway.tesh
 include teshsuite/simdag/flatifier/bogus_two_hosts_asymetric.tesh
@@ -778,8 +772,6 @@ include teshsuite/simdag/flatifier/flatifier.cpp
 include teshsuite/simdag/flatifier/flatifier.tesh
 include teshsuite/simdag/incomplete/incomplete.c
 include teshsuite/simdag/incomplete/incomplete.tesh
-include teshsuite/simdag/is-router/is-router.cpp
-include teshsuite/simdag/is-router/is-router.tesh
 include teshsuite/simdag/platforms/Dijkstra.xml
 include teshsuite/simdag/platforms/bob.trace
 include teshsuite/simdag/platforms/bogus_disk_attachment.xml
@@ -813,11 +805,6 @@ include teshsuite/simdag/platforms/two_clusters_router_id.xml
 include teshsuite/simdag/platforms/two_hosts_multi_hop.xml
 include teshsuite/simdag/platforms/two_hosts_one_link.xml
 include teshsuite/simdag/platforms/two_hosts_one_link_splitduplex.xml
-include teshsuite/simix/check-defaults/check-defaults.cpp
-include teshsuite/simix/check-defaults/factory_boost.tesh
-include teshsuite/simix/check-defaults/factory_raw.tesh
-include teshsuite/simix/check-defaults/factory_thread.tesh
-include teshsuite/simix/check-defaults/factory_ucontext.tesh
 include teshsuite/simix/generic-simcalls/generic-simcalls.cpp
 include teshsuite/simix/generic-simcalls/generic-simcalls.tesh
 include teshsuite/simix/stack-overflow/stack-overflow.cpp
@@ -1829,6 +1816,7 @@ include docs/source/_ext/autodoxy.py
 include docs/source/_ext/showfile.css
 include docs/source/_ext/showfile.js
 include docs/source/_ext/showfile.py
+include docs/source/_static/css/custom.css
 include docs/source/_templates/breadcrumbs.html
 include docs/source/app_msg.rst
 include docs/source/app_s4u.rst
@@ -1903,6 +1891,7 @@ include examples/platforms/g5k.xml
 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
@@ -1937,7 +1926,6 @@ include examples/platforms/small_platform_profile.xml
 include examples/platforms/small_platform_with_routers.xml
 include examples/platforms/storage/content/small_content.txt
 include examples/platforms/storage/content/storage_content.txt
-include examples/platforms/storage/remote_io.xml
 include examples/platforms/storage/storage.xml
 include examples/platforms/syscoord/generate_peer_platform.pl
 include examples/platforms/syscoord/median_harvard.syscoord
@@ -1972,7 +1960,9 @@ include include/simgrid/chrono.hpp
 include include/simgrid/comm.h
 include include/simgrid/cond.h
 include include/simgrid/config.h.in
+include include/simgrid/disk.h
 include include/simgrid/engine.h
+include include/simgrid/exec.h
 include include/simgrid/forward.h
 include include/simgrid/host.h
 include include/simgrid/instr.h
@@ -2661,7 +2651,6 @@ include src/xbt/xbt_log_layout_format.cpp
 include src/xbt/xbt_log_layout_simple.cpp
 include src/xbt/xbt_main.cpp
 include src/xbt/xbt_os_file.cpp
-include src/xbt/xbt_os_synchro.cpp
 include src/xbt/xbt_os_time.c
 include src/xbt/xbt_replay.cpp
 include src/xbt/xbt_str.cpp
@@ -2669,6 +2658,7 @@ include src/xbt/xbt_str_test.cpp
 include src/xbt/xbt_virtu.cpp
 include src/xbt_modinter.h
 include teshsuite/java/CMakeLists.txt
+include teshsuite/kernel/CMakeLists.txt
 include teshsuite/lua/CMakeLists.txt
 include teshsuite/lua/lua_platforms.tesh
 include teshsuite/mc/CMakeLists.txt