Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'graphicator_seal' into 'master'
[simgrid.git] / MANIFEST.in
index 8e7a161..c3f49ce 100644 (file)
@@ -124,6 +124,10 @@ include examples/c/plugin-host-load/plugin-host-load.c
 include examples/c/plugin-host-load/plugin-host-load.tesh
 include examples/c/synchro-semaphore/synchro-semaphore.c
 include examples/c/synchro-semaphore/synchro-semaphore.tesh
+include examples/cpp/activity-testany/s4u-activity-testany.cpp
+include examples/cpp/activity-testany/s4u-activity-testany.tesh
+include examples/cpp/activity-waitany/s4u-activity-waitany.cpp
+include examples/cpp/activity-waitany/s4u-activity-waitany.tesh
 include examples/cpp/actor-create/s4u-actor-create.cpp
 include examples/cpp/actor-create/s4u-actor-create.tesh
 include examples/cpp/actor-create/s4u-actor-create_d.xml
@@ -146,7 +150,6 @@ include examples/cpp/actor-suspend/s4u-actor-suspend.cpp
 include examples/cpp/actor-suspend/s4u-actor-suspend.tesh
 include examples/cpp/actor-yield/s4u-actor-yield.cpp
 include examples/cpp/actor-yield/s4u-actor-yield.tesh
-include examples/cpp/actor-yield/s4u-actor-yield_d.xml
 include examples/cpp/app-bittorrent/s4u-app-bittorrent.tesh
 include examples/cpp/app-bittorrent/s4u-app-bittorrent_d.xml
 include examples/cpp/app-bittorrent/s4u-bittorrent.cpp
@@ -177,40 +180,44 @@ include examples/cpp/comm-failure/s4u-comm-failure.cpp
 include examples/cpp/comm-failure/s4u-comm-failure.tesh
 include examples/cpp/comm-host2host/s4u-comm-host2host.cpp
 include examples/cpp/comm-host2host/s4u-comm-host2host.tesh
+include examples/cpp/comm-pingpong/debug-breakpoint.tesh
 include examples/cpp/comm-pingpong/s4u-comm-pingpong.cpp
 include examples/cpp/comm-pingpong/s4u-comm-pingpong.tesh
-include examples/cpp/comm-pingpong/simix-breakpoint.tesh
 include examples/cpp/comm-ready/s4u-comm-ready.cpp
 include examples/cpp/comm-ready/s4u-comm-ready.tesh
-include examples/cpp/comm-ready/s4u-comm-ready_d.xml
 include examples/cpp/comm-serialize/s4u-comm-serialize.cpp
 include examples/cpp/comm-serialize/s4u-comm-serialize.tesh
 include examples/cpp/comm-suspend/s4u-comm-suspend.cpp
 include examples/cpp/comm-suspend/s4u-comm-suspend.tesh
-include examples/cpp/comm-suspend/s4u-comm-suspend_d.xml
+include examples/cpp/comm-testany/s4u-comm-testany.cpp
+include examples/cpp/comm-testany/s4u-comm-testany.tesh
 include examples/cpp/comm-throttling/s4u-comm-throttling.cpp
 include examples/cpp/comm-throttling/s4u-comm-throttling.tesh
 include examples/cpp/comm-wait/s4u-comm-wait.cpp
 include examples/cpp/comm-wait/s4u-comm-wait.tesh
-include examples/cpp/comm-wait/s4u-comm-wait_d.xml
 include examples/cpp/comm-waitall/s4u-comm-waitall.cpp
 include examples/cpp/comm-waitall/s4u-comm-waitall.tesh
-include examples/cpp/comm-waitall/s4u-comm-waitall_d.xml
 include examples/cpp/comm-waitany/s4u-comm-waitany.cpp
 include examples/cpp/comm-waitany/s4u-comm-waitany.tesh
-include examples/cpp/comm-waitany/s4u-comm-waitany_d.xml
 include examples/cpp/comm-waituntil/s4u-comm-waituntil.cpp
 include examples/cpp/comm-waituntil/s4u-comm-waituntil.tesh
-include examples/cpp/comm-waituntil/s4u-comm-waituntil_d.xml
 include examples/cpp/dag-comm/s4u-dag-comm.cpp
 include examples/cpp/dag-comm/s4u-dag-comm.tesh
 include examples/cpp/dag-failure/s4u-dag-failure.cpp
 include examples/cpp/dag-failure/s4u-dag-failure.tesh
+include examples/cpp/dag-from-dax/s4u-dag-from-dax.cpp
+include examples/cpp/dag-from-dax/s4u-dag-from-dax.tesh
+include examples/cpp/dag-from-dax/simple_dax_with_cycle.xml
+include examples/cpp/dag-from-dax/smalldax.xml
 include examples/cpp/dag-from-dot/dag.dot
+include examples/cpp/dag-from-dot/dag_with_cycle.dot
 include examples/cpp/dag-from-dot/s4u-dag-from-dot.cpp
 include examples/cpp/dag-from-dot/s4u-dag-from-dot.tesh
 include examples/cpp/dag-io/s4u-dag-io.cpp
 include examples/cpp/dag-io/s4u-dag-io.tesh
+include examples/cpp/dag-scheduling/Montage_25.xml
+include examples/cpp/dag-scheduling/s4u-dag-scheduling.cpp
+include examples/cpp/dag-scheduling/s4u-dag-scheduling.tesh
 include examples/cpp/dag-simple/s4u-dag-simple.cpp
 include examples/cpp/dag-simple/s4u-dag-simple.tesh
 include examples/cpp/dht-chord/s4u-dht-chord-node.cpp
@@ -230,7 +237,6 @@ include examples/cpp/dht-kademlia/s4u-dht-kademlia.cpp
 include examples/cpp/dht-kademlia/s4u-dht-kademlia.hpp
 include examples/cpp/dht-kademlia/s4u-dht-kademlia.tesh
 include examples/cpp/dht-kademlia/s4u-dht-kademlia_d.xml
-include examples/cpp/energy-boot/platform_boot.xml
 include examples/cpp/energy-boot/s4u-energy-boot.cpp
 include examples/cpp/energy-boot/s4u-energy-boot.tesh
 include examples/cpp/energy-exec-ptask/s4u-energy-exec-ptask.cpp
@@ -261,12 +267,16 @@ include examples/cpp/exec-dvfs/s4u-exec-dvfs.cpp
 include examples/cpp/exec-dvfs/s4u-exec-dvfs.tesh
 include examples/cpp/exec-failure/s4u-exec-failure.cpp
 include examples/cpp/exec-failure/s4u-exec-failure.tesh
+include examples/cpp/exec-ptask-multicore-latency/s4u-exec-ptask-multicore-latency.cpp
+include examples/cpp/exec-ptask-multicore-latency/s4u-exec-ptask-multicore-latency.tesh
 include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.cpp
 include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.tesh
 include examples/cpp/exec-ptask/s4u-exec-ptask.cpp
 include examples/cpp/exec-ptask/s4u-exec-ptask.tesh
 include examples/cpp/exec-remote/s4u-exec-remote.cpp
 include examples/cpp/exec-remote/s4u-exec-remote.tesh
+include examples/cpp/exec-threads/s4u-exec-threads.cpp
+include examples/cpp/exec-threads/s4u-exec-threads.tesh
 include examples/cpp/exec-unassigned/s4u-exec-unassigned.cpp
 include examples/cpp/exec-unassigned/s4u-exec-unassigned.tesh
 include examples/cpp/exec-waitany/s4u-exec-waitany.cpp
