X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/50753d5f8442a47c17c4035724201a18a7ff6146..b4a7b4c3721bed0aa391b9a92e76d3afd4185453:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 1eea8b7924..af013f65ce 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -162,6 +162,13 @@ include examples/cpp/app-masterworkers/s4u-app-masterworkers.tesh include examples/cpp/app-masterworkers/s4u-app-masterworkers_d.xml include examples/cpp/app-token-ring/s4u-app-token-ring.cpp include examples/cpp/app-token-ring/s4u-app-token-ring.tesh +include examples/cpp/battery-degradation/plot_battery_degradation.py +include examples/cpp/battery-degradation/s4u-battery-degradation.cpp +include examples/cpp/battery-degradation/s4u-battery-degradation.tesh +include examples/cpp/battery-energy/s4u-battery-energy.cpp +include examples/cpp/battery-energy/s4u-battery-energy.tesh +include examples/cpp/battery-simple/s4u-battery-simple.cpp +include examples/cpp/battery-simple/s4u-battery-simple.tesh include examples/cpp/cloud-capping/s4u-cloud-capping.cpp include examples/cpp/cloud-capping/s4u-cloud-capping.tesh include examples/cpp/cloud-migration/s4u-cloud-migration.cpp @@ -199,14 +206,23 @@ include examples/cpp/dag-comm/s4u-dag-comm.cpp include examples/cpp/dag-comm/s4u-dag-comm.tesh include examples/cpp/dag-failure/s4u-dag-failure.cpp include examples/cpp/dag-failure/s4u-dag-failure.tesh +include examples/cpp/dag-from-dax-simple/dag.xml +include examples/cpp/dag-from-dax-simple/s4u-dag-from-dax-simple.cpp +include examples/cpp/dag-from-dax-simple/s4u-dag-from-dax-simple.tesh include examples/cpp/dag-from-dax/s4u-dag-from-dax.cpp include examples/cpp/dag-from-dax/s4u-dag-from-dax.tesh include examples/cpp/dag-from-dax/simple_dax_with_cycle.xml include examples/cpp/dag-from-dax/smalldax.xml +include examples/cpp/dag-from-dot-simple/dag.dot +include examples/cpp/dag-from-dot-simple/s4u-dag-from-dot-simple.cpp +include examples/cpp/dag-from-dot-simple/s4u-dag-from-dot-simple.tesh include examples/cpp/dag-from-dot/dag.dot include examples/cpp/dag-from-dot/dag_with_cycle.dot include examples/cpp/dag-from-dot/s4u-dag-from-dot.cpp include examples/cpp/dag-from-dot/s4u-dag-from-dot.tesh +include examples/cpp/dag-from-json-simple/dag.json +include examples/cpp/dag-from-json-simple/s4u-dag-from-json-simple.cpp +include examples/cpp/dag-from-json-simple/s4u-dag-from-json-simple.tesh include examples/cpp/dag-io/s4u-dag-io.cpp include examples/cpp/dag-io/s4u-dag-io.tesh include examples/cpp/dag-scheduling/Montage_25.xml @@ -214,6 +230,8 @@ include examples/cpp/dag-scheduling/s4u-dag-scheduling.cpp include examples/cpp/dag-scheduling/s4u-dag-scheduling.tesh include examples/cpp/dag-simple/s4u-dag-simple.cpp include examples/cpp/dag-simple/s4u-dag-simple.tesh +include examples/cpp/dag-tuto/s4u-dag-tuto.cpp +include examples/cpp/dag-tuto/s4u-dag-tuto.tesh include examples/cpp/dht-chord/s4u-dht-chord-node.cpp include examples/cpp/dht-chord/s4u-dht-chord.cpp include examples/cpp/dht-chord/s4u-dht-chord.hpp @@ -327,10 +345,17 @@ include examples/cpp/network-ns3/crosstraffic_d.xml include examples/cpp/network-ns3/dogbone_d.xml include examples/cpp/network-ns3/one_cluster_d.xml include examples/cpp/network-ns3/onelink_d.xml +include examples/cpp/network-ns3/s4u-network-ns3-notime.tesh +include examples/cpp/network-ns3/s4u-network-ns3-timed.tesh include examples/cpp/network-ns3/s4u-network-ns3.cpp -include examples/cpp/network-ns3/s4u-network-ns3.tesh include examples/cpp/network-wifi/s4u-network-wifi.cpp include examples/cpp/network-wifi/s4u-network-wifi.tesh +include examples/cpp/operation-simple/s4u-operation-simple.cpp +include examples/cpp/operation-simple/s4u-operation-simple.tesh +include examples/cpp/operation-switch-host/s4u-operation-switch-host.cpp +include examples/cpp/operation-switch-host/s4u-operation-switch-host.tesh +include examples/cpp/operation-variable-load/s4u-operation-variable-load.cpp +include examples/cpp/operation-variable-load/s4u-operation-variable-load.tesh include examples/cpp/platform-comm-serialize/s4u-platform-comm-serialize.cpp include examples/cpp/platform-comm-serialize/s4u-platform-comm-serialize.tesh include examples/cpp/platform-failures/s4u-platform-failures.cpp @@ -366,6 +391,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-stateful.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 @@ -622,7 +648,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 @@ -1679,6 +1704,10 @@ 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/battery_degradation.svg +include docs/source/img/dag.svg +include docs/source/img/dag1.svg +include docs/source/img/dag2.svg include docs/source/img/design-scheduling-parallel.svg include docs/source/img/design-scheduling-simulatedtime.svg include docs/source/img/design-scheduling-wallclock.svg @@ -1700,17 +1729,6 @@ 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 @@ -1777,6 +1795,7 @@ include examples/README.rst include examples/c/CMakeLists.txt include examples/cpp/CMakeLists.txt include examples/platforms/CMakeLists.txt +include examples/platforms/battery_platform.xml include examples/platforms/bypassRoute.xml include examples/platforms/bypassZoneRoute.xml include examples/platforms/cloud.xml @@ -1905,12 +1924,14 @@ include include/simgrid/mailbox.h include include/simgrid/modelchecker.h include include/simgrid/mutex.h include include/simgrid/plugins/ProducerConsumer.hpp +include include/simgrid/plugins/battery.hpp include include/simgrid/plugins/dvfs.h include include/simgrid/plugins/energy.h include include/simgrid/plugins/file_system.h include include/simgrid/plugins/live_migration.h include include/simgrid/plugins/load.h include include/simgrid/plugins/ns3.hpp +include include/simgrid/plugins/operation.hpp include include/simgrid/s4u.hpp include include/simgrid/s4u/Activity.hpp include include/simgrid/s4u/Actor.hpp @@ -2150,12 +2171,15 @@ include src/mc/AddressSpace.hpp include src/mc/VisitedState.cpp include src/mc/VisitedState.hpp include src/mc/api/ActorState.hpp +include src/mc/api/ClockVector.cpp +include src/mc/api/ClockVector.hpp 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/api/strategy/BasicStrategy.hpp +include src/mc/api/strategy/Strategy.hpp +include src/mc/api/strategy/WaitStrategy.hpp include src/mc/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp @@ -2167,6 +2191,19 @@ include src/mc/explo/LivenessChecker.cpp include src/mc/explo/LivenessChecker.hpp include src/mc/explo/UdporChecker.cpp include src/mc/explo/UdporChecker.hpp +include src/mc/explo/odpor/ClockVector_test.cpp +include src/mc/explo/odpor/Execution.cpp +include src/mc/explo/odpor/Execution.hpp +include src/mc/explo/odpor/Execution_test.cpp +include src/mc/explo/odpor/ReversibleRaceCalculator.cpp +include src/mc/explo/odpor/ReversibleRaceCalculator.hpp +include src/mc/explo/odpor/WakeupTree.cpp +include src/mc/explo/odpor/WakeupTree.hpp +include src/mc/explo/odpor/WakeupTreeIterator.cpp +include src/mc/explo/odpor/WakeupTreeIterator.hpp +include src/mc/explo/odpor/WakeupTree_test.cpp +include src/mc/explo/odpor/odpor_forward.hpp +include src/mc/explo/odpor/odpor_tests_private.hpp include src/mc/explo/simgrid_mc.cpp include src/mc/explo/udpor/Comb.hpp include src/mc/explo/udpor/Configuration.cpp @@ -2175,6 +2212,8 @@ 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/ExtensionSetCalculator.cpp +include src/mc/explo/udpor/ExtensionSetCalculator.hpp include src/mc/explo/udpor/History.cpp include src/mc/explo/udpor/History.hpp include src/mc/explo/udpor/History_test.cpp @@ -2212,6 +2251,7 @@ include src/mc/mc_base.hpp include src/mc/mc_client_api.cpp include src/mc/mc_config.cpp include src/mc/mc_config.hpp +include src/mc/mc_environ.h include src/mc/mc_exit.hpp include src/mc/mc_forward.hpp include src/mc/mc_global.cpp @@ -2255,6 +2295,7 @@ include src/mc/transition/TransitionRandom.hpp include src/mc/transition/TransitionSynchro.cpp include src/mc/transition/TransitionSynchro.hpp include src/plugins/ProducerConsumer.cpp +include src/plugins/battery.cpp include src/plugins/chaos_monkey.cpp include src/plugins/file_system/s4u_FileSystem.cpp include src/plugins/host_dvfs.cpp @@ -2263,6 +2304,7 @@ include src/plugins/host_load.cpp include src/plugins/link_energy.cpp include src/plugins/link_energy_wifi.cpp include src/plugins/link_load.cpp +include src/plugins/operation.cpp include src/plugins/vm/VmLiveMigration.cpp include src/plugins/vm/VmLiveMigration.hpp include src/plugins/vm/dirty_page_tracking.cpp @@ -2613,6 +2655,7 @@ include tools/cmake/scripts/my_valgrind.pl include tools/cmake/scripts/update_tesh.pl include tools/cmake/test_prog/prog_asan.cpp include tools/cmake/test_prog/prog_makecontext.c +include tools/cmake/test_prog/prog_ns3.cpp include tools/cmake/test_prog/prog_stackgrowth.c include tools/cmake/test_prog/prog_stacksetup.c include tools/cmake/test_prog/prog_tsan.cpp