Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
try to fix MC now (sigh, CMake ...)
[simgrid.git] / MANIFEST.in
index 189f842..5038c32 100644 (file)
@@ -16,6 +16,123 @@ include doc/webcruft/simgrid_logo_2011.gif
 include doc/webcruft/simgrid_logo_2011.png
 include doc/webcruft/simgrid_logo_2011_small.png
 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
@@ -136,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
@@ -226,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
@@ -291,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
@@ -397,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
@@ -552,8 +629,8 @@ include examples/smpi/replay_multiple_manual_deploy/workload_compute_simple
 include examples/smpi/replay_multiple_manual_deploy/workload_mixed2_same_time
 include examples/smpi/replay_multiple_manual_deploy/workload_mixed2_same_time_and_resources
 include examples/smpi/smpi_s4u_masterslave/deployment_masterslave_mailbox_smpi.xml
-include examples/smpi/smpi_s4u_masterslave/masterslave_mailbox_smpi.c
-include examples/smpi/smpi_s4u_masterslave/msg_smpi.tesh
+include examples/smpi/smpi_s4u_masterslave/masterslave_mailbox_smpi.cpp
+include examples/smpi/smpi_s4u_masterslave/s4u_smpi.tesh
 include examples/smpi/trace/trace.c
 include examples/smpi/trace/trace.tesh
 include examples/smpi/trace_call_location/adjust
@@ -565,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
@@ -576,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
@@ -702,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
@@ -715,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
@@ -723,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
@@ -763,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
@@ -772,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
@@ -807,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
@@ -1726,6 +1719,7 @@ include teshsuite/xbt/signals/signals.cpp
 include teshsuite/xbt/signals/signals.tesh
 include tools/MSG_visualization/colorize.pl
 include tools/MSG_visualization/trace2fig.pl
+include tools/address_sanitizer.supp
 include tools/doxygen/fig2dev_postprocessor.pl
 include tools/doxygen/xbt_log_extract_hierarchy.pl
 include tools/fix-paje-trace.sh
@@ -1734,7 +1728,6 @@ include tools/graphicator/graphicator.c
 include tools/graphicator/graphicator.tesh
 include tools/normalize-pointers.py
 include tools/pkg-config/simgrid.pc.in
-include tools/sanitizers.supp
 include tools/sg_xml_unit_converter.py
 include tools/simgrid.supp
 include tools/simgrid2vite.sed
@@ -1763,6 +1756,7 @@ include tools/tesh/set-return.tesh
 include tools/tesh/set-timeout.tesh
 include tools/tesh/setenv.tesh
 include tools/tesh/tesh.py
+include tools/thread_sanitizer.supp
 include AUTHORS
 include CITATION.bib
 include CMakeLists.txt
@@ -1822,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
@@ -1863,6 +1858,9 @@ include docs/source/tuto_smpi/img/big-picture.svg
 include docs/source/tuto_smpi/img/lu.S.4.png
 include docs/source/tuto_smpi/roundtrip.c
 include examples/README.rst
+include examples/c/CMakeLists.txt
+include examples/deprecated/java/.classpath
+include examples/deprecated/java/.project
 include examples/deprecated/java/CMakeLists.txt
 include examples/deprecated/msg/CMakeLists.txt
 include examples/deprecated/msg/mc/CMakeLists.txt
@@ -1893,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
@@ -1927,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
@@ -1950,6 +1948,8 @@ include examples/python/async-waitany/async-waitany_d.xml
 include examples/s4u/CMakeLists.txt
 include examples/smpi/CMakeLists.txt
 include examples/smpi/NAS/CMakeLists.txt
+include examples/smpi/mc/non_deterministic.tesh
+include examples/smpi/mc/only_send_deterministic.tesh
 include examples/smpi/replay_multiple/CMakeLists.txt
 include examples/smpi/replay_multiple_manual_deploy/CMakeLists.txt
 include examples/smpi/smpi_s4u_masterslave/CMakeLists.txt
@@ -1957,9 +1957,12 @@ include include/simgrid/Exception.hpp
 include include/simgrid/actor.h
 include include/simgrid/barrier.h
 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
@@ -2071,6 +2074,7 @@ include include/xbt/xbt_os_time.h
 include setup.py
 include src/bindings/java/JavaContext.cpp
 include src/bindings/java/JavaContext.hpp
+include src/bindings/java/MANIFEST.in
 include src/bindings/java/jmsg.cpp
 include src/bindings/java/jmsg.hpp
 include src/bindings/java/jmsg_as.cpp
@@ -2125,6 +2129,16 @@ include src/bindings/lua/lua_utils.cpp
 include src/bindings/lua/lua_utils.hpp
 include src/bindings/lua/simgrid_lua.cpp
 include src/bindings/lua/simgrid_lua.hpp
