X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/61a8bb9423361cde6dfc57a00815e5fc99320ca4..039f83ac2878e7ff0839a216474c8e493c98c068:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index add0e16c11..9ae7ec1439 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -603,6 +603,8 @@ include examples/sthread/pthread-mutex-simple.tesh include examples/sthread/pthread-mutex-simpledeadlock.c include examples/sthread/pthread-producer-consumer.c include examples/sthread/pthread-producer-consumer.tesh +include examples/sthread/stdobject/stdobject.cpp +include examples/sthread/stdobject/stdobject.tesh include examples/sthread/sthread-mutex-simple.c include examples/sthread/sthread-mutex-simple.tesh include teshsuite/catch_simgrid.hpp @@ -620,7 +622,6 @@ include teshsuite/mc/dwarf/dwarf.tesh include teshsuite/mc/mutex-handling/mutex-handling.cpp include teshsuite/mc/mutex-handling/mutex-handling.tesh include teshsuite/mc/mutex-handling/without-mutex-handling.tesh -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 @@ -1663,6 +1664,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 @@ -1697,6 +1699,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 @@ -2133,8 +2146,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 @@ -2142,6 +2153,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 @@ -2154,6 +2167,7 @@ include src/mc/explo/LivenessChecker.hpp include src/mc/explo/UdporChecker.cpp include src/mc/explo/UdporChecker.hpp include src/mc/explo/simgrid_mc.cpp +include src/mc/explo/udpor/Comb.hpp include src/mc/explo/udpor/Configuration.cpp include src/mc/explo/udpor/Configuration.hpp include src/mc/explo/udpor/Configuration_test.cpp @@ -2163,15 +2177,16 @@ include src/mc/explo/udpor/EventSet_test.cpp include src/mc/explo/udpor/History.cpp include src/mc/explo/udpor/History.hpp include src/mc/explo/udpor/History_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/Unfolding.cpp include src/mc/explo/udpor/Unfolding.hpp include src/mc/explo/udpor/UnfoldingEvent.cpp include src/mc/explo/udpor/UnfoldingEvent.hpp include src/mc/explo/udpor/UnfoldingEvent_test.cpp 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 @@ -2210,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 @@ -2221,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 @@ -2232,6 +2247,8 @@ include src/mc/transition/TransitionAny.cpp include src/mc/transition/TransitionAny.hpp include src/mc/transition/TransitionComm.cpp include src/mc/transition/TransitionComm.hpp +include src/mc/transition/TransitionObjectAccess.cpp +include src/mc/transition/TransitionObjectAccess.hpp include src/mc/transition/TransitionRandom.cpp include src/mc/transition/TransitionRandom.hpp include src/mc/transition/TransitionSynchro.cpp @@ -2458,6 +2475,7 @@ include src/smpi/smpif90.in include src/smpi/smpiff.in include src/smpi/smpirun.in include src/smpi/smpitools.sh +include src/sthread/ObjectAccess.cpp include src/sthread/sthread.c include src/sthread/sthread.h include src/sthread/sthread_impl.cpp @@ -2512,9 +2530,11 @@ include src/xbt/string.cpp include src/xbt/unit-tests_main.cpp include src/xbt/utils/iter/LazyKSubsets.hpp include src/xbt/utils/iter/LazyPowerset.hpp +include src/xbt/utils/iter/iterator_wrapping.hpp include src/xbt/utils/iter/powerset.hpp include src/xbt/utils/iter/subsets.hpp include src/xbt/utils/iter/subsets_tests.cpp +include src/xbt/utils/iter/variable_for_loop.hpp include src/xbt/xbt_log_appender_file.cpp include src/xbt/xbt_log_layout_format.cpp include src/xbt/xbt_log_layout_simple.cpp @@ -2583,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