@@ -297,8 +307,13 @@ include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp
 include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh
 include examples/cpp/mc-bugged1/s4u-mc-bugged1.cpp
 include examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
+include examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness
+include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.cpp
+include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh
 include examples/cpp/mc-bugged2/s4u-mc-bugged2.cpp
 include examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
+include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp
+include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.tesh
 include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.cpp
 include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
 include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.cpp
@@ -327,7 +342,6 @@ include examples/cpp/platform-profile/s4u-platform-profile.cpp
 include examples/cpp/platform-profile/s4u-platform-profile.tesh
 include examples/cpp/platform-properties/s4u-platform-properties.cpp
 include examples/cpp/platform-properties/s4u-platform-properties.tesh
-include examples/cpp/platform-properties/s4u-platform-properties_d.xml
 include examples/cpp/plugin-host-load/s4u-plugin-host-load.cpp
 include examples/cpp/plugin-host-load/s4u-plugin-host-load.tesh
 include examples/cpp/plugin-link-load/s4u-plugin-link-load.cpp
@@ -347,14 +361,17 @@ include examples/cpp/replay-io/s4u-replay-io.txt
 include examples/cpp/replay-io/s4u-replay-io_d.xml
 include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.cpp
 include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.tesh
+include examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
 include examples/cpp/synchro-barrier/s4u-synchro-barrier.cpp
 include examples/cpp/synchro-barrier/s4u-synchro-barrier.tesh
 include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.cpp
 include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh
 include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.cpp
 include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.tesh
+include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
 include examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp
 include examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh
+include examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh
 include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.cpp
 include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.tesh
 include examples/cpp/trace-categories/s4u-trace-categories.cpp
@@ -484,36 +501,6 @@ include examples/deprecated/java/trace/pingpong/PingPongTask.java
 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/mc/bugged2-liveness.tesh
-include examples/deprecated/msg/mc/bugged2_liveness.c
-include examples/deprecated/msg/mc/centralized_mutex.c
-include examples/deprecated/msg/mc/centralized_mutex.tesh
-include examples/deprecated/msg/mc/deploy_bugged2_liveness.xml
-include examples/deprecated/msg/mc/deploy_centralized_mutex.xml
-include examples/deprecated/msg/mc/promela_bugged2_liveness
-include examples/deprecated/simdag/dag-dotload/dag.dot
-include examples/deprecated/simdag/dag-dotload/dag_with_cycle.dot
-include examples/deprecated/simdag/dag-dotload/sd_dag-dotload.c
-include examples/deprecated/simdag/dag-dotload/sd_dag-dotload.tesh
-include examples/deprecated/simdag/daxload/sd_daxload.c
-include examples/deprecated/simdag/daxload/sd_daxload.tesh
-include examples/deprecated/simdag/daxload/simple_dax_with_cycle.xml
-include examples/deprecated/simdag/daxload/smalldax.xml
-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/deprecated/simdag/schedule-dotload/dag_with_bad_schedule.dot
-include examples/deprecated/simdag/schedule-dotload/dag_with_good_schedule.dot
-include examples/deprecated/simdag/schedule-dotload/sd_schedule-dotload.c
-include examples/deprecated/simdag/schedule-dotload/sd_schedule-dotload.tesh
-include examples/deprecated/simdag/scheduling/Montage_25.xml
-include examples/deprecated/simdag/scheduling/expected_output.jed
-include examples/deprecated/simdag/scheduling/sd_scheduling.c
-include examples/deprecated/simdag/scheduling/sd_scheduling.tesh
-include examples/deprecated/simdag/test/sd_test.cpp
-include examples/deprecated/simdag/test/sd_test.tesh
-include examples/deprecated/simdag/typed_tasks/sd_typed_tasks.c
-include examples/deprecated/simdag/typed_tasks/sd_typed_tasks.tesh
 include examples/python/actor-create/actor-create.py
 include examples/python/actor-create/actor-create.tesh
 include examples/python/actor-daemon/actor-daemon.py
@@ -530,14 +517,38 @@ include examples/python/actor-suspend/actor-suspend.py
 include examples/python/actor-suspend/actor-suspend.tesh
 include examples/python/actor-yield/actor-yield.py
 include examples/python/actor-yield/actor-yield.tesh
+include examples/python/app-masterworkers/app-masterworkers.py
+include examples/python/app-masterworkers/app-masterworkers.tesh
 include examples/python/clusters-multicpu/clusters-multicpu.py
 include examples/python/clusters-multicpu/clusters-multicpu.tesh
+include examples/python/comm-failure/comm-failure.py
+include examples/python/comm-failure/comm-failure.tesh
+include examples/python/comm-host2host/comm-host2host.py
+include examples/python/comm-host2host/comm-host2host.tesh
+include examples/python/comm-pingpong/comm-pingpong.py
+include examples/python/comm-pingpong/comm-pingpong.tesh
+include examples/python/comm-ready/comm-ready.py
+include examples/python/comm-ready/comm-ready.tesh
+include examples/python/comm-serialize/comm-serialize.py
+include examples/python/comm-serialize/comm-serialize.tesh
+include examples/python/comm-suspend/comm-suspend.py
+include examples/python/comm-suspend/comm-suspend.tesh
+include examples/python/comm-testany/comm-testany.py
+include examples/python/comm-testany/comm-testany.tesh
+include examples/python/comm-throttling/comm-throttling.py
+include examples/python/comm-throttling/comm-throttling.tesh
 include examples/python/comm-wait/comm-wait.py
 include examples/python/comm-wait/comm-wait.tesh
 include examples/python/comm-waitall/comm-waitall.py
 include examples/python/comm-waitall/comm-waitall.tesh
+include examples/python/comm-waitallfor/comm-waitallfor.py
+include examples/python/comm-waitallfor/comm-waitallfor.tesh
 include examples/python/comm-waitany/comm-waitany.py
 include examples/python/comm-waitany/comm-waitany.tesh
+include examples/python/comm-waitfor/comm-waitfor.py
+include examples/python/comm-waitfor/comm-waitfor.tesh
+include examples/python/comm-waituntil/comm-waituntil.py
+include examples/python/comm-waituntil/comm-waituntil.tesh
 include examples/python/exec-async/exec-async.py
 include examples/python/exec-async/exec-async.tesh
 include examples/python/exec-basic/exec-basic.py
@@ -552,6 +563,16 @@ include examples/python/io-degradation/io-degradation.py
 include examples/python/io-degradation/io-degradation.tesh
 include examples/python/network-nonlinear/network-nonlinear.py
 include examples/python/network-nonlinear/network-nonlinear.tesh
+include examples/python/platform-failures/platform-failures.py
+include examples/python/platform-failures/platform-failures.tesh
+include examples/python/platform-profile/platform-profile.py
+include examples/python/platform-profile/platform-profile.tesh
+include examples/python/synchro-barrier/synchro-barrier.py
+include examples/python/synchro-barrier/synchro-barrier.tesh
+include examples/python/synchro-mutex/synchro-mutex.py
+include examples/python/synchro-mutex/synchro-mutex.tesh
+include examples/python/synchro-semaphore/synchro-semaphore.py
+include examples/python/synchro-semaphore/synchro-semaphore.tesh
 include examples/smpi/NAS/DGraph.c
 include examples/smpi/NAS/DGraph.h
 include examples/smpi/NAS/README.install
