X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/af783aa2cd9a69a50e4d88c0094bf9098f88e609..eaacbb174d19fe490b8243e2675e5e3b7cbb62de:/MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index 37e38261d8..3bd5a10520 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1665,6 +1665,7 @@ include docs/source/Release_Notes.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_DAG.rst
 include docs/source/Tutorial_MPI_Applications.rst
 include docs/source/Tutorial_Model-checking.rst
 include docs/source/XML_reference.rst
@@ -1699,6 +1700,17 @@ include docs/source/img/zoom_comm.drawio
 include docs/source/img/zoom_comm.svg
 include docs/source/index.rst
 include docs/source/intl.rst
+include docs/source/tuto_dag/dag_lab1.cpp
+include docs/source/tuto_dag/dag_lab2-1.cpp
+include docs/source/tuto_dag/dag_lab2-2.cpp
+include docs/source/tuto_dag/dag_lab2-3.cpp
+include docs/source/tuto_dag/img/dag.svg
+include docs/source/tuto_dag/img/dag1.svg
+include docs/source/tuto_dag/img/dag2.svg
+include docs/source/tuto_dag/simple_dax.xml
+include docs/source/tuto_dag/simple_dot.dot
+include docs/source/tuto_dag/simple_json.json
+include docs/source/tuto_dag/small_platform.xml
 include docs/source/tuto_disk/CMakeLists.txt
 include docs/source/tuto_disk/Dockerfile
 include docs/source/tuto_disk/analysis.irst
@@ -2135,8 +2147,6 @@ include src/kernel/xml/simgrid.dtd
 include src/kernel/xml/simgrid_dtd.c
 include src/kernel/xml/simgrid_dtd.h
 include src/mc/AddressSpace.hpp
-include src/mc/ModelChecker.cpp
-include src/mc/ModelChecker.hpp
 include src/mc/VisitedState.cpp
 include src/mc/VisitedState.hpp
 include src/mc/api/ActorState.hpp
@@ -2144,6 +2154,8 @@ 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/api/guide/BasicGuide.hpp
+include src/mc/api/guide/GuidedState.hpp
 include src/mc/compare.cpp
 include src/mc/datatypes.h
 include src/mc/explo/CommunicationDeterminismChecker.cpp
@@ -2174,6 +2186,7 @@ include src/mc/explo/udpor/Unfolding_test.cpp
 include src/mc/explo/udpor/maximal_subsets_iterator.cpp
 include src/mc/explo/udpor/maximal_subsets_iterator.hpp
 include src/mc/explo/udpor/udpor_forward.hpp
+include src/mc/explo/udpor/udpor_tests_private.hpp
 include src/mc/inspect/DwarfExpression.cpp
 include src/mc/inspect/DwarfExpression.hpp
 include src/mc/inspect/Frame.cpp
@@ -2212,8 +2225,6 @@ 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/mc_protocol.h
 include src/mc/sosp/ChunkedData.cpp
@@ -2223,6 +2234,8 @@ include src/mc/sosp/PageStore.hpp
 include src/mc/sosp/PageStore_test.cpp
 include src/mc/sosp/Region.cpp
 include src/mc/sosp/Region.hpp
+include src/mc/sosp/RemoteProcessMemory.cpp
+include src/mc/sosp/RemoteProcessMemory.hpp
 include src/mc/sosp/Snapshot.cpp
 include src/mc/sosp/Snapshot.hpp
 include src/mc/sosp/Snapshot_test.cpp
@@ -2590,6 +2603,7 @@ include tools/cmake/Modules/FindLibunwind.cmake
 include tools/cmake/Modules/FindNS3.cmake
 include tools/cmake/Modules/FindPAPI.cmake
 include tools/cmake/Modules/FindValgrind.cmake
+include tools/cmake/Modules/nlohmann_jsonConfig.cmake
 include tools/cmake/Modules/pybind11Config.cmake
 include tools/cmake/Option.cmake
 include tools/cmake/Tests.cmake