X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3e9453209f1da7deb92fe629428e49f3528217bd..039f83ac2878e7ff0839a216474c8e493c98c068:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index c62529376a..9ae7ec1439 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -597,9 +597,14 @@ include examples/smpi/trace_simple/trace_simple.c include examples/smpi/trace_simple/trace_simple.tesh include examples/sthread/pthread-mc-mutex-simple.tesh include examples/sthread/pthread-mc-mutex-simpledeadlock.tesh +include examples/sthread/pthread-mc-producer-consumer.tesh include examples/sthread/pthread-mutex-simple.c 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 @@ -617,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 @@ -1660,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 @@ -1673,6 +1678,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 @@ -1691,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 @@ -1968,6 +1987,7 @@ include src/dag/dax.dtd include src/dag/dax_dtd.c include src/dag/dax_dtd.h include src/dag/loaders.cpp +include src/deprecated.cpp include src/instr/instr_config.cpp include src/instr/instr_interface.cpp include src/instr/instr_paje_containers.cpp @@ -2120,15 +2140,12 @@ include src/kernel/routing/WifiZone.cpp include src/kernel/timer/Timer.cpp include src/kernel/xml/platf.hpp include src/kernel/xml/platf_private.hpp +include src/kernel/xml/platf_sax_cb.cpp include src/kernel/xml/sg_platf.cpp include src/kernel/xml/simgrid.dtd include src/kernel/xml/simgrid_dtd.c include src/kernel/xml/simgrid_dtd.h -include src/kernel/xml/surfxml_parseplatf.cpp -include src/kernel/xml/surfxml_sax_cb.cpp 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 @@ -2136,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 @@ -2148,6 +2167,26 @@ 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 +include src/mc/explo/udpor/EventSet.cpp +include src/mc/explo/udpor/EventSet.hpp +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/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 @@ -2186,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 @@ -2197,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 @@ -2208,12 +2247,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/udpor_global.cpp -include src/mc/udpor_global.hpp include src/plugins/ProducerConsumer.cpp include src/plugins/chaos_monkey.cpp include src/plugins/file_system/s4u_FileSystem.cpp @@ -2250,7 +2289,6 @@ include src/simgrid/sg_config.cpp include src/simgrid/sg_config.hpp include src/simgrid/sg_version.cpp include src/simgrid/util.hpp -include src/simix/libsmx.cpp include src/smpi/bindings/smpi_f77.cpp include src/smpi/bindings/smpi_f77_coll.cpp include src/smpi/bindings/smpi_f77_comm.cpp @@ -2437,10 +2475,10 @@ 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 -include src/surf/surf_interface.hpp include src/xbt/OsSemaphore.hpp include src/xbt/PropertyHolder.cpp include src/xbt/automaton/automaton.c @@ -2490,18 +2528,23 @@ 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/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 -include src/xbt/xbt_main.cpp -include src/xbt/xbt_modinter.h +include src/xbt/xbt_misc.cpp include src/xbt/xbt_os_file.cpp include src/xbt/xbt_os_time.c include src/xbt/xbt_parse_units.cpp include src/xbt/xbt_replay.cpp include src/xbt/xbt_str.cpp include src/xbt/xbt_str_test.cpp -include src/xbt/xbt_virtu.cpp include teshsuite/kernel/CMakeLists.txt include teshsuite/mc/CMakeLists.txt include teshsuite/models/CMakeLists.txt @@ -2560,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