@@ -586,6 +607,7 @@ include examples/smpi/mc/non_termination2.c
 include examples/smpi/mc/non_termination3.c
 include examples/smpi/mc/non_termination4.c
 include examples/smpi/mc/only_send_deterministic.c
+include examples/smpi/mc/only_send_deterministic.tesh
 include examples/smpi/mc/promela_bugged1_liveness
 include examples/smpi/mc/sendsend.c
 include examples/smpi/mc/sendsend.tesh
@@ -688,6 +710,7 @@ include examples/smpi/trace_call_location/trace_call_location.c
 include examples/smpi/trace_call_location/trace_call_location.tesh
 include examples/smpi/trace_simple/trace_simple.c
 include examples/smpi/trace_simple/trace_simple.tesh
+include src/include/catch_simgrid.hpp
 include teshsuite/java/semaphoregc/SemaphoreGC.java
 include teshsuite/java/semaphoregc/semaphoregc.tesh
 include teshsuite/java/sleephostoff/SleepHostOff.java
@@ -697,9 +720,6 @@ 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/kernel/simcall-generic/blocking_simcall.hpp
-include teshsuite/kernel/simcall-generic/simcall-generic.cpp
-include teshsuite/kernel/simcall-generic/simcall-generic.tesh
 include teshsuite/kernel/stack-overflow/stack-overflow.cpp
 include teshsuite/kernel/stack-overflow/stack-overflow.tesh
 include teshsuite/mc/dwarf-expression/dwarf-expression.cpp
@@ -715,8 +735,13 @@ include teshsuite/mc/random-bug/random-bug.cpp
 include teshsuite/mc/random-bug/random-bug.tesh
 include teshsuite/models/cloud-sharing/cloud-sharing.cpp
 include teshsuite/models/cloud-sharing/cloud-sharing.tesh
+include teshsuite/models/cm02-set-lat-bw/cm02-set-lat-bw-bmf.tesh
 include teshsuite/models/cm02-set-lat-bw/cm02-set-lat-bw.cpp
 include teshsuite/models/cm02-set-lat-bw/cm02-set-lat-bw.tesh
+include teshsuite/models/issue105/issue105.cpp
+include teshsuite/models/issue105/issue105.tesh
+include teshsuite/models/ptask-subflows/ptask-subflows.cpp
+include teshsuite/models/ptask-subflows/ptask-subflows.tesh
 include teshsuite/models/ptask_L07_usage/ptask_L07_usage.cpp
 include teshsuite/models/ptask_L07_usage/ptask_L07_usage.tesh
 include teshsuite/models/wifi_usage/wifi_usage.cpp
@@ -725,6 +750,39 @@ include teshsuite/models/wifi_usage_decay/wifi_usage_decay.cpp
 include teshsuite/models/wifi_usage_decay/wifi_usage_decay.tesh
 include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.c
 include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.tesh
+include teshsuite/platforms/Dijkstra.xml
+include teshsuite/platforms/bob.trace
+include teshsuite/platforms/bogus_missing_dst_gateway.xml
+include teshsuite/platforms/bogus_missing_gateway.tesh
+include teshsuite/platforms/bogus_missing_src_gateway.xml
+include teshsuite/platforms/bogus_two_hosts_asymetric.tesh
+include teshsuite/platforms/bogus_two_hosts_asymetric.xml
+include teshsuite/platforms/carol.fail
+include teshsuite/platforms/cluster_dragonfly_noncontiguous_rad.xml
+include teshsuite/platforms/cluster_fat_tree_noncontiguous_rad.xml
+include teshsuite/platforms/cluster_torus_noncontiguous_rad.xml
+include teshsuite/platforms/erin.avail
+include teshsuite/platforms/flatifier.cpp
+include teshsuite/platforms/flatifier.tesh
+include teshsuite/platforms/four_hosts_floyd.xml
+include teshsuite/platforms/host_attributes.xml
+include teshsuite/platforms/link.bw
+include teshsuite/platforms/link.fail
+include teshsuite/platforms/link.lat
+include teshsuite/platforms/link_attributes.xml
+include teshsuite/platforms/one_cluster.xml
+include teshsuite/platforms/one_cluster_multicore.xml
+include teshsuite/platforms/one_cluster_router_id.xml
+include teshsuite/platforms/one_cluster_splitduplex.xml
+include teshsuite/platforms/properties.xml
+include teshsuite/platforms/test_of_is_router.xml
+include teshsuite/platforms/three_hosts_non_symmetric_route.xml
+include teshsuite/platforms/two_clusters.xml
+include teshsuite/platforms/two_clusters_one_name.xml
+include teshsuite/platforms/two_clusters_router_id.xml
+include teshsuite/platforms/two_hosts_multi_hop.xml
+include teshsuite/platforms/two_hosts_one_link.xml
+include teshsuite/platforms/two_hosts_one_link_splitduplex.xml
 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
@@ -733,8 +791,7 @@ include teshsuite/python/corrupt-stack/corrupt-stack.tesh
 include teshsuite/python/corrupt-stack/corrupt-stack_d.xml
 include teshsuite/python/platform-mix/platform-mix.py
 include teshsuite/python/platform-mix/platform-mix.tesh
-include teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp
-include teshsuite/s4u/activity-lifecycle/activity-lifecycle.hpp
+include teshsuite/s4u/../catch_simgrid.cpp
 include teshsuite/s4u/activity-lifecycle/activity-lifecycle.tesh
 include teshsuite/s4u/activity-lifecycle/testing_comm.cpp
 include teshsuite/s4u/activity-lifecycle/testing_comm_direct.cpp
@@ -756,11 +813,15 @@ include teshsuite/s4u/basic-parsing-test/basic-parsing-test.cpp
 include teshsuite/s4u/basic-parsing-test/basic-parsing-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-two-execs/cloud-two-execs-bmf.tesh
 include teshsuite/s4u/cloud-two-execs/cloud-two-execs.cpp
 include teshsuite/s4u/cloud-two-execs/cloud-two-execs.tesh
+include teshsuite/s4u/comm-fault-scenarios/comm-fault-scenarios.cpp
+include teshsuite/s4u/comm-fault-scenarios/comm-fault-scenarios.tesh
 include teshsuite/s4u/comm-get-sender/comm-get-sender.cpp
 include teshsuite/s4u/comm-get-sender/comm-get-sender.tesh
 include teshsuite/s4u/comm-pt2pt/comm-pt2pt.cpp
+include teshsuite/s4u/concurrent_rw/concurrent_rw-bmf.tesh
 include teshsuite/s4u/concurrent_rw/concurrent_rw.cpp
 include teshsuite/s4u/concurrent_rw/concurrent_rw.tesh
 include teshsuite/s4u/dag-incomplete-simulation/dag-incomplete-simulation.cpp
@@ -786,6 +847,12 @@ include teshsuite/s4u/issue71/issue71.tesh
 include teshsuite/s4u/issue71/platform_bad.xml
 include teshsuite/s4u/listen_async/listen_async.cpp
 include teshsuite/s4u/listen_async/listen_async.tesh
