X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/36d8d9a7afac609726ee95c460e9dc1581f55040..34b1612aaf4fb4375dc39f42941027e56b80aafa:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 3f308514cf..1eea8b7924 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 @@ -1663,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 @@ -1676,6 +1679,9 @@ include docs/source/app_smpi.rst include docs/source/application.rst include docs/source/community.rst include docs/source/conf.py +include docs/source/img/design-scheduling-parallel.svg +include docs/source/img/design-scheduling-simulatedtime.svg +include docs/source/img/design-scheduling-wallclock.svg include docs/source/img/eclipseScreenShot.png include docs/source/img/extlink.png include docs/source/img/extlink.svg @@ -1694,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 @@ -2130,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 @@ -2139,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 @@ -2151,6 +2168,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 @@ -2166,7 +2184,10 @@ 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 @@ -2205,8 +2226,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 @@ -2216,6 +2235,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 @@ -2227,24 +2248,12 @@ 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 include src/mc/transition/TransitionSynchro.hpp -include src/mc/explo/udpor/CompatibilityGraph.hpp -include src/mc/explo/udpor/CompatibilityGraph.cpp -include src/mc/explo/udpor/CompatibilityGraphNode.hpp -include src/mc/explo/udpor/CompatibilityGraphNode.cpp -include src/mc/explo/udpor/Configuration.hpp -include src/mc/explo/udpor/Configuration.cpp -include src/mc/explo/udpor/EventSet.cpp -include src/mc/explo/udpor/EventSet.hpp -include src/mc/explo/udpor/History.cpp -include src/mc/explo/udpor/History.hpp -include src/mc/explo/udpor/UnfoldingEvent.cpp -include src/mc/explo/udpor/UnfoldingEvent.hpp -include src/mc/explo/udpor/Unfolding.cpp -include src/mc/explo/udpor/Unfolding.hpp include src/plugins/ProducerConsumer.cpp include src/plugins/chaos_monkey.cpp include src/plugins/file_system/s4u_FileSystem.cpp @@ -2467,6 +2476,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 @@ -2519,10 +2529,13 @@ include src/xbt/random_test.cpp include src/xbt/snprintf.c include src/xbt/string.cpp include src/xbt/unit-tests_main.cpp -include src/xbt/utils/iter/subsets.hpp -include src/xbt/utils/iter/powerset.hpp 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 @@ -2591,6 +2604,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