Use std::fill instead of memset.

[simgrid.git] / MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 530dbf1..31e9756 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -180,9 +180,9 @@ 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-serialize/s4u-comm-serialize.cpp
@@ -275,6 +275,8 @@ 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
@@ -314,6 +316,8 @@ 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-nodpor.tesh
+include examples/cpp/mc-failing-assert/s4u-mc-failing-assert-statequality.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-factors/s4u-network-factors.cpp
@@ -359,6 +363,7 @@ 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
@@ -368,6 +373,7 @@ include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.t
 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
@@ -517,12 +523,34 @@ 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
@@ -531,6 +559,8 @@ include examples/python/exec-cpu-nonlinear/exec-cpu-nonlinear.py
 include examples/python/exec-cpu-nonlinear/exec-cpu-nonlinear.tesh
 include examples/python/exec-dvfs/exec-dvfs.py
 include examples/python/exec-dvfs/exec-dvfs.tesh
+include examples/python/exec-ptask/exec-ptask.py
+include examples/python/exec-ptask/exec-ptask.tesh
 include examples/python/exec-remote/exec-remote.py
 include examples/python/exec-remote/exec-remote.tesh
 include examples/python/io-degradation/io-degradation.py
@@ -541,6 +571,12 @@ 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
@@ -575,6 +611,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
@@ -677,6 +714,9 @@ 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 examples/sthread/pthread-mutex-simple.c
+include examples/sthread/pthread-mutex-simple.tesh
+include examples/sthread/sthread-mutex-simple.c
 include src/include/catch_simgrid.hpp
 include teshsuite/java/semaphoregc/SemaphoreGC.java
 include teshsuite/java/semaphoregc/semaphoregc.tesh
@@ -702,8 +742,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
@@ -775,11 +820,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
@@ -806,7 +855,11 @@ 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
@@ -840,6 +893,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/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
@@ -859,7 +940,6 @@ include teshsuite/smpi/coll-allreduce/coll-allreduce.tesh
 include teshsuite/smpi/coll-alltoall/clusters.tesh
 include teshsuite/smpi/coll-alltoall/coll-alltoall.c
 include teshsuite/smpi/coll-alltoall/coll-alltoall.tesh
-include teshsuite/smpi/coll-alltoall/griffon.tesh
 include teshsuite/smpi/coll-alltoallv/coll-alltoallv.c
 include teshsuite/smpi/coll-alltoallv/coll-alltoallv.tesh
 include teshsuite/smpi/coll-barrier/coll-barrier.c
@@ -897,155 +977,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
@@ -2020,6 +1951,9 @@ 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
@@ -2042,10 +1976,10 @@ 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
+include examples/sthread/CMakeLists.txt
 include include/simgrid/Exception.hpp
 include include/simgrid/actor.h
 include include/simgrid/barrier.h
@@ -2127,6 +2061,7 @@ include include/xbt.h
 include include/xbt/Extendable.hpp
 include include/xbt/PropertyHolder.hpp
 include include/xbt/asserts.h
+include include/xbt/asserts.hpp
 include include/xbt/automaton.h
 include include/xbt/automaton.hpp
 include include/xbt/backtrace.hpp
@@ -2237,6 +2172,8 @@ 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
@@ -2259,6 +2196,8 @@ 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
@@ -2275,7 +2214,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/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
@@ -2284,9 +2229,10 @@ 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.cpp
 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
@@ -2298,8 +2244,6 @@ include src/kernel/resource/VirtualMachineImpl.cpp
 include src/kernel/resource/VirtualMachineImpl.hpp
 include src/kernel/resource/WifiLinkImpl.cpp
 include src/kernel/resource/WifiLinkImpl.hpp
-include src/kernel/resource/profile/DatedValue.cpp
-include src/kernel/resource/profile/DatedValue.hpp
 include src/kernel/resource/profile/Event.hpp
 include src/kernel/resource/profile/FutureEvtSet.cpp
 include src/kernel/resource/profile/FutureEvtSet.hpp
@@ -2335,21 +2279,21 @@ include src/kernel/timer/Timer.cpp
 include src/mc/AddressSpace.hpp
 include src/mc/ModelChecker.cpp
 include src/mc/ModelChecker.hpp
-include src/mc/Session.cpp
-include src/mc/Session.hpp
 include src/mc/VisitedState.cpp
 include src/mc/VisitedState.hpp
-include src/mc/api.cpp
-include src/mc/api.hpp
+include src/mc/api/ActorState.hpp
+include src/mc/api/RemoteApp.cpp
+include src/mc/api/RemoteApp.hpp
 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.cpp
 include src/mc/explo/Exploration.hpp
 include src/mc/explo/LivenessChecker.cpp
 include src/mc/explo/LivenessChecker.hpp
-include src/mc/explo/SafetyChecker.cpp
-include src/mc/explo/SafetyChecker.hpp
 include src/mc/explo/UdporChecker.cpp
 include src/mc/explo/UdporChecker.hpp
 include src/mc/explo/simgrid_mc.cpp
@@ -2379,17 +2323,11 @@ include src/mc/mc_config.hpp
 include src/mc/mc_exit.hpp
 include src/mc/mc_forward.hpp
 include src/mc/mc_global.cpp
-include src/mc/mc_hash.cpp
-include src/mc/mc_hash.hpp
-include src/mc/mc_ignore.hpp
 include src/mc/mc_mmu.hpp
-include src/mc/mc_pattern.hpp
 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_safety.hpp
-include src/mc/mc_smx.cpp
 include src/mc/remote/AppSide.cpp
 include src/mc/remote/AppSide.hpp
 include src/mc/remote/Channel.cpp
@@ -2461,8 +2399,6 @@ 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_private.hpp
 include src/simix/smx_context.cpp
 include src/smpi/bindings/smpi_f77.cpp
 include src/smpi/bindings/smpi_f77_coll.cpp
@@ -2650,6 +2586,9 @@ include src/smpi/smpif90.in
 include src/smpi/smpiff.in
 include src/smpi/smpirun.in
 include src/smpi/smpitools.sh
+include src/sthread/sthread.c
+include src/sthread/sthread.h
+include src/sthread/sthread_impl.cpp
 include src/surf/HostImpl.cpp
 include src/surf/HostImpl.hpp
 include src/surf/cpu_cas01.cpp
@@ -2713,6 +2652,7 @@ include src/xbt/memory_map.cpp
 include src/xbt/memory_map.hpp
 include src/xbt/mmalloc/mfree.c
 include src/xbt/mmalloc/mm.c
+include src/xbt/mmalloc/mm_interface.c
 include src/xbt/mmalloc/mm_legacy.c
 include src/xbt/mmalloc/mm_module.c
 include src/xbt/mmalloc/mmalloc.c
@@ -2749,7 +2689,7 @@ include teshsuite/platforms/CMakeLists.txt
 include teshsuite/python/CMakeLists.txt
 include teshsuite/s4u/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