+include teshsuite/s4u/monkey-masterworkers/monkey-masterworkers.cpp
+include teshsuite/s4u/monkey-masterworkers/monkey-masterworkers.py
+include teshsuite/s4u/monkey-masterworkers/monkey-masterworkers.py.tesh
+include teshsuite/s4u/monkey-masterworkers/monkey-masterworkers.tesh
+include teshsuite/s4u/monkey-semaphore/monkey-semaphore.cpp
+include teshsuite/s4u/monkey-semaphore/monkey-semaphore.tesh
 include teshsuite/s4u/ns3-from-src-to-itself/ns3-from-src-to-itself.cpp
 include teshsuite/s4u/ns3-from-src-to-itself/ns3-from-src-to-itself.tesh
 include teshsuite/s4u/ns3-simultaneous-send-rcv/ns3-simultaneous-send-rcv.cpp
@@ -819,39 +886,34 @@ include teshsuite/s4u/wait-all-for/wait-all-for.cpp
 include teshsuite/s4u/wait-all-for/wait-all-for.tesh
 include teshsuite/s4u/wait-any-for/wait-any-for.cpp
 include teshsuite/s4u/wait-any-for/wait-any-for.tesh
-include teshsuite/simdag/flatifier/bogus_missing_gateway.tesh
-include teshsuite/simdag/flatifier/bogus_two_hosts_asymetric.tesh
-include teshsuite/simdag/flatifier/flatifier.cpp
-include teshsuite/simdag/flatifier/flatifier.tesh
-include teshsuite/simdag/platforms/Dijkstra.xml
-include teshsuite/simdag/platforms/bob.trace
-include teshsuite/simdag/platforms/bogus_missing_dst_gateway.xml
-include teshsuite/simdag/platforms/bogus_missing_src_gateway.xml
-include teshsuite/simdag/platforms/bogus_two_hosts_asymetric.xml
-include teshsuite/simdag/platforms/carol.fail
-include teshsuite/simdag/platforms/cluster_dragonfly_noncontiguous_rad.xml
-include teshsuite/simdag/platforms/cluster_fat_tree_noncontiguous_rad.xml
-include teshsuite/simdag/platforms/cluster_torus_noncontiguous_rad.xml
-include teshsuite/simdag/platforms/erin.avail
-include teshsuite/simdag/platforms/four_hosts_floyd.xml
-include teshsuite/simdag/platforms/host_attributes.xml
-include teshsuite/simdag/platforms/link.bw
-include teshsuite/simdag/platforms/link.fail
-include teshsuite/simdag/platforms/link.lat
-include teshsuite/simdag/platforms/link_attributes.xml
-include teshsuite/simdag/platforms/one_cluster.xml
-include teshsuite/simdag/platforms/one_cluster_multicore.xml
-include teshsuite/simdag/platforms/one_cluster_router_id.xml
-include teshsuite/simdag/platforms/one_cluster_splitduplex.xml
-include teshsuite/simdag/platforms/properties.xml
-include teshsuite/simdag/platforms/test_of_is_router.xml
-include teshsuite/simdag/platforms/three_hosts_non_symmetric_route.xml
-include teshsuite/simdag/platforms/two_clusters.xml
-include teshsuite/simdag/platforms/two_clusters_one_name.xml
-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/smpi/MBI/CollArgGenerator.py
+include teshsuite/smpi/MBI/CollComGenerator.py
+include teshsuite/smpi/MBI/CollLocalConcurrencyGenerator.py
+include teshsuite/smpi/MBI/CollMatchingGenerator.py
+include teshsuite/smpi/MBI/CollP2PMatchingGenerator.py
+include teshsuite/smpi/MBI/CollP2PMessageRaceGenerator.py
+include teshsuite/smpi/MBI/CollTopoGenerator.py
+include teshsuite/smpi/MBI/MBI.py
+include teshsuite/smpi/MBI/MBIutils.py
+include teshsuite/smpi/MBI/MissingWaitandStartGenerator.py
+include teshsuite/smpi/MBI/P2PArgGenerator.py
+include teshsuite/smpi/MBI/P2PComGenerator.py
+include teshsuite/smpi/MBI/P2PInvalidComGenerator.py
+include teshsuite/smpi/MBI/P2PLocalConcurrencyGenerator.py
+include teshsuite/smpi/MBI/P2PMatchingANYSRCGenerator.py
+include teshsuite/smpi/MBI/P2PMatchingGenerator.py
+include teshsuite/smpi/MBI/P2PProbeGenerator.py
+include teshsuite/smpi/MBI/RMAArgGenerator.py
+include teshsuite/smpi/MBI/RMAInvalidArgGenerator.py
+include teshsuite/smpi/MBI/RMALocalLocalConcurrencyGenerator.py
+include teshsuite/smpi/MBI/RMAP2PGlobalConcurrencyGenerator.py
+include teshsuite/smpi/MBI/RMARemoteLocalConcurrencyGenerator.py
+include teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py
+include teshsuite/smpi/MBI/RMAReqLifecycleGenerator.py
+include teshsuite/smpi/MBI/RMAWinBufferGenerator.py
+include teshsuite/smpi/MBI/ResleakGenerator.py
+include teshsuite/smpi/MBI/generator_utils.py
+include teshsuite/smpi/MBI/simgrid.py
 include teshsuite/smpi/auto-shared/auto-shared.c
 include teshsuite/smpi/auto-shared/auto-shared.tesh
 include teshsuite/smpi/bug-17132/bug-17132.c
@@ -909,155 +971,6 @@ include teshsuite/smpi/io-simple-at/io-simple-at.c
 include teshsuite/smpi/io-simple-at/io-simple-at.tesh
 include teshsuite/smpi/io-simple/io-simple.c
 include teshsuite/smpi/io-simple/io-simple.tesh
