X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e48699b0fa7a277e5af6ffdf0e5a8e727239176b..0724fac3d997ae2f307992beb5f976fa9dec4102:/MANIFEST.in?ds=sidebyside diff --git a/MANIFEST.in b/MANIFEST.in index 7ba1b9a2ee..c66a0b18c1 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 @@ -672,6 +676,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 @@ -750,8 +755,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 @@ -1913,7 +1917,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 @@ -2251,10 +2254,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 @@ -2332,22 +2339,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 @@ -2369,7 +2376,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 @@ -2386,8 +2392,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 @@ -2408,6 +2412,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