X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f051157d903a7e3680081ec4d5fc9d83600847f5..2e20b9d63d8a9ca26f8b508b5cab294acc3b608a:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 3e6119611a..babfd7718b 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -124,6 +124,10 @@ include examples/c/plugin-host-load/plugin-host-load.c include examples/c/plugin-host-load/plugin-host-load.tesh include examples/c/synchro-semaphore/synchro-semaphore.c include examples/c/synchro-semaphore/synchro-semaphore.tesh +include examples/cpp/activity-testany/s4u-activity-testany.cpp +include examples/cpp/activity-testany/s4u-activity-testany.tesh +include examples/cpp/activity-waitany/s4u-activity-waitany.cpp +include examples/cpp/activity-waitany/s4u-activity-waitany.tesh include examples/cpp/actor-create/s4u-actor-create.cpp include examples/cpp/actor-create/s4u-actor-create.tesh include examples/cpp/actor-create/s4u-actor-create_d.xml @@ -361,6 +365,7 @@ include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition- include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.cpp include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.tesh +include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh include examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp include examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.cpp @@ -532,6 +537,10 @@ include examples/python/io-degradation/io-degradation.py include examples/python/io-degradation/io-degradation.tesh include examples/python/network-nonlinear/network-nonlinear.py include examples/python/network-nonlinear/network-nonlinear.tesh +include examples/python/platform-failures/platform-failures.py +include examples/python/platform-failures/platform-failures.tesh +include examples/python/platform-profile/platform-profile.py +include examples/python/platform-profile/platform-profile.tesh include examples/smpi/NAS/DGraph.c include examples/smpi/NAS/DGraph.h include examples/smpi/NAS/README.install @@ -668,6 +677,7 @@ include examples/smpi/trace_call_location/trace_call_location.c include examples/smpi/trace_call_location/trace_call_location.tesh include examples/smpi/trace_simple/trace_simple.c include examples/smpi/trace_simple/trace_simple.tesh +include src/include/catch_simgrid.hpp include teshsuite/java/semaphoregc/SemaphoreGC.java include teshsuite/java/semaphoregc/semaphoregc.tesh include teshsuite/java/sleephostoff/SleepHostOff.java @@ -746,8 +756,7 @@ include teshsuite/python/corrupt-stack/corrupt-stack.tesh include teshsuite/python/corrupt-stack/corrupt-stack_d.xml include teshsuite/python/platform-mix/platform-mix.py include teshsuite/python/platform-mix/platform-mix.tesh -include teshsuite/s4u/activity-lifecycle/activity-lifecycle.cpp -include teshsuite/s4u/activity-lifecycle/activity-lifecycle.hpp +include teshsuite/s4u/../catch_simgrid.cpp include teshsuite/s4u/activity-lifecycle/activity-lifecycle.tesh include teshsuite/s4u/activity-lifecycle/testing_comm.cpp include teshsuite/s4u/activity-lifecycle/testing_comm_direct.cpp @@ -1909,7 +1918,6 @@ include docs/source/tuto_network_calibration/fig/pingpong_simgrid.drawio include docs/source/tuto_network_calibration/fig/pingpong_simgrid.png include docs/source/tuto_network_calibration/isend_ckmeans.json include docs/source/tuto_network_calibration/isend_dhist.json -include docs/source/tuto_network_calibration/network_calibration_tutorial.ipynb include docs/source/tuto_network_calibration/network_calibration_tutorial.rst include docs/source/tuto_network_calibration/pingpong_ckmeans.json include docs/source/tuto_network_calibration/pingpong_dhist.json @@ -2031,6 +2039,7 @@ include examples/python/CMakeLists.txt include examples/python/actor-create/actor-create_d.xml include examples/python/actor-lifetime/actor-lifetime_d.xml include examples/python/app-masterworkers/app-masterworkers_d.xml +include examples/python/platform-failures/platform-failures_d.xml include examples/smpi/CMakeLists.txt include examples/smpi/NAS/CMakeLists.txt include examples/smpi/comm_dynamic_costs/CMakeLists.txt @@ -2246,10 +2255,14 @@ include src/kernel/activity/SemaphoreImpl.cpp include src/kernel/activity/SemaphoreImpl.hpp include src/kernel/activity/SleepImpl.cpp include src/kernel/activity/SleepImpl.hpp -include src/kernel/activity/SynchroRaw.cpp -include src/kernel/activity/SynchroRaw.hpp +include src/kernel/activity/Synchro.cpp +include src/kernel/activity/Synchro.hpp include src/kernel/actor/ActorImpl.cpp include src/kernel/actor/ActorImpl.hpp +include src/kernel/actor/CommObserver.cpp +include src/kernel/actor/CommObserver.hpp +include src/kernel/actor/MutexObserver.cpp +include src/kernel/actor/MutexObserver.hpp include src/kernel/actor/SimcallObserver.cpp include src/kernel/actor/SimcallObserver.hpp include src/kernel/context/Context.cpp @@ -2327,22 +2340,22 @@ include src/mc/ModelChecker.cpp include src/mc/ModelChecker.hpp include src/mc/Session.cpp include src/mc/Session.hpp -include src/mc/Transition.hpp include src/mc/VisitedState.cpp include src/mc/VisitedState.hpp include src/mc/api.cpp include src/mc/api.hpp -include src/mc/checker/Checker.hpp -include src/mc/checker/CommunicationDeterminismChecker.cpp -include src/mc/checker/CommunicationDeterminismChecker.hpp -include src/mc/checker/LivenessChecker.cpp -include src/mc/checker/LivenessChecker.hpp -include src/mc/checker/SafetyChecker.cpp -include src/mc/checker/SafetyChecker.hpp -include src/mc/checker/UdporChecker.cpp -include src/mc/checker/UdporChecker.hpp -include src/mc/checker/simgrid_mc.cpp +include src/mc/api/State.cpp +include src/mc/api/State.hpp include src/mc/compare.cpp +include src/mc/explo/CommunicationDeterminismChecker.cpp +include src/mc/explo/Exploration.hpp +include src/mc/explo/LivenessChecker.cpp +include src/mc/explo/LivenessChecker.hpp +include src/mc/explo/SafetyChecker.cpp +include src/mc/explo/SafetyChecker.hpp +include src/mc/explo/UdporChecker.cpp +include src/mc/explo/UdporChecker.hpp +include src/mc/explo/simgrid_mc.cpp include src/mc/inspect/DwarfExpression.cpp include src/mc/inspect/DwarfExpression.hpp include src/mc/inspect/Frame.cpp @@ -2364,7 +2377,6 @@ include src/mc/inspect/mc_unw_vmread.cpp include src/mc/mc_base.cpp include src/mc/mc_base.hpp include src/mc/mc_client_api.cpp -include src/mc/mc_comm_pattern.hpp include src/mc/mc_config.cpp include src/mc/mc_config.hpp include src/mc/mc_exit.hpp @@ -2381,8 +2393,6 @@ include src/mc/mc_record.hpp include src/mc/mc_replay.hpp include src/mc/mc_safety.hpp include src/mc/mc_smx.cpp -include src/mc/mc_state.cpp -include src/mc/mc_state.hpp include src/mc/remote/AppSide.cpp include src/mc/remote/AppSide.hpp include src/mc/remote/Channel.cpp @@ -2403,6 +2413,16 @@ include src/mc/sosp/Region.hpp include src/mc/sosp/Snapshot.cpp include src/mc/sosp/Snapshot.hpp include src/mc/sosp/Snapshot_test.cpp +include src/mc/transition/Transition.cpp +include src/mc/transition/Transition.hpp +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/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/msg/msg_comm.cpp