-include teshsuite/smpi/isp/umpire/README
-include teshsuite/smpi/isp/umpire/abort.c
-include teshsuite/smpi/isp/umpire/abort1.c
-include teshsuite/smpi/isp/umpire/abort2.c
-include teshsuite/smpi/isp/umpire/abort3.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock10.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock10_mod.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock11.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock2.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock3.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock4.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock4_mod.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock5.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock5_mod.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock6.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock6_mod.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock7.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock8.c
-include teshsuite/smpi/isp/umpire/any_src-can-deadlock9.c
-include teshsuite/smpi/isp/umpire/any_src-deadlock.c
-include teshsuite/smpi/isp/umpire/any_src-wait-deadlock.c
-include teshsuite/smpi/isp/umpire/any_src-wait-deadlock2.c
-include teshsuite/smpi/isp/umpire/any_src-waitall-deadlock.c
-include teshsuite/smpi/isp/umpire/any_src-waitall-deadlock2.c
-include teshsuite/smpi/isp/umpire/any_src-waitall-deadlock3.c
-include teshsuite/smpi/isp/umpire/any_src-waitany-deadlock.c
-include teshsuite/smpi/isp/umpire/any_src-waitany-deadlock2.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-cart_create.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-cart_sub.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-comm_create.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-comm_dup.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-comm_split.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-graph_create.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-intercomm_create.c
-include teshsuite/smpi/isp/umpire/basic-deadlock-intercomm_merge.c
-include teshsuite/smpi/isp/umpire/basic-deadlock.c
-include teshsuite/smpi/isp/umpire/bcast-deadlock.c
-include teshsuite/smpi/isp/umpire/change-send-buffer-exhaustive.c
-include teshsuite/smpi/isp/umpire/change-send-buffer-type-exhaustive.c
-include teshsuite/smpi/isp/umpire/change-send-buffer.c
-include teshsuite/smpi/isp/umpire/collective-exhaustive-byte-int-mismatch.c
-include teshsuite/smpi/isp/umpire/collective-exhaustive-no-error.c
-include teshsuite/smpi/isp/umpire/collective-misorder-allreduce.c
-include teshsuite/smpi/isp/umpire/collective-misorder.c
-include teshsuite/smpi/isp/umpire/collective-misorder2.c
-include teshsuite/smpi/isp/umpire/comm-bcast-deadlock.c
-include teshsuite/smpi/isp/umpire/comm-deadlock.c
-include teshsuite/smpi/isp/umpire/comm-dup-no-error.c
-include teshsuite/smpi/isp/umpire/comm-dup-no-free.c
-include teshsuite/smpi/isp/umpire/comm-dup-no-free2.c
-include teshsuite/smpi/isp/umpire/comm-simple.c
-include teshsuite/smpi/isp/umpire/comm-split-no-free.c
-include teshsuite/smpi/isp/umpire/comm-translate-ranks.c
-include teshsuite/smpi/isp/umpire/complex-deadlock.c
-include teshsuite/smpi/isp/umpire/deadlock-config.c
-include teshsuite/smpi/isp/umpire/deadlock-config_blocking.c
-include teshsuite/smpi/isp/umpire/dropped-req.c
-include teshsuite/smpi/isp/umpire/errhandler-no-error.c
-include teshsuite/smpi/isp/umpire/errhandler-no-free.c
-include teshsuite/smpi/isp/umpire/finalize-deadlock.c
-include teshsuite/smpi/isp/umpire/group-no-error-exhaustive.c
-include teshsuite/smpi/isp/umpire/group-no-error.c
-include teshsuite/smpi/isp/umpire/group-no-error2.c
-include teshsuite/smpi/isp/umpire/group-no-error3.c
-include teshsuite/smpi/isp/umpire/group-no-free-exhaustive.c
-include teshsuite/smpi/isp/umpire/group-no-free.c
-include teshsuite/smpi/isp/umpire/group-no-free2.c
-include teshsuite/smpi/isp/umpire/group-no-free3.c
-include teshsuite/smpi/isp/umpire/hello.c
-include teshsuite/smpi/isp/umpire/intercomm_create-deadlock.c
-include teshsuite/smpi/isp/umpire/intercomm_create-deadlock2.c
-include teshsuite/smpi/isp/umpire/intercomm_create-deadlock3.c
-include teshsuite/smpi/isp/umpire/intercomm_create-deadlock4.c
-include teshsuite/smpi/isp/umpire/intercomm_create-no-error.c
-include teshsuite/smpi/isp/umpire/intercomm_merge-deadlock.c
-include teshsuite/smpi/isp/umpire/irecv-deadlock.c
-include teshsuite/smpi/isp/umpire/irecv-isend-ok.c
-include teshsuite/smpi/isp/umpire/irecv-isend-ok2.c
-include teshsuite/smpi/isp/umpire/lost-request-waitall.c
-include teshsuite/smpi/isp/umpire/lost-request.c
-include teshsuite/smpi/isp/umpire/lost-request2.c
-include teshsuite/smpi/isp/umpire/lost-request3.c
-include teshsuite/smpi/isp/umpire/no-error-any_src.c
-include teshsuite/smpi/isp/umpire/no-error-derived-comms.c
-include teshsuite/smpi/isp/umpire/no-error-interleaved-isend.c
-include teshsuite/smpi/isp/umpire/no-error-persistent-all-completions.c
-include teshsuite/smpi/isp/umpire/no-error-persistent-test.c
-include teshsuite/smpi/isp/umpire/no-error-persistent-testpartial.c
-include teshsuite/smpi/isp/umpire/no-error-persistent-waitpartial.c
-include teshsuite/smpi/isp/umpire/no-error-persistent.c
-include teshsuite/smpi/isp/umpire/no-error-probe-any_src.c
-include teshsuite/smpi/isp/umpire/no-error-probe-any_tag.c
-include teshsuite/smpi/isp/umpire/no-error-probe.c
-include teshsuite/smpi/isp/umpire/no-error-test.c
-include teshsuite/smpi/isp/umpire/no-error-testall.c
-include teshsuite/smpi/isp/umpire/no-error-testany.c
-include teshsuite/smpi/isp/umpire/no-error-vector-isend.c
-include teshsuite/smpi/isp/umpire/no-error-wait-any_src.c
-include teshsuite/smpi/isp/umpire/no-error-wait-any_src2.c
-include teshsuite/smpi/isp/umpire/no-error-wait-any_src3.c
-include teshsuite/smpi/isp/umpire/no-error-wait-any_src4.c
-include teshsuite/smpi/isp/umpire/no-error-wait.c
-include teshsuite/smpi/isp/umpire/no-error-wait2.c
-include teshsuite/smpi/isp/umpire/no-error-waitall-any_src.c
-include teshsuite/smpi/isp/umpire/no-error-waitall-any_src2.c
-include teshsuite/smpi/isp/umpire/no-error-waitall-any_src3.c
-include teshsuite/smpi/isp/umpire/no-error-waitall.c
-include teshsuite/smpi/isp/umpire/no-error-waitany-any_src.c
-include teshsuite/smpi/isp/umpire/no-error-waitany-any_src2.c
-include teshsuite/smpi/isp/umpire/no-error-waitany-any_src3.c
-include teshsuite/smpi/isp/umpire/no-error-waitany.c
-include teshsuite/smpi/isp/umpire/no-error-waitany2.c
-include teshsuite/smpi/isp/umpire/no-error.c
-include teshsuite/smpi/isp/umpire/no-error2.c
-include teshsuite/smpi/isp/umpire/no-error3-any_src.c
-include teshsuite/smpi/isp/umpire/no-error3.c
-include teshsuite/smpi/isp/umpire/no-error4-any_src.c
-include teshsuite/smpi/isp/umpire/no-error4.c
-include teshsuite/smpi/isp/umpire/op-no-error.c
-include teshsuite/smpi/isp/umpire/op-no-free.c
-include teshsuite/smpi/isp/umpire/partial-recv-exhaustive.c
-include teshsuite/smpi/isp/umpire/partial-recv-persistent.c
-include teshsuite/smpi/isp/umpire/partial-recv-persistent2.c
-include teshsuite/smpi/isp/umpire/partial-recv-persistent3.c
-include teshsuite/smpi/isp/umpire/partial-recv-persistent4.c
-include teshsuite/smpi/isp/umpire/partial-recv.c
-include teshsuite/smpi/isp/umpire/persistent.c
-include teshsuite/smpi/isp/umpire/persistent2.c
-include teshsuite/smpi/isp/umpire/persistent3.c
-include teshsuite/smpi/isp/umpire/persistent4.c
-include teshsuite/smpi/isp/umpire/probe-any_src-types-can-mismatch.c
-include teshsuite/smpi/isp/umpire/probe-any_tag-types-can-mismatch.c
-include teshsuite/smpi/isp/umpire/probe-deadlock.c
-include teshsuite/smpi/isp/umpire/pt2pt-byte-int-mismatch.c
-include teshsuite/smpi/isp/umpire/remote_group-no-error.c
-include teshsuite/smpi/isp/umpire/send-recv-ok.c
-include teshsuite/smpi/isp/umpire/sendrecv-deadlock.c
-include teshsuite/smpi/isp/umpire/type-commit-twice.c
-include teshsuite/smpi/isp/umpire/type-no-error-exhaustive-with-isends.c
-include teshsuite/smpi/isp/umpire/type-no-error-exhaustive.c
-include teshsuite/smpi/isp/umpire/type-no-error.c
-include teshsuite/smpi/isp/umpire/type-no-free-exhaustive.c
-include teshsuite/smpi/isp/umpire/type-no-free.c
-include teshsuite/smpi/isp/umpire/type-no-free2.c
-include teshsuite/smpi/isp/umpire/type-no-free3.c
-include teshsuite/smpi/isp/umpire/wait-deadlock.c
-include teshsuite/smpi/isp/umpire/waitall-deadlock.c
-include teshsuite/smpi/isp/umpire/waitany-deadlock.c
 include teshsuite/smpi/macro-partial-shared-communication/macro-partial-shared-communication.c
 include teshsuite/smpi/macro-partial-shared-communication/macro-partial-shared-communication.tesh
 include teshsuite/smpi/macro-partial-shared/macro-partial-shared.c
