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
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
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
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/CollMatchingGenerator.py
+include teshsuite/smpi/MBI/MBI.py
+include teshsuite/smpi/MBI/MBIutils.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
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
include include/simgrid/instr.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
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
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/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
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/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/maxmin.cpp
include src/kernel/lmm/maxmin.hpp
include src/mc/api.hpp
include src/mc/api/State.cpp
include src/mc/api/State.hpp
-include src/mc/checker/Checker.hpp
-include src/mc/checker/CommunicationDeterminismChecker.cpp
-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/compare.cpp
+include src/mc/explo/CommunicationDeterminismChecker.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
include src/mc/inspect/DwarfExpression.cpp
include src/mc/inspect/DwarfExpression.hpp
include src/mc/inspect/Frame.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
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
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
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
include tools/cmake/test_prog/prog_tsan.cpp
include tools/doxygen/list_routing_models_examples.sh
include tools/graphicator/CMakeLists.txt
+include tools/simgrid-monkey
include tools/smpi/generate_smpi_defines.pl
include tools/stack-cleaner/README
include tools/stack-cleaner/as
