Fix make distcheck

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index beb919e..cbff9a1 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -3,17 +3,11 @@
 
 include doc/webcruft/Paje_MSG_screenshot.jpg
 include doc/webcruft/Paje_MSG_screenshot_thn.jpg
-include doc/webcruft/SGicon.gif
-include doc/webcruft/SGicon.icns
-include doc/webcruft/SGicon.ico
-include doc/webcruft/awstats_logo3.png
 include doc/webcruft/eclipseScreenShot.png
 include doc/webcruft/output.goal.pdf
-include doc/webcruft/poster_thumbnail.png
 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
@@ -133,6 +127,216 @@ 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/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
+include examples/cpp/actor-daemon/s4u-actor-daemon.cpp
+include examples/cpp/actor-daemon/s4u-actor-daemon.tesh
+include examples/cpp/actor-exiting/s4u-actor-exiting.cpp
+include examples/cpp/actor-exiting/s4u-actor-exiting.tesh
+include examples/cpp/actor-join/s4u-actor-join.cpp
+include examples/cpp/actor-join/s4u-actor-join.tesh
+include examples/cpp/actor-kill/s4u-actor-kill.cpp
+include examples/cpp/actor-kill/s4u-actor-kill.tesh
+include examples/cpp/actor-lifetime/s4u-actor-lifetime.cpp
+include examples/cpp/actor-lifetime/s4u-actor-lifetime.tesh
+include examples/cpp/actor-lifetime/s4u-actor-lifetime_d.xml
+include examples/cpp/actor-migrate/s4u-actor-migrate.cpp
+include examples/cpp/actor-migrate/s4u-actor-migrate.tesh
+include examples/cpp/actor-stacksize/s4u-actor-stacksize.cpp
+include examples/cpp/actor-stacksize/s4u-actor-stacksize.tesh
+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
+include examples/cpp/app-bittorrent/s4u-bittorrent.hpp
+include examples/cpp/app-bittorrent/s4u-peer.cpp
+include examples/cpp/app-bittorrent/s4u-peer.hpp
+include examples/cpp/app-bittorrent/s4u-tracker.cpp
+include examples/cpp/app-bittorrent/s4u-tracker.hpp
+include examples/cpp/app-chainsend/s4u-app-chainsend.cpp
+include examples/cpp/app-chainsend/s4u-app-chainsend.tesh
+include examples/cpp/app-masterworkers/s4u-app-masterworkers-class.cpp
+include examples/cpp/app-masterworkers/s4u-app-masterworkers-fun.cpp
+include examples/cpp/app-masterworkers/s4u-app-masterworkers.tesh
+include examples/cpp/app-masterworkers/s4u-app-masterworkers_d.xml
+include examples/cpp/app-token-ring/s4u-app-token-ring.cpp
+include examples/cpp/app-token-ring/s4u-app-token-ring.tesh
+include examples/cpp/cloud-capping/s4u-cloud-capping.cpp
+include examples/cpp/cloud-capping/s4u-cloud-capping.tesh
+include examples/cpp/cloud-migration/s4u-cloud-migration.cpp
+include examples/cpp/cloud-migration/s4u-cloud-migration.tesh
+include examples/cpp/cloud-simple/s4u-cloud-simple.cpp
+include examples/cpp/cloud-simple/s4u-cloud-simple.tesh
+include examples/cpp/comm-dependent/s4u-comm-dependent.cpp
+include examples/cpp/comm-dependent/s4u-comm-dependent.tesh
+include examples/cpp/comm-host2host/s4u-comm-host2host.cpp
+include examples/cpp/comm-host2host/s4u-comm-host2host.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-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-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/dht-chord/s4u-dht-chord-node.cpp
+include examples/cpp/dht-chord/s4u-dht-chord.cpp
+include examples/cpp/dht-chord/s4u-dht-chord.hpp
+include examples/cpp/dht-chord/s4u-dht-chord.tesh
+include examples/cpp/dht-chord/s4u-dht-chord_d.xml
+include examples/cpp/dht-kademlia/answer.cpp
+include examples/cpp/dht-kademlia/answer.hpp
+include examples/cpp/dht-kademlia/generate.py
+include examples/cpp/dht-kademlia/message.hpp
+include examples/cpp/dht-kademlia/node.cpp
+include examples/cpp/dht-kademlia/node.hpp
+include examples/cpp/dht-kademlia/routing_table.cpp
+include examples/cpp/dht-kademlia/routing_table.hpp
+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
+include examples/cpp/energy-exec-ptask/s4u-energy-exec-ptask.tesh
+include examples/cpp/energy-exec/s4u-energy-exec.cpp
+include examples/cpp/energy-exec/s4u-energy-exec.tesh
+include examples/cpp/energy-link/s4u-energy-link.cpp
+include examples/cpp/energy-link/s4u-energy-link.tesh
+include examples/cpp/energy-vm/s4u-energy-vm.cpp
+include examples/cpp/energy-vm/s4u-energy-vm.tesh
+include examples/cpp/energy-wifi/s4u-energy-wifi.cpp
+include examples/cpp/energy-wifi/s4u-energy-wifi.tesh
+include examples/cpp/engine-filtering/s4u-engine-filtering.cpp
+include examples/cpp/engine-filtering/s4u-engine-filtering.tesh
+include examples/cpp/exec-async/s4u-exec-async.cpp
+include examples/cpp/exec-async/s4u-exec-async.tesh
+include examples/cpp/exec-basic/s4u-exec-basic.cpp
+include examples/cpp/exec-basic/s4u-exec-basic.tesh
+include examples/cpp/exec-dependent/s4u-exec-dependent.cpp
+include examples/cpp/exec-dependent/s4u-exec-dependent.tesh
+include examples/cpp/exec-dvfs/s4u-exec-dvfs.cpp
+include examples/cpp/exec-dvfs/s4u-exec-dvfs.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-unassigned/s4u-exec-unassigned.cpp
+include examples/cpp/exec-unassigned/s4u-exec-unassigned.tesh
+include examples/cpp/exec-waitany/s4u-exec-waitany.cpp
+include examples/cpp/exec-waitany/s4u-exec-waitany.tesh
+include examples/cpp/exec-waitfor/s4u-exec-waitfor.cpp
+include examples/cpp/exec-waitfor/s4u-exec-waitfor.tesh
+include examples/cpp/io-async/s4u-io-async.cpp
+include examples/cpp/io-async/s4u-io-async.tesh
+include examples/cpp/io-dependent/s4u-io-dependent.cpp
+include examples/cpp/io-dependent/s4u-io-dependent.tesh
+include examples/cpp/io-disk-raw/s4u-io-disk-raw.cpp
+include examples/cpp/io-disk-raw/s4u-io-disk-raw.tesh
+include examples/cpp/io-file-remote/s4u-io-file-remote.cpp
+include examples/cpp/io-file-remote/s4u-io-file-remote.tesh
+include examples/cpp/io-file-remote/s4u-io-file-remote_d.xml
+include examples/cpp/io-file-system/s4u-io-file-system.cpp
+include examples/cpp/io-file-system/s4u-io-file-system.tesh
+include examples/cpp/maestro-set/s4u-maestro-set.cpp
+include examples/cpp/maestro-set/s4u-maestro-set.tesh
+include examples/cpp/mc-bugged1-liveness/promela_bugged1_liveness
+include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner
+include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh
+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/s4u-mc-bugged2.cpp
+include examples/cpp/mc-bugged2/s4u-mc-bugged2.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
+include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh
+include examples/cpp/network-ns3-wifi/s4u-network-ns3-wifi.cpp
+include examples/cpp/network-ns3-wifi/s4u-network-ns3-wifi.tesh
+include examples/cpp/network-ns3/3hosts_2links_d.xml
+include examples/cpp/network-ns3/3links-timer_d.xml
+include examples/cpp/network-ns3/3links_d.xml
+include examples/cpp/network-ns3/crosstraffic_d.xml
+include examples/cpp/network-ns3/dogbone_d.xml
+include examples/cpp/network-ns3/one_cluster_d.xml
+include examples/cpp/network-ns3/onelink_d.xml
+include examples/cpp/network-ns3/s4u-network-ns3.cpp
+include examples/cpp/network-ns3/s4u-network-ns3.tesh
+include examples/cpp/network-wifi/s4u-network-wifi.cpp
+include examples/cpp/network-wifi/s4u-network-wifi.tesh
+include examples/cpp/platform-failures/s4u-platform-failures.cpp
+include examples/cpp/platform-failures/s4u-platform-failures.tesh
+include examples/cpp/platform-failures/s4u-platform-failures_d.xml
+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
+include examples/cpp/plugin-link-load/s4u-plugin-link-load.tesh
+include examples/cpp/replay-comm/s4u-replay-comm-split-p0.txt
+include examples/cpp/replay-comm/s4u-replay-comm-split-p1.txt
+include examples/cpp/replay-comm/s4u-replay-comm-split_d.xml
+include examples/cpp/replay-comm/s4u-replay-comm.cpp
+include examples/cpp/replay-comm/s4u-replay-comm.tesh
+include examples/cpp/replay-comm/s4u-replay-comm.txt
+include examples/cpp/replay-comm/s4u-replay-comm_d.xml
+include examples/cpp/replay-io/s4u-replay-io.cpp
+include examples/cpp/replay-io/s4u-replay-io.tesh
+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-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-synchro-mutex.cpp
+include examples/cpp/synchro-mutex/s4u-synchro-mutex.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
+include examples/cpp/trace-categories/s4u-trace-categories.tesh
+include examples/cpp/trace-host-user-variables/s4u-trace-host-user-variables.cpp
+include examples/cpp/trace-host-user-variables/s4u-trace-host-user-variables.tesh
+include examples/cpp/trace-link-user-variables/s4u-trace-link-user-variables.cpp
+include examples/cpp/trace-link-user-variables/s4u-trace-link-user-variables.tesh
+include examples/cpp/trace-masterworkers/s4u-trace-masterworkers.cpp
+include examples/cpp/trace-masterworkers/s4u-trace-masterworkers.tesh
+include examples/cpp/trace-platform/s4u-trace-platform.cpp
+include examples/cpp/trace-platform/s4u-trace-platform.tesh
+include examples/cpp/trace-process-migration/s4u-trace-process-migration.cpp
+include examples/cpp/trace-process-migration/s4u-trace-process-migration.tesh
+include examples/cpp/trace-route-user-variables/s4u-trace-route-user-variables.cpp
+include examples/cpp/trace-route-user-variables/s4u-trace-route-user-variables.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
@@ -310,212 +514,6 @@ include examples/python/exec-dvfs/exec-dvfs.py
 include examples/python/exec-dvfs/exec-dvfs.tesh
 include examples/python/exec-remote/exec-remote.py
 include examples/python/exec-remote/exec-remote.tesh