+include src/bindings/python/simgrid_python.cpp
+include src/include/catch.hpp
+include src/include/mc/datatypes.h
+include src/include/mc/mc.h
+include src/include/simgrid/sg_config.hpp
+include src/include/surf/surf.hpp
+include src/include/xbt/coverage.h
+include src/include/xbt/mmalloc.h
+include src/include/xbt/parmap.hpp
+include src/include/xxhash.hpp
 include src/instr/instr_config.cpp
 include src/instr/instr_interface.cpp
 include src/instr/instr_paje_containers.cpp
@@ -2263,6 +2277,7 @@ include src/mc/mc_hash.cpp
 include src/mc/mc_hash.hpp
 include src/mc/mc_ignore.hpp
 include src/mc/mc_memory.cpp
+include src/mc/mc_mmu.hpp
 include src/mc/mc_private.hpp
 include src/mc/mc_record.cpp
 include src/mc/mc_record.hpp
@@ -2296,6 +2311,7 @@ include src/mc/sosp/Snapshot_test.cpp
 include src/msg/msg_comm.cpp
 include src/msg/msg_global.cpp
 include src/msg/msg_legacy.cpp
+include src/msg/msg_private.hpp
 include src/msg/msg_process.cpp
 include src/msg/msg_task.cpp
 include src/plugins/dirty_page_tracking.cpp
@@ -2327,20 +2343,31 @@ include src/s4u/s4u_Mutex.cpp
 include src/s4u/s4u_Netzone.cpp
 include src/s4u/s4u_Semaphore.cpp
 include src/s4u/s4u_Storage.cpp
+include src/simdag/dax.dtd
+include src/simdag/dax_dtd.c
+include src/simdag/dax_dtd.h
 include src/simdag/sd_daxloader.cpp
 include src/simdag/sd_dotloader.cpp
 include src/simdag/sd_global.cpp
 include src/simdag/sd_task.cpp
+include src/simdag/simdag_private.hpp
 include src/simgrid/Exception.cpp
 include src/simgrid/sg_config.cpp
 include src/simgrid/sg_version.cpp
 include src/simgrid/util.hpp
 include src/simix/libsmx.cpp
 include src/simix/popping.cpp
+include src/simix/popping_accessors.hpp
+include src/simix/popping_bodies.cpp
+include src/simix/popping_enum.h
 include src/simix/popping_generated.cpp
+include src/simix/popping_private.hpp
+include src/simix/simcalls.in
+include src/simix/simcalls.py
 include src/simix/smx_context.cpp
 include src/simix/smx_deployment.cpp
 include src/simix/smx_global.cpp
+include src/simix/smx_private.hpp
 include src/smpi/bindings/smpi_f77.cpp
 include src/smpi/bindings/smpi_f77_coll.cpp
 include src/smpi/bindings/smpi_f77_comm.cpp
@@ -2441,7 +2468,9 @@ include src/smpi/colls/bcast/bcast-ompi-split-bintree.cpp
 include src/smpi/colls/bcast/bcast-scatter-LR-allgather.cpp
 include src/smpi/colls/bcast/bcast-scatter-rdb-allgather.cpp
 include src/smpi/colls/coll_tuned_topo.cpp
+include src/smpi/colls/coll_tuned_topo.hpp
 include src/smpi/colls/colls_global.cpp
+include src/smpi/colls/colls_private.hpp
 include src/smpi/colls/gather/gather-mvapich.cpp
 include src/smpi/colls/gather/gather-ompi.cpp
 include src/smpi/colls/reduce/reduce-NTSL.cpp
@@ -2463,8 +2492,10 @@ include src/smpi/colls/smpi_default_selector.cpp
 include src/smpi/colls/smpi_intel_mpi_selector.cpp
 include src/smpi/colls/smpi_mpich_selector.cpp
 include src/smpi/colls/smpi_mvapich2_selector.cpp
+include src/smpi/colls/smpi_mvapich2_selector_stampede.hpp
 include src/smpi/colls/smpi_nbc_impl.cpp
 include src/smpi/colls/smpi_openmpi_selector.cpp
+include src/smpi/include/private.hpp
 include src/smpi/include/smpi_actor.hpp
 include src/smpi/include/smpi_coll.hpp
 include src/smpi/include/smpi_comm.hpp
@@ -2482,6 +2513,7 @@ include src/smpi/include/smpi_op.hpp
 include src/smpi/include/smpi_request.hpp
 include src/smpi/include/smpi_status.hpp
 include src/smpi/include/smpi_topo.hpp
+include src/smpi/include/smpi_utils.hpp
 include src/smpi/include/smpi_win.hpp
 include src/smpi/internals/instr_smpi.cpp
 include src/smpi/internals/smpi_actor.cpp
@@ -2515,6 +2547,8 @@ include src/smpi/plugins/ampi/instr_ampi.hpp
 include src/smpi/plugins/load_balancer/LoadBalancer.cpp
 include src/smpi/plugins/load_balancer/load_balancer.hpp
 include src/smpi/plugins/sampi_loadbalancer.cpp
+include src/smpi/smpi_main.c
+include src/smpi/smpi_replay_main.cpp
 include src/smpi/smpicc.in
 include src/smpi/smpicxx.in
 include src/smpi/smpif90.in
