X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/162424b0ac640baa56b0ca9bc158ef9743f0c4ac..7af75360d41b17d68135df7d793b0b5681d347c9:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 69f054611a..a581a1b992 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -365,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 @@ -686,9 +687,6 @@ include teshsuite/kernel/context-defaults/factory_boost.tesh include teshsuite/kernel/context-defaults/factory_raw.tesh include teshsuite/kernel/context-defaults/factory_thread.tesh include teshsuite/kernel/context-defaults/factory_ucontext.tesh -include teshsuite/kernel/simcall-generic/blocking_simcall.hpp -include teshsuite/kernel/simcall-generic/simcall-generic.cpp -include teshsuite/kernel/simcall-generic/simcall-generic.tesh include teshsuite/kernel/stack-overflow/stack-overflow.cpp include teshsuite/kernel/stack-overflow/stack-overflow.tesh include teshsuite/mc/dwarf-expression/dwarf-expression.cpp @@ -807,6 +805,7 @@ include teshsuite/s4u/issue71/issue71.tesh include teshsuite/s4u/issue71/platform_bad.xml include teshsuite/s4u/listen_async/listen_async.cpp include teshsuite/s4u/listen_async/listen_async.tesh +include teshsuite/s4u/monkey-masterworkers/monkey-masterworkers.cpp include teshsuite/s4u/ns3-from-src-to-itself/ns3-from-src-to-itself.cpp include teshsuite/s4u/ns3-from-src-to-itself/ns3-from-src-to-itself.tesh include teshsuite/s4u/ns3-simultaneous-send-rcv/ns3-simultaneous-send-rcv.cpp @@ -2061,7 +2060,6 @@ include include/simgrid/host.h include include/simgrid/instr.h include include/simgrid/kernel/ProfileBuilder.hpp include include/simgrid/kernel/Timer.hpp -include include/simgrid/kernel/future.hpp include include/simgrid/kernel/resource/Action.hpp include include/simgrid/kernel/resource/Model.hpp include include/simgrid/kernel/resource/NetworkModelIntf.hpp @@ -2254,12 +2252,16 @@ 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/SimcallObserver.cpp include src/kernel/actor/SimcallObserver.hpp +include src/kernel/actor/SynchroObserver.cpp +include src/kernel/actor/SynchroObserver.hpp include src/kernel/context/Context.cpp include src/kernel/context/Context.hpp include src/kernel/context/ContextBoost.cpp @@ -2272,7 +2274,6 @@ include src/kernel/context/ContextThread.cpp include src/kernel/context/ContextThread.hpp include src/kernel/context/ContextUnix.cpp include src/kernel/context/ContextUnix.hpp -include src/kernel/future.cpp include src/kernel/lmm/fair_bottleneck.cpp include src/kernel/lmm/maxmin.cpp include src/kernel/lmm/maxmin.hpp @@ -2341,21 +2342,16 @@ include src/mc/api.cpp include src/mc/api.hpp include src/mc/api/State.cpp include src/mc/api/State.hpp -include src/mc/api/Transition.cpp -include src/mc/api/Transition.hpp -include src/mc/api/TransitionComm.cpp -include src/mc/api/TransitionComm.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/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 @@ -2413,6 +2409,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 @@ -2422,6 +2428,7 @@ include src/msg/msg_private.hpp include src/msg/msg_process.cpp include src/msg/msg_task.cpp include src/plugins/ProducerConsumer.cpp +include src/plugins/chaos_monkey.cpp include src/plugins/file_system/s4u_FileSystem.cpp include src/plugins/host_dvfs.cpp include src/plugins/host_energy.cpp @@ -2454,13 +2461,7 @@ include src/simgrid/sg_version.cpp include src/simgrid/util.hpp include src/simix/libsmx.cpp include src/simix/popping.cpp -include src/simix/popping_accessors.hpp -include src/simix/popping_bodies.cpp -include src/simix/popping_enum.hpp -include src/simix/popping_generated.cpp include src/simix/popping_private.hpp -include src/simix/simcalls.in -include src/simix/simcalls.py include src/simix/smx_context.cpp include src/smpi/bindings/smpi_f77.cpp include src/smpi/bindings/smpi_f77_coll.cpp @@ -2815,6 +2816,7 @@ include tools/cmake/test_prog/prog_stacksetup.c include tools/cmake/test_prog/prog_tsan.cpp include tools/doxygen/list_routing_models_examples.sh include tools/graphicator/CMakeLists.txt +include tools/simgrid-monkey include tools/smpi/generate_smpi_defines.pl include tools/stack-cleaner/README include tools/stack-cleaner/as