-include examples/s4u/actor-create/s4u-actor-create.cpp
-include examples/s4u/actor-create/s4u-actor-create.tesh
-include examples/s4u/actor-create/s4u-actor-create_d.xml
-include examples/s4u/actor-daemon/s4u-actor-daemon.cpp
-include examples/s4u/actor-daemon/s4u-actor-daemon.tesh
-include examples/s4u/actor-exiting/s4u-actor-exiting.cpp
-include examples/s4u/actor-exiting/s4u-actor-exiting.tesh
-include examples/s4u/actor-join/s4u-actor-join.cpp
-include examples/s4u/actor-join/s4u-actor-join.tesh
-include examples/s4u/actor-kill/s4u-actor-kill.cpp
-include examples/s4u/actor-kill/s4u-actor-kill.tesh
-include examples/s4u/actor-lifetime/s4u-actor-lifetime.cpp
-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
-include examples/s4u/actor-yield/s4u-actor-yield.tesh
-include examples/s4u/actor-yield/s4u-actor-yield_d.xml
-include examples/s4u/app-bittorrent/s4u-app-bittorrent.tesh
-include examples/s4u/app-bittorrent/s4u-app-bittorrent_d.xml
-include examples/s4u/app-bittorrent/s4u-bittorrent.cpp
-include examples/s4u/app-bittorrent/s4u-bittorrent.hpp
-include examples/s4u/app-bittorrent/s4u-peer.cpp
-include examples/s4u/app-bittorrent/s4u-peer.hpp
-include examples/s4u/app-bittorrent/s4u-tracker.cpp
-include examples/s4u/app-bittorrent/s4u-tracker.hpp
-include examples/s4u/app-chainsend/s4u-app-chainsend.cpp
-include examples/s4u/app-chainsend/s4u-app-chainsend.tesh
-include examples/s4u/app-masterworkers/s4u-app-masterworkers-class.cpp
-include examples/s4u/app-masterworkers/s4u-app-masterworkers-fun.cpp
-include examples/s4u/app-masterworkers/s4u-app-masterworkers.tesh
-include examples/s4u/app-masterworkers/s4u-app-masterworkers_d.xml
-include examples/s4u/app-token-ring/s4u-app-token-ring.cpp
-include examples/s4u/app-token-ring/s4u-app-token-ring.tesh
-include examples/s4u/cloud-capping/s4u-cloud-capping.cpp
-include examples/s4u/cloud-capping/s4u-cloud-capping.tesh
-include examples/s4u/cloud-migration/s4u-cloud-migration.cpp
-include examples/s4u/cloud-migration/s4u-cloud-migration.tesh
-include examples/s4u/cloud-simple/s4u-cloud-simple.cpp
-include examples/s4u/cloud-simple/s4u-cloud-simple.tesh
-include examples/s4u/comm-dependent/s4u-comm-dependent.cpp
-include examples/s4u/comm-dependent/s4u-comm-dependent.tesh
-include examples/s4u/comm-host2host/s4u-comm-host2host.cpp
-include examples/s4u/comm-host2host/s4u-comm-host2host.tesh
-include examples/s4u/comm-pingpong/s4u-comm-pingpong.cpp
-include examples/s4u/comm-pingpong/s4u-comm-pingpong.tesh
-include examples/s4u/comm-pingpong/simix-breakpoint.tesh
-include examples/s4u/comm-ready/s4u-comm-ready.cpp
-include examples/s4u/comm-ready/s4u-comm-ready.tesh
-include examples/s4u/comm-ready/s4u-comm-ready_d.xml
-include examples/s4u/comm-suspend/s4u-comm-suspend.cpp
-include examples/s4u/comm-suspend/s4u-comm-suspend.tesh
-include examples/s4u/comm-suspend/s4u-comm-suspend_d.xml
-include examples/s4u/comm-wait/s4u-comm-wait.cpp
-include examples/s4u/comm-wait/s4u-comm-wait.tesh
-include examples/s4u/comm-wait/s4u-comm-wait_d.xml
-include examples/s4u/comm-waitall/s4u-comm-waitall.cpp
-include examples/s4u/comm-waitall/s4u-comm-waitall.tesh
-include examples/s4u/comm-waitall/s4u-comm-waitall_d.xml
-include examples/s4u/comm-waitany/s4u-comm-waitany.cpp
-include examples/s4u/comm-waitany/s4u-comm-waitany.tesh
-include examples/s4u/comm-waitany/s4u-comm-waitany_d.xml
-include examples/s4u/comm-waituntil/s4u-comm-waituntil.cpp
-include examples/s4u/comm-waituntil/s4u-comm-waituntil.tesh
-include examples/s4u/comm-waituntil/s4u-comm-waituntil_d.xml
-include examples/s4u/dht-chord/s4u-dht-chord-node.cpp
-include examples/s4u/dht-chord/s4u-dht-chord.cpp
-include examples/s4u/dht-chord/s4u-dht-chord.hpp
-include examples/s4u/dht-chord/s4u-dht-chord.tesh
-include examples/s4u/dht-chord/s4u-dht-chord_d.xml
-include examples/s4u/dht-kademlia/answer.cpp
-include examples/s4u/dht-kademlia/answer.hpp
-include examples/s4u/dht-kademlia/generate.py
-include examples/s4u/dht-kademlia/message.hpp
-include examples/s4u/dht-kademlia/node.cpp
-include examples/s4u/dht-kademlia/node.hpp
-include examples/s4u/dht-kademlia/routing_table.cpp
-include examples/s4u/dht-kademlia/routing_table.hpp
-include examples/s4u/dht-kademlia/s4u-dht-kademlia.cpp
-include examples/s4u/dht-kademlia/s4u-dht-kademlia.hpp
-include examples/s4u/dht-kademlia/s4u-dht-kademlia.tesh
-include examples/s4u/dht-kademlia/s4u-dht-kademlia_d.xml
-include examples/s4u/energy-boot/platform_boot.xml
-include examples/s4u/energy-boot/s4u-energy-boot.cpp
-include examples/s4u/energy-boot/s4u-energy-boot.tesh
-include examples/s4u/energy-exec-ptask/s4u-energy-exec-ptask.cpp
-include examples/s4u/energy-exec-ptask/s4u-energy-exec-ptask.tesh
-include examples/s4u/energy-exec/s4u-energy-exec.cpp
-include examples/s4u/energy-exec/s4u-energy-exec.tesh
-include examples/s4u/energy-link/s4u-energy-link.cpp
-include examples/s4u/energy-link/s4u-energy-link.tesh
-include examples/s4u/energy-vm/s4u-energy-vm.cpp
-include examples/s4u/energy-vm/s4u-energy-vm.tesh
-include examples/s4u/energy-wifi/s4u-energy-wifi.cpp
-include examples/s4u/energy-wifi/s4u-energy-wifi.tesh
-include examples/s4u/engine-filtering/s4u-engine-filtering.cpp
-include examples/s4u/engine-filtering/s4u-engine-filtering.tesh
-include examples/s4u/exec-async/s4u-exec-async.cpp
-include examples/s4u/exec-async/s4u-exec-async.tesh
-include examples/s4u/exec-basic/s4u-exec-basic.cpp
-include examples/s4u/exec-basic/s4u-exec-basic.tesh
-include examples/s4u/exec-dependent/s4u-exec-dependent.cpp
-include examples/s4u/exec-dependent/s4u-exec-dependent.tesh
-include examples/s4u/exec-dvfs/s4u-exec-dvfs.cpp
-include examples/s4u/exec-dvfs/s4u-exec-dvfs.tesh
-include examples/s4u/exec-ptask/s4u-exec-ptask.cpp
-include examples/s4u/exec-ptask/s4u-exec-ptask.tesh
-include examples/s4u/exec-remote/s4u-exec-remote.cpp
-include examples/s4u/exec-remote/s4u-exec-remote.tesh
-include examples/s4u/exec-waitany/s4u-exec-waitany.cpp
-include examples/s4u/exec-waitany/s4u-exec-waitany.tesh
-include examples/s4u/exec-waitfor/s4u-exec-waitfor.cpp
-include examples/s4u/exec-waitfor/s4u-exec-waitfor.tesh
-include examples/s4u/io-async/s4u-io-async.cpp
-include examples/s4u/io-async/s4u-io-async.tesh
-include examples/s4u/io-dependent/s4u-io-dependent.cpp
-include examples/s4u/io-dependent/s4u-io-dependent.tesh
-include examples/s4u/io-disk-raw/s4u-io-disk-raw.cpp
-include examples/s4u/io-disk-raw/s4u-io-disk-raw.tesh
-include examples/s4u/io-file-remote/s4u-io-file-remote.cpp
-include examples/s4u/io-file-remote/s4u-io-file-remote.tesh
-include examples/s4u/io-file-remote/s4u-io-file-remote_d.xml
-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-wifi/s4u-network-ns3-wifi.cpp
-include examples/s4u/network-ns3-wifi/s4u-network-ns3-wifi.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/network-wifi/s4u-network-wifi.cpp
-include examples/s4u/network-wifi/s4u-network-wifi.tesh
-include examples/s4u/platform-failures/s4u-platform-failures.cpp
-include examples/s4u/platform-failures/s4u-platform-failures.tesh
-include examples/s4u/platform-failures/s4u-platform-failures_d.xml
-include examples/s4u/platform-profile/s4u-platform-profile.cpp
-include examples/s4u/platform-profile/s4u-platform-profile.tesh
-include examples/s4u/platform-properties/s4u-platform-properties.cpp
-include examples/s4u/platform-properties/s4u-platform-properties.tesh
-include examples/s4u/platform-properties/s4u-platform-properties_d.xml
-include examples/s4u/plugin-host-load/s4u-plugin-host-load.cpp
-include examples/s4u/plugin-host-load/s4u-plugin-host-load.tesh
-include examples/s4u/plugin-link-load/s4u-plugin-link-load.cpp
-include examples/s4u/plugin-link-load/s4u-plugin-link-load.tesh
-include examples/s4u/replay-comm/s4u-replay-comm-split-p0.txt
-include examples/s4u/replay-comm/s4u-replay-comm-split-p1.txt
-include examples/s4u/replay-comm/s4u-replay-comm-split_d.xml
-include examples/s4u/replay-comm/s4u-replay-comm.cpp
-include examples/s4u/replay-comm/s4u-replay-comm.tesh
-include examples/s4u/replay-comm/s4u-replay-comm.txt
-include examples/s4u/replay-comm/s4u-replay-comm_d.xml
-include examples/s4u/replay-io/s4u-replay-io.cpp
-include examples/s4u/replay-io/s4u-replay-io.tesh
-include examples/s4u/replay-io/s4u-replay-io.txt
-include examples/s4u/replay-io/s4u-replay-io_d.xml
-include examples/s4u/routing-get-clusters/s4u-routing-get-clusters.cpp
-include examples/s4u/routing-get-clusters/s4u-routing-get-clusters.tesh
-include examples/s4u/synchro-barrier/s4u-synchro-barrier.cpp
-include examples/s4u/synchro-barrier/s4u-synchro-barrier.tesh
-include examples/s4u/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.cpp
-include examples/s4u/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh
-include examples/s4u/synchro-condition-variable/s4u-synchro-condition-variable.cpp
-include examples/s4u/synchro-condition-variable/s4u-synchro-condition-variable.tesh
-include examples/s4u/synchro-mutex/s4u-synchro-mutex.cpp
-include examples/s4u/synchro-mutex/s4u-synchro-mutex.tesh
-include examples/s4u/synchro-semaphore/s4u-synchro-semaphore.cpp
-include examples/s4u/synchro-semaphore/s4u-synchro-semaphore.tesh
-include examples/s4u/trace-categories/s4u-trace-categories.cpp
-include examples/s4u/trace-categories/s4u-trace-categories.tesh
-include examples/s4u/trace-host-user-variables/s4u-trace-host-user-variables.cpp
-include examples/s4u/trace-host-user-variables/s4u-trace-host-user-variables.tesh
-include examples/s4u/trace-link-user-variables/s4u-trace-link-user-variables.cpp
-include examples/s4u/trace-link-user-variables/s4u-trace-link-user-variables.tesh
-include examples/s4u/trace-masterworkers/s4u-trace-masterworkers.cpp
-include examples/s4u/trace-masterworkers/s4u-trace-masterworkers.tesh
-include examples/s4u/trace-platform/s4u-trace-platform.cpp
-include examples/s4u/trace-platform/s4u-trace-platform.tesh
-include examples/s4u/trace-process-migration/s4u-trace-process-migration.cpp
-include examples/s4u/trace-process-migration/s4u-trace-process-migration.tesh
-include examples/s4u/trace-route-user-variables/s4u-trace-route-user-variables.cpp
-include examples/s4u/trace-route-user-variables/s4u-trace-route-user-variables.tesh
 include examples/smpi/NAS/DGraph.c
 include examples/smpi/NAS/DGraph.h
 include examples/smpi/NAS/README.install