@@ -1822,13 +1735,10 @@ include doc/doxygen/inside_extending.doc
 include doc/doxygen/inside_release.doc
 include doc/doxygen/inside_tests.doc
 include doc/doxygen/module-index.doc
-include doc/doxygen/module-sd.doc
 include doc/doxygen/module-surf.doc
-include doc/doxygen/module-trace.doc
 include doc/doxygen/outcomes_vizu.doc
 include doc/doxygen/platform.doc
 include doc/doxygen/uhood.doc
-include doc/doxygen/uhood_arch.doc
 include doc/doxygen/uhood_switch.doc
 include docs/Build.sh
 include docs/README.md
@@ -1842,6 +1752,7 @@ include docs/manpages/smpiff.1
 include docs/manpages/smpirun.1
 include docs/manpages/tesh.pod
 include docs/requirements.txt
+include docs/source/Calibrating_the_models.rst
 include docs/source/Configuring_SimGrid.rst
 include docs/source/Deploying_your_application.rst
 include docs/source/Design_goals.rst
@@ -1849,12 +1760,12 @@ include docs/source/Doxyfile
 include docs/source/Experimental_setup.rst
 include docs/source/Installing_SimGrid.rst
 include docs/source/Introduction.rst
+include docs/source/Modeling_howtos.rst
 include docs/source/Models.rst
 include docs/source/Outcomes.rst
 include docs/source/Platform.rst
 include docs/source/Platform_cpp.rst
 include docs/source/Platform_examples.rst
-include docs/source/Platform_howtos.rst
 include docs/source/Platform_routing.rst
 include docs/source/Plugins.rst
 include docs/source/Release_Notes.rst
@@ -1897,6 +1808,7 @@ include docs/source/img/smpi_simgrid_alltoall_pair_16.png
 include docs/source/img/smpi_simgrid_alltoall_ring_16.png
 include docs/source/img/starzone.drawio
 include docs/source/img/starzone.svg
+include docs/source/img/vivaldi.svg
 include docs/source/img/zone_hierarchy.png
 include docs/source/img/zone_tree.drawio
 include docs/source/img/zone_tree.svg
@@ -1930,7 +1842,6 @@ include docs/source/tuto_network_calibration/fig/pingpong_simgrid.drawio
 include docs/source/tuto_network_calibration/fig/pingpong_simgrid.png
 include docs/source/tuto_network_calibration/isend_ckmeans.json
 include docs/source/tuto_network_calibration/isend_dhist.json
-include docs/source/tuto_network_calibration/network_calibration_tutorial.ipynb
 include docs/source/tuto_network_calibration/network_calibration_tutorial.rst
 include docs/source/tuto_network_calibration/pingpong_ckmeans.json
 include docs/source/tuto_network_calibration/pingpong_dhist.json
@@ -1948,7 +1859,7 @@ include docs/source/tuto_network_calibration/send_dhist.json
 include docs/source/tuto_s4u/deployment1.xml
 include docs/source/tuto_s4u/deployment2.xml
 include docs/source/tuto_s4u/deployment3.xml
-include docs/source/tuto_s4u/deployment4.xml
+include docs/source/tuto_s4u/deployment5.xml
 include docs/source/tuto_s4u/draw_gantt.R
 include docs/source/tuto_s4u/img/Rscript-screenshot.png
 include docs/source/tuto_s4u/img/intro.svg
@@ -1956,7 +1867,9 @@ include docs/source/tuto_s4u/img/question.svg
 include docs/source/tuto_s4u/img/result.png
 include docs/source/tuto_s4u/img/vite-screenshot.png
 include docs/source/tuto_s4u/master-workers-lab1.cpp
+include docs/source/tuto_s4u/master-workers-lab1.py
 include docs/source/tuto_s4u/master-workers-lab2.cpp
+include docs/source/tuto_s4u/master-workers-lab2.py
 include docs/source/tuto_s4u/master-workers-lab3.cpp
 include docs/source/tuto_s4u/master-workers-lab4.cpp
 include docs/source/tuto_smpi/3hosts.png
@@ -1969,21 +1882,20 @@ include examples/README.rst
 include examples/c/CMakeLists.txt
 include examples/cpp/CMakeLists.txt
 include examples/deprecated/java/CMakeLists.txt
-include examples/deprecated/msg/mc/CMakeLists.txt
-include examples/deprecated/simdag/CMakeLists.txt
 include examples/platforms/CMakeLists.txt
 include examples/platforms/bypassRoute.xml
 include examples/platforms/bypassZoneRoute.xml
 include examples/platforms/cloud.xml
 include examples/platforms/cluster_and_one_host.xml
+include examples/platforms/cluster_backbone.svg
 include examples/platforms/cluster_backbone.xml
+include examples/platforms/cluster_crossbar.svg
 include examples/platforms/cluster_crossbar.xml
 include examples/platforms/cluster_dragonfly.svg
 include examples/platforms/cluster_dragonfly.xml
 include examples/platforms/cluster_fat_tree.svg
 include examples/platforms/cluster_fat_tree.xml
 include examples/platforms/cluster_multi.xml
-include examples/platforms/cluster_prototype.lua
 include examples/platforms/cluster_torus.svg
 include examples/platforms/cluster_torus.xml
 include examples/platforms/config.xml
@@ -1991,6 +1903,7 @@ include examples/platforms/config_tracing.xml
 include examples/platforms/crosstraffic.xml
 include examples/platforms/data_center.xml
 include examples/platforms/dogbone.xml
+include examples/platforms/energy_boot.xml
 include examples/platforms/energy_cluster.xml
 include examples/platforms/energy_platform.xml
 include examples/platforms/faulty_host.xml
@@ -2021,20 +1934,20 @@ include examples/platforms/profiles/trace_B.txt
 include examples/platforms/prop.xml
 include examples/platforms/ptask_L07.xml
 include examples/platforms/routing_cluster.cpp
-include examples/platforms/routing_cluster.lua
 include examples/platforms/routing_cluster.xml
-include examples/platforms/routing_none.xml
 include examples/platforms/simulacrum_7_hosts.xml