@@ -2522,48 +2556,90 @@ include src/smpi/smpiff.in
 include src/smpi/smpirun.in
 include src/smpi/smpitools.sh
 include src/surf/HostImpl.cpp
+include src/surf/HostImpl.hpp
 include src/surf/StorageImpl.cpp
+include src/surf/StorageImpl.hpp
 include src/surf/cpu_cas01.cpp
+include src/surf/cpu_cas01.hpp
 include src/surf/cpu_interface.cpp
+include src/surf/cpu_interface.hpp
 include src/surf/cpu_ti.cpp
+include src/surf/cpu_ti.hpp
 include src/surf/disk_s19.cpp
+include src/surf/disk_s19.hpp
 include src/surf/host_clm03.cpp
+include src/surf/host_clm03.hpp
 include src/surf/network_cm02.cpp
+include src/surf/network_cm02.hpp
 include src/surf/network_constant.cpp
+include src/surf/network_constant.hpp
 include src/surf/network_ib.cpp
+include src/surf/network_ib.hpp
 include src/surf/network_interface.cpp
+include src/surf/network_interface.hpp
 include src/surf/network_ns3.cpp
+include src/surf/network_ns3.hpp
 include src/surf/network_smpi.cpp
+include src/surf/network_smpi.hpp
 include src/surf/network_wifi.cpp
+include src/surf/network_wifi.hpp
 include src/surf/ns3/ns3_simulator.cpp
+include src/surf/ns3/ns3_simulator.hpp
 include src/surf/ptask_L07.cpp
+include src/surf/ptask_L07.hpp
 include src/surf/sg_platf.cpp
 include src/surf/storage_n11.cpp
+include src/surf/storage_n11.hpp
 include src/surf/surf_c_bindings.cpp
 include src/surf/surf_interface.cpp
+include src/surf/surf_interface.hpp
+include src/surf/surf_private.hpp
 include src/surf/xml/platf.hpp
 include src/surf/xml/platf_private.hpp
+include src/surf/xml/simgrid.dtd
+include src/surf/xml/simgrid_dtd.c
+include src/surf/xml/simgrid_dtd.h
 include src/surf/xml/surfxml_parseplatf.cpp
 include src/surf/xml/surfxml_sax_cb.cpp
 include src/xbt/OsSemaphore.hpp
 include src/xbt/PropertyHolder.cpp
 include src/xbt/automaton/automaton.c
+include src/xbt/automaton/automaton_lexer.yy.c
 include src/xbt/automaton/automatonparse_promela.c
+include src/xbt/automaton/parserPromela.lex
+include src/xbt/automaton/parserPromela.tab.cacc
+include src/xbt/automaton/parserPromela.tab.hacc
+include src/xbt/automaton/parserPromela.yacc
 include src/xbt/backtrace.cpp
 include src/xbt/config.cpp
 include src/xbt/config_test.cpp
 include src/xbt/dict.cpp
 include src/xbt/dict_cursor.c
 include src/xbt/dict_elm.c
+include src/xbt/dict_private.h
 include src/xbt/dict_test.cpp
 include src/xbt/dynar.cpp
 include src/xbt/dynar_test.cpp
 include src/xbt/exception.cpp
 include src/xbt/graph.c
 include src/xbt/log.cpp
+include src/xbt/log_private.hpp
 include src/xbt/mallocator.c
+include src/xbt/mallocator_private.h
 include src/xbt/memory_map.cpp
 include src/xbt/memory_map.hpp
+include src/xbt/mmalloc/mfree.c
+include src/xbt/mmalloc/mm.c
+include src/xbt/mmalloc/mm_legacy.c
+include src/xbt/mmalloc/mm_module.c
+include src/xbt/mmalloc/mmalloc.c
+include src/xbt/mmalloc/mmalloc.info
+include src/xbt/mmalloc/mmalloc.texi
+include src/xbt/mmalloc/mmorecore.c
+include src/xbt/mmalloc/mmprivate.h
+include src/xbt/mmalloc/mrealloc.c
+include src/xbt/mmalloc/swag.c
+include src/xbt/mmalloc/swag.h
 include src/xbt/parmap.cpp
 include src/xbt/random.cpp
 include src/xbt/random_test.cpp
@@ -2575,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
@@ -2583,7 +2658,9 @@ 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
 include teshsuite/msg/CMakeLists.txt
 include teshsuite/python/CMakeLists.txt
@@ -2662,6 +2739,7 @@ include tools/doxygen/fig2dev_postprocessor.pl
 include tools/doxygen/list_routing_models_examples.sh
 include tools/doxygen/xbt_log_extract_hierarchy.pl
 include tools/graphicator/CMakeLists.txt
+include tools/lualib.patch
 include tools/smpi/generate_smpi_defines.pl
 include tools/stack-cleaner/README
 include tools/stack-cleaner/as
@@ -2671,3 +2749,4 @@ include tools/stack-cleaner/clean-stack-filter
 include tools/stack-cleaner/compiler-wrapper
 include tools/stack-cleaner/fortran
 include tools/tesh/CMakeLists.txt
+include tools/tesh/generate_tesh