@@ -570,7 +568,7 @@ include examples/smpi/replay/split_traces
 include examples/smpi/replay_multiple/README
 include examples/smpi/replay_multiple/description_file
 include examples/smpi/replay_multiple/generate_multiple_deployment.sh
-include examples/smpi/replay_multiple/replay_multiple.c
+include examples/smpi/replay_multiple/replay_multiple.cpp
 include examples/smpi/replay_multiple/replay_multiple.tesh
 include examples/smpi/replay_multiple/smpi_replay.txt
 include examples/smpi/replay_multiple/ti_traces_32_1/ti_trace0.txt
@@ -635,6 +633,8 @@ include examples/smpi/replay_multiple_manual_deploy/workload_compute_consecutive
 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/simple-execute/simple-execute.c
+include examples/smpi/simple-execute/simple-execute.tesh
 include examples/smpi/smpi_s4u_masterworker/deployment_masterworker_mailbox_smpi.xml
 include examples/smpi/smpi_s4u_masterworker/masterworker_mailbox_smpi.cpp
 include examples/smpi/smpi_s4u_masterworker/s4u_smpi.tesh
@@ -654,6 +654,10 @@ 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/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
 include teshsuite/mc/dwarf-expression/dwarf-expression.tesh
 include teshsuite/mc/dwarf/dwarf.cpp
