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/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
include teshsuite/smpi/coll-allgatherv/coll-allgatherv.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
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/XML_reference.rst
include docs/source/_ext/javasphinx/LICENSE
include docs/source/_ext/javasphinx/MANIFEST.in
include docs/source/_ext/javasphinx/README.md
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
include src/mc/checker/LivenessChecker.hpp
include src/mc/checker/SafetyChecker.cpp
include src/mc/checker/SafetyChecker.hpp
-include src/mc/checker/SimcallInspector.cpp
-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
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
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.h
include src/mc/sosp/ChunkedData.cpp
include src/mc/sosp/ChunkedData.hpp