X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b605a4eb09f9ebb003c8fd4168dc34b8f5e64b09..4e8b07e1fee60c02b2f5627419d99ff7f76a8443:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 797b9435dd..f173a85642 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 @@ -1660,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 @@ -1673,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 @@ -1691,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 @@ -2121,12 +2141,11 @@ 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 @@ -2149,6 +2168,25 @@ 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/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 @@ -2187,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 @@ -2198,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 @@ -2209,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 @@ -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