@@ -665,6 +669,14 @@ 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/models/cloud-sharing/cloud-sharing.cpp
+include teshsuite/models/cloud-sharing/cloud-sharing.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
+include teshsuite/models/wifi_usage/wifi_usage.tesh
+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/python/borken-context/borken-context.py
@@ -677,6 +689,7 @@ 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_comm_direct.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
@@ -689,10 +702,12 @@ 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/basic-parsing-test/basic-parsing-test-bypass.tesh
+include teshsuite/s4u/basic-parsing-test/basic-parsing-test-sym-full.tesh
+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-sharing/cloud-sharing.cpp
-include teshsuite/s4u/cloud-sharing/cloud-sharing.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-get-sender/comm-get-sender.cpp
@@ -741,40 +756,6 @@ 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-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
-include teshsuite/simdag/basic-parsing-test/basic-parsing-test.tesh
-include teshsuite/simdag/basic0/basic0.c
-include teshsuite/simdag/basic0/basic0.tesh
-include teshsuite/simdag/basic1/basic1.c
-include teshsuite/simdag/basic1/basic1.tesh
-include teshsuite/simdag/basic3/basic3.c
-include teshsuite/simdag/basic3/basic3.tesh
-include teshsuite/simdag/basic4/basic4.c
-include teshsuite/simdag/basic4/basic4.tesh
-include teshsuite/simdag/basic5/basic5.c
-include teshsuite/simdag/basic5/basic5.tesh
-include teshsuite/simdag/basic6/basic6.c
-include teshsuite/simdag/basic6/basic6.tesh
-include teshsuite/simdag/comm-mxn-all2all/comm-mxn-all2all.c
-include teshsuite/simdag/comm-mxn-all2all/comm-mxn-all2all.tesh
-include teshsuite/simdag/comm-mxn-independent/comm-mxn-independent.c
-include teshsuite/simdag/comm-mxn-independent/comm-mxn-independent.tesh
-include teshsuite/simdag/comm-mxn-scatter/comm-mxn-scatter.c
-include teshsuite/simdag/comm-mxn-scatter/comm-mxn-scatter.tesh
-include teshsuite/simdag/comm-p2p-latency-1/comm-p2p-latency-1.c
-include teshsuite/simdag/comm-p2p-latency-1/comm-p2p-latency-1.tesh
-include teshsuite/simdag/comm-p2p-latency-2/comm-p2p-latency-2.c
-include teshsuite/simdag/comm-p2p-latency-2/comm-p2p-latency-2.tesh
-include teshsuite/simdag/comm-p2p-latency-3/comm-p2p-latency-3.c
-include teshsuite/simdag/comm-p2p-latency-3/comm-p2p-latency-3.tesh
-include teshsuite/simdag/comm-p2p-latency-bound/comm-p2p-latency-bound.c
-include teshsuite/simdag/comm-p2p-latency-bound/comm-p2p-latency-bound.tesh
-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/flatifier/bogus_missing_gateway.tesh
 include teshsuite/simdag/flatifier/bogus_two_hosts_asymetric.tesh
 include teshsuite/simdag/flatifier/flatifier.cpp