-include examples/platforms/small_platform.lua
 include examples/platforms/small_platform.xml
-include examples/platforms/small_platform_constant.xml
 include examples/platforms/small_platform_failures.xml
 include examples/platforms/small_platform_fatpipe.xml
 include examples/platforms/small_platform_one_link_routes.xml
 include examples/platforms/small_platform_profile.xml
+include examples/platforms/small_platform_routing_none.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/supernode.cpp
+include examples/platforms/supernode.py
+include examples/platforms/supernode.svg
 include examples/platforms/syscoord/generate_peer_platform.pl
 include examples/platforms/syscoord/median_harvard.syscoord
 include examples/platforms/syscoord/median_meridian.syscoord
@@ -2052,13 +1965,11 @@ include examples/platforms/wifi_ns3.xml
 include examples/python/CMakeLists.txt
 include examples/python/actor-create/actor-create_d.xml
 include examples/python/actor-lifetime/actor-lifetime_d.xml
-include examples/python/comm-wait/comm-wait_d.xml
-include examples/python/comm-waitall/comm-waitall_d.xml
-include examples/python/comm-waitany/comm-waitany_d.xml
+include examples/python/app-masterworkers/app-masterworkers_d.xml
+include examples/python/platform-failures/platform-failures_d.xml
 include examples/smpi/CMakeLists.txt
 include examples/smpi/NAS/CMakeLists.txt
 include examples/smpi/comm_dynamic_costs/CMakeLists.txt
-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_masterworker/CMakeLists.txt
@@ -2075,13 +1986,8 @@ include include/simgrid/exec.h
 include include/simgrid/forward.h
 include include/simgrid/host.h
 include include/simgrid/instr.h
-include include/simgrid/jedule/jedule.hpp
-include include/simgrid/jedule/jedule_events.hpp
-include include/simgrid/jedule/jedule_platform.hpp
-include include/simgrid/jedule/jedule_sd_binding.h
 include include/simgrid/kernel/ProfileBuilder.hpp
 include include/simgrid/kernel/Timer.hpp
-include include/simgrid/kernel/future.hpp
 include include/simgrid/kernel/resource/Action.hpp
 include include/simgrid/kernel/resource/Model.hpp
 include include/simgrid/kernel/resource/NetworkModelIntf.hpp
@@ -2129,7 +2035,6 @@ include include/simgrid/s4u/NetZone.hpp
 include include/simgrid/s4u/Semaphore.hpp
 include include/simgrid/s4u/VirtualMachine.hpp
 include include/simgrid/semaphore.h
-include include/simgrid/simdag.h
 include include/simgrid/simix.h
 include include/simgrid/simix.hpp
 include include/simgrid/version.h.in
@@ -2225,14 +2130,11 @@ include src/bindings/java/org/simgrid/msg/TimeoutException.java
 include src/bindings/java/org/simgrid/msg/TransferFailureException.java
 include src/bindings/java/org/simgrid/msg/VM.java
 include src/bindings/java/org/simgrid/trace/Trace.java
-include src/bindings/lua/lua_host.cpp
-include src/bindings/lua/lua_platf.cpp
-include src/bindings/lua/lua_private.hpp
-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/dag/dax.dtd
+include src/dag/dax_dtd.c
+include src/dag/dax_dtd.h
+include src/dag/loaders.cpp
 include src/include/catch.hpp
 include src/include/mc/datatypes.h
 include src/include/mc/mc.h
@@ -2257,15 +2159,13 @@ include src/instr/instr_platform.cpp
 include src/instr/instr_private.hpp
 include src/instr/instr_resource_utilization.cpp
 include src/instr/instr_smpi.hpp
-include src/instr/jedule/jedule.cpp
-include src/instr/jedule/jedule_events.cpp
-include src/instr/jedule/jedule_platform.cpp
-include src/instr/jedule/jedule_sd_binding.cpp
 include src/internal_config.h.in
 include src/kernel/EngineImpl.cpp
 include src/kernel/EngineImpl.hpp
 include src/kernel/activity/ActivityImpl.cpp
 include src/kernel/activity/ActivityImpl.hpp
+include src/kernel/activity/BarrierImpl.cpp
+include src/kernel/activity/BarrierImpl.hpp
 include src/kernel/activity/CommImpl.cpp
 include src/kernel/activity/CommImpl.hpp
 include src/kernel/activity/ConditionVariableImpl.cpp
@@ -2282,12 +2182,18 @@ include src/kernel/activity/SemaphoreImpl.cpp
 include src/kernel/activity/SemaphoreImpl.hpp
 include src/kernel/activity/SleepImpl.cpp
 include src/kernel/activity/SleepImpl.hpp
-include src/kernel/activity/SynchroRaw.cpp
-include src/kernel/activity/SynchroRaw.hpp
+include src/kernel/activity/Synchro.cpp
+include src/kernel/activity/Synchro.hpp
 include src/kernel/actor/ActorImpl.cpp
 include src/kernel/actor/ActorImpl.hpp
+include src/kernel/actor/CommObserver.cpp
+include src/kernel/actor/CommObserver.hpp
+include src/kernel/actor/Simcall.cpp
+include src/kernel/actor/Simcall.hpp
 include src/kernel/actor/SimcallObserver.cpp
 include src/kernel/actor/SimcallObserver.hpp
+include src/kernel/actor/SynchroObserver.cpp
+include src/kernel/actor/SynchroObserver.hpp
 include src/kernel/context/Context.cpp
 include src/kernel/context/Context.hpp
 include src/kernel/context/ContextBoost.cpp
@@ -2300,8 +2206,13 @@ include src/kernel/context/ContextThread.cpp
 include src/kernel/context/ContextThread.hpp
 include src/kernel/context/ContextUnix.cpp
 include src/kernel/context/ContextUnix.hpp
-include src/kernel/future.cpp
+include src/kernel/lmm/System.cpp
+include src/kernel/lmm/System.hpp
+include src/kernel/lmm/bmf.cpp
+include src/kernel/lmm/bmf.hpp
+include src/kernel/lmm/bmf_test.cpp
 include src/kernel/lmm/fair_bottleneck.cpp
+include src/kernel/lmm/fair_bottleneck.hpp
 include src/kernel/lmm/maxmin.cpp
 include src/kernel/lmm/maxmin.hpp
 include src/kernel/lmm/maxmin_test.cpp
@@ -2310,13 +2221,21 @@ include src/kernel/resource/CpuImpl.cpp
 include src/kernel/resource/CpuImpl.hpp
 include src/kernel/resource/DiskImpl.cpp
 include src/kernel/resource/DiskImpl.hpp
+include src/kernel/resource/LinkImpl.hpp
 include src/kernel/resource/Model.cpp
+include src/kernel/resource/NetworkModel.cpp
+include src/kernel/resource/NetworkModel.hpp
 include src/kernel/resource/NetworkModelIntf_test.cpp
 include src/kernel/resource/Resource.hpp
+include src/kernel/resource/SplitDuplexLinkImpl.cpp
+include src/kernel/resource/SplitDuplexLinkImpl.hpp
+include src/kernel/resource/SplitDuplexLinkImpl_test.cpp
+include src/kernel/resource/StandardLinkImpl.cpp
+include src/kernel/resource/StandardLinkImpl.hpp
 include src/kernel/resource/VirtualMachineImpl.cpp
 include src/kernel/resource/VirtualMachineImpl.hpp