@@ -798,12 +779,6 @@ 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/platform_2p_1bb.xml
-include teshsuite/simdag/platforms/platform_2p_1fl.xml
-include teshsuite/simdag/platforms/platform_2p_1sl.xml
-include teshsuite/simdag/platforms/platform_2p_1sl_hetero.xml
-include teshsuite/simdag/platforms/platform_2p_1switch.xml
-include teshsuite/simdag/platforms/platform_4p_1switch.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
@@ -813,10 +788,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/generic-simcalls/generic-simcalls.cpp
-include teshsuite/simix/generic-simcalls/generic-simcalls.tesh
-include teshsuite/simix/stack-overflow/stack-overflow.cpp
-include teshsuite/simix/stack-overflow/stack-overflow.tesh
 include teshsuite/smpi/auto-shared/auto-shared.c
 include teshsuite/smpi/auto-shared/auto-shared.tesh
 include teshsuite/smpi/bug-17132/bug-17132.c
@@ -825,8 +796,12 @@ include teshsuite/smpi/coll-allgather/coll-allgather.c
 include teshsuite/smpi/coll-allgather/coll-allgather.tesh
 include teshsuite/smpi/coll-allgatherv/coll-allgatherv.c
 include teshsuite/smpi/coll-allgatherv/coll-allgatherv.tesh
+include teshsuite/smpi/coll-allreduce-with-leaks/coll-allreduce-with-leaks.c
+include teshsuite/smpi/coll-allreduce-with-leaks/coll-allreduce-with-leaks.tesh
+include teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh
 include teshsuite/smpi/coll-allreduce/coll-allreduce-automatic.tesh
 include teshsuite/smpi/coll-allreduce/coll-allreduce-large.tesh
+include teshsuite/smpi/coll-allreduce/coll-allreduce-papi.tesh
 include teshsuite/smpi/coll-allreduce/coll-allreduce.c
 include teshsuite/smpi/coll-allreduce/coll-allreduce.tesh
 include teshsuite/smpi/coll-alltoall/clusters.tesh
@@ -1705,10 +1680,6 @@ include teshsuite/surf/surf_usage/surf_usage.cpp
 include teshsuite/surf/surf_usage/surf_usage.tesh
 include teshsuite/surf/surf_usage2/surf_usage2.cpp
 include teshsuite/surf/surf_usage2/surf_usage2.tesh
-include teshsuite/surf/wifi_usage/wifi_usage.cpp
-include teshsuite/surf/wifi_usage/wifi_usage.tesh
-include teshsuite/surf/wifi_usage_decay/wifi_usage_decay.cpp
-include teshsuite/surf/wifi_usage_decay/wifi_usage_decay.tesh
 include teshsuite/xbt/cmdline/cmdline.c
 include teshsuite/xbt/cmdline/cmdline.tesh
 include teshsuite/xbt/log_large/log_large.c