-include src/kernel/resource/profile/DatedValue.cpp
-include src/kernel/resource/profile/DatedValue.hpp
+include src/kernel/resource/WifiLinkImpl.cpp
+include src/kernel/resource/WifiLinkImpl.hpp
 include src/kernel/resource/profile/Event.hpp
 include src/kernel/resource/profile/FutureEvtSet.cpp
 include src/kernel/resource/profile/FutureEvtSet.hpp
@@ -2354,22 +2273,22 @@ include src/mc/ModelChecker.cpp
 include src/mc/ModelChecker.hpp
 include src/mc/Session.cpp
 include src/mc/Session.hpp
-include src/mc/Transition.hpp
 include src/mc/VisitedState.cpp
 include src/mc/VisitedState.hpp
 include src/mc/api.cpp
 include src/mc/api.hpp
-include src/mc/checker/Checker.hpp
-include src/mc/checker/CommunicationDeterminismChecker.cpp
-include src/mc/checker/CommunicationDeterminismChecker.hpp
-include src/mc/checker/LivenessChecker.cpp
-include src/mc/checker/LivenessChecker.hpp
-include src/mc/checker/SafetyChecker.cpp
-include src/mc/checker/SafetyChecker.hpp
-include src/mc/checker/UdporChecker.cpp
-include src/mc/checker/UdporChecker.hpp
-include src/mc/checker/simgrid_mc.cpp
+include src/mc/api/State.cpp
+include src/mc/api/State.hpp
 include src/mc/compare.cpp
+include src/mc/explo/CommunicationDeterminismChecker.cpp
+include src/mc/explo/DFSExplorer.cpp
+include src/mc/explo/DFSExplorer.hpp
+include src/mc/explo/Exploration.hpp
+include src/mc/explo/LivenessChecker.cpp
+include src/mc/explo/LivenessChecker.hpp
+include src/mc/explo/UdporChecker.cpp
+include src/mc/explo/UdporChecker.hpp
+include src/mc/explo/simgrid_mc.cpp
 include src/mc/inspect/DwarfExpression.cpp
 include src/mc/inspect/DwarfExpression.hpp
 include src/mc/inspect/Frame.cpp
@@ -2391,7 +2310,6 @@ include src/mc/inspect/mc_unw_vmread.cpp
 include src/mc/mc_base.cpp
 include src/mc/mc_base.hpp
 include src/mc/mc_client_api.cpp
-include src/mc/mc_comm_pattern.hpp
 include src/mc/mc_config.cpp
 include src/mc/mc_config.hpp
 include src/mc/mc_exit.hpp
@@ -2408,8 +2326,6 @@ include src/mc/mc_record.hpp
 include src/mc/mc_replay.hpp
 include src/mc/mc_safety.hpp
 include src/mc/mc_smx.cpp
-include src/mc/mc_state.cpp
-include src/mc/mc_state.hpp
 include src/mc/remote/AppSide.cpp
 include src/mc/remote/AppSide.hpp
 include src/mc/remote/Channel.cpp
@@ -2430,6 +2346,16 @@ include src/mc/sosp/Region.hpp
 include src/mc/sosp/Snapshot.cpp
 include src/mc/sosp/Snapshot.hpp
 include src/mc/sosp/Snapshot_test.cpp
+include src/mc/transition/Transition.cpp
+include src/mc/transition/Transition.hpp
+include src/mc/transition/TransitionAny.cpp
+include src/mc/transition/TransitionAny.hpp
+include src/mc/transition/TransitionComm.cpp
+include src/mc/transition/TransitionComm.hpp
+include src/mc/transition/TransitionRandom.cpp
+include src/mc/transition/TransitionRandom.hpp
+include src/mc/transition/TransitionSynchro.cpp
+include src/mc/transition/TransitionSynchro.hpp
 include src/mc/udpor_global.cpp
 include src/mc/udpor_global.hpp
 include src/msg/msg_comm.cpp
@@ -2439,6 +2365,7 @@ include src/msg/msg_private.hpp
 include src/msg/msg_process.cpp
 include src/msg/msg_task.cpp
 include src/plugins/ProducerConsumer.cpp
+include src/plugins/chaos_monkey.cpp
 include src/plugins/file_system/s4u_FileSystem.cpp
 include src/plugins/host_dvfs.cpp
 include src/plugins/host_energy.cpp
@@ -2465,27 +2392,11 @@ include src/s4u/s4u_Mutex.cpp
 include src/s4u/s4u_Netzone.cpp
 include src/s4u/s4u_Semaphore.cpp
 include src/s4u/s4u_VirtualMachine.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.hpp
-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/smpi/bindings/smpi_f77.cpp
 include src/smpi/bindings/smpi_f77_coll.cpp
@@ -2675,12 +2586,6 @@ include src/smpi/smpirun.in
 include src/smpi/smpitools.sh
 include src/surf/HostImpl.cpp
 include src/surf/HostImpl.hpp
-include src/surf/LinkImpl.cpp
-include src/surf/LinkImpl.hpp
-include src/surf/LinkImplIntf.hpp
-include src/surf/SplitDuplexLinkImpl.cpp
-include src/surf/SplitDuplexLinkImpl.hpp
-include src/surf/SplitDuplexLinkImpl_test.cpp
 include src/surf/cpu_cas01.cpp
 include src/surf/cpu_cas01.hpp
 include src/surf/cpu_ti.cpp
@@ -2695,14 +2600,10 @@ 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
@@ -2775,16 +2676,14 @@ include src/xbt/xbt_str_test.cpp
 include src/xbt/xbt_virtu.cpp
 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/models/CMakeLists.txt
 include teshsuite/msg/CMakeLists.txt
+include teshsuite/platforms/CMakeLists.txt
 include teshsuite/python/CMakeLists.txt
 include teshsuite/s4u/CMakeLists.txt
-include teshsuite/simdag/CMakeLists.txt
 include teshsuite/smpi/CMakeLists.txt
-include teshsuite/smpi/isp/umpire/CMakeLists.txt
+include teshsuite/smpi/MBI/CMakeLists.txt
 include teshsuite/smpi/mpich3-test/CMakeLists.txt
 include teshsuite/smpi/mpich3-test/attr/CMakeLists.txt
 include teshsuite/smpi/mpich3-test/coll/CMakeLists.txt
@@ -2835,7 +2734,6 @@ include tools/cmake/Modules/FindLibdw.cmake
 include tools/cmake/Modules/FindLibelf.cmake
 include tools/cmake/Modules/FindLibevent.cmake
 include tools/cmake/Modules/FindLibunwind.cmake
-include tools/cmake/Modules/FindLuaSimgrid.cmake
 include tools/cmake/Modules/FindNS3.cmake
 include tools/cmake/Modules/FindPAPI.cmake
 include tools/cmake/Modules/FindValgrind.cmake
@@ -2853,7 +2751,7 @@ include tools/cmake/test_prog/prog_stacksetup.c
 include tools/cmake/test_prog/prog_tsan.cpp
 include tools/doxygen/list_routing_models_examples.sh
 include tools/graphicator/CMakeLists.txt
-include tools/lualib.patch
+include tools/simgrid-monkey
 include tools/smpi/generate_smpi_defines.pl
 include tools/stack-cleaner/README
 include tools/stack-cleaner/as