@@ -1808,20 +1779,24 @@ include docs/manpages/smpirun.1
 include docs/manpages/tesh.pod
 include docs/requirements.txt
 include docs/source/Configuring_SimGrid.rst
-include docs/source/Deploying_your_Application.rst
+include docs/source/Deploying_your_application.rst
+include docs/source/Design_goals.rst
 include docs/source/Doxyfile
-include docs/source/Experimental_Setup.rst
+include docs/source/Experimental_setup.rst
 include docs/source/Installing_SimGrid.rst
 include docs/source/Introduction.rst
-include docs/source/Platform_Examples.rst
-include docs/source/Platform_Routing.rst
+include docs/source/Models.rst
+include docs/source/Outcomes.rst
+include docs/source/Platform.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/Start_Your_Own_Project.rst
+include docs/source/Start_your_own_project.rst
 include docs/source/The_XBT_toolbox.rst
 include docs/source/Tutorial_Algorithms.rst
 include docs/source/Tutorial_MPI_Applications.rst
-include docs/source/XML_Reference.rst
-include docs/source/_ext/autodoxy.py
+include docs/source/XML_reference.rst
 include docs/source/_ext/javasphinx/LICENSE
 include docs/source/_ext/javasphinx/MANIFEST.in
 include docs/source/_ext/javasphinx/README.md
@@ -1855,11 +1830,6 @@ include docs/source/img/smpi_simgrid_alltoall_pair_16.png
 include docs/source/img/smpi_simgrid_alltoall_ring_16.png
 include docs/source/img/zone_hierarchy.png
 include docs/source/index.rst
-include docs/source/models.rst
-include docs/source/ns3.rst
-include docs/source/outcomes.rst
-include docs/source/platform.rst
-include docs/source/platform_howtos.rst
 include docs/source/tuto_s4u/deployment1.xml
 include docs/source/tuto_s4u/deployment2.xml
 include docs/source/tuto_s4u/deployment3.xml
@@ -1882,6 +1852,7 @@ 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/cpp/CMakeLists.txt
 include examples/deprecated/java/CMakeLists.txt
 include examples/deprecated/msg/mc/CMakeLists.txt
 include examples/deprecated/simdag/CMakeLists.txt
@@ -1932,6 +1903,7 @@ include examples/platforms/profiles/trace_A.txt
 include examples/platforms/profiles/trace_A_failure.txt
 include examples/platforms/profiles/trace_B.txt
 include examples/platforms/prop.xml
+include examples/platforms/ptask_L07.xml
 include examples/platforms/routing_cluster.lua
 include examples/platforms/routing_cluster.xml
 include examples/platforms/routing_none.xml
@@ -1966,7 +1938,6 @@ 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/s4u/CMakeLists.txt
 include examples/smpi/CMakeLists.txt
 include examples/smpi/NAS/CMakeLists.txt
 include examples/smpi/mc/non_deterministic.tesh
@@ -2040,7 +2011,7 @@ include include/simgrid/simdag.h
 include include/simgrid/simix.h
 include include/simgrid/simix.hpp
 include include/simgrid/simix/blocking_simcall.hpp
-include include/simgrid/smpi/replay.hpp
+include include/simgrid/smpi/smpi_replay.hpp
 include include/simgrid/version.h.in
 include include/simgrid/vm.h
 include include/simgrid/zone.h
@@ -2070,7 +2041,6 @@ include include/xbt/ex.h
 include include/xbt/file.hpp
 include include/xbt/function_types.h
 include include/xbt/functional.hpp
-include include/xbt/future.hpp
 include include/xbt/graph.h
 include include/xbt/log.h
 include include/xbt/log.hpp
@@ -2079,6 +2049,7 @@ include include/xbt/misc.h
 include include/xbt/module.h
 include include/xbt/parmap.h
 include include/xbt/parse_units.hpp
+include include/xbt/promise.hpp
 include include/xbt/random.hpp
 include include/xbt/range.hpp
 include include/xbt/replay.hpp
@@ -2258,7 +2229,8 @@ 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/SimcallInspector.hpp
+include src/mc/checker/SimcallObserver.cpp
+include src/mc/checker/SimcallObserver.hpp
 include src/mc/checker/UdporChecker.cpp
 include src/mc/checker/UdporChecker.hpp
 include src/mc/checker/simgrid_mc.cpp
@@ -2282,7 +2254,7 @@ include src/mc/inspect/mc_unw.cpp
 include src/mc/inspect/mc_unw.hpp
 include src/mc/inspect/mc_unw_vmread.cpp
 include src/mc/mc_base.cpp
-include src/mc/mc_base.h
+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
@@ -2299,11 +2271,8 @@ include src/mc/mc_private.hpp
 include src/mc/mc_record.cpp
 include src/mc/mc_record.hpp
 include src/mc/mc_replay.hpp
-include src/mc/mc_request.cpp
-include src/mc/mc_request.hpp
 include src/mc/mc_safety.hpp
 include src/mc/mc_smx.cpp
-include src/mc/mc_smx.hpp
 include src/mc/mc_state.cpp
 include src/mc/mc_state.hpp
 include src/mc/remote/AppSide.cpp
@@ -2312,10 +2281,9 @@ include src/mc/remote/Channel.cpp
 include src/mc/remote/Channel.hpp
 include src/mc/remote/CheckerSide.cpp
 include src/mc/remote/CheckerSide.hpp
+include src/mc/remote/RemoteProcess.cpp
+include src/mc/remote/RemoteProcess.hpp
 include src/mc/remote/RemotePtr.hpp
-include src/mc/remote/RemoteSimulation.cpp
-include src/mc/remote/RemoteSimulation.hpp
-include src/mc/remote/mc_protocol.cpp
 include src/mc/remote/mc_protocol.h
 include src/mc/sosp/ChunkedData.cpp
 include src/mc/sosp/ChunkedData.hpp
@@ -2679,11 +2647,11 @@ 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/python/CMakeLists.txt
 include teshsuite/s4u/CMakeLists.txt
 include teshsuite/simdag/CMakeLists.txt
-include teshsuite/simix/CMakeLists.txt
 include teshsuite/smpi/CMakeLists.txt
 include teshsuite/smpi/isp/umpire/CMakeLists.txt
 include teshsuite/smpi/mpich3-test/CMakeLists.txt