X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/50753d5f8442a47c17c4035724201a18a7ff6146..7096c31112ac2ba4303814d1e15f6d91c635851d:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 1eea8b7924..2a24cda650 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -1,6 +1,14 @@ # This file lists the content of the python source package # Prepared in tools/cmake/Distrib.cmake +include examples/c/activityset-testany/activityset-testany.c +include examples/c/activityset-testany/activityset-testany.tesh +include examples/c/activityset-waitall/activityset-waitall.c +include examples/c/activityset-waitall/activityset-waitall.tesh +include examples/c/activityset-waitallfor/activityset-waitallfor.c +include examples/c/activityset-waitallfor/activityset-waitallfor.tesh +include examples/c/activityset-waitany/activityset-waitany.c +include examples/c/activityset-waitany/activityset-waitany.tesh include examples/c/actor-create/actor-create.c include examples/c/actor-create/actor-create.tesh include examples/c/actor-create/actor-create_d.xml @@ -65,12 +73,6 @@ include examples/c/comm-wait/comm-wait2_d.xml include examples/c/comm-wait/comm-wait3_d.xml include examples/c/comm-wait/comm-wait4_d.xml include examples/c/comm-wait/comm-wait_d.xml -include examples/c/comm-waitall/comm-waitall.c -include examples/c/comm-waitall/comm-waitall.tesh -include examples/c/comm-waitall/comm-waitall_d.xml -include examples/c/comm-waitany/comm-waitany.c -include examples/c/comm-waitany/comm-waitany.tesh -include examples/c/comm-waitany/comm-waitany_d.xml include examples/c/dht-kademlia/answer.c include examples/c/dht-kademlia/answer.h include examples/c/dht-kademlia/common.h @@ -102,8 +104,6 @@ include examples/c/exec-dvfs/exec-dvfs.c include examples/c/exec-dvfs/exec-dvfs.tesh include examples/c/exec-remote/exec-remote.c include examples/c/exec-remote/exec-remote.tesh -include examples/c/exec-waitany/exec-waitany.c -include examples/c/exec-waitany/exec-waitany.tesh include examples/c/io-disk-raw/io-disk-raw.c include examples/c/io-disk-raw/io-disk-raw.tesh include examples/c/io-file-remote/io-file-remote.c @@ -120,10 +120,14 @@ 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/activityset-testany/s4u-activityset-testany.cpp +include examples/cpp/activityset-testany/s4u-activityset-testany.tesh +include examples/cpp/activityset-waitall/s4u-activityset-waitall.cpp +include examples/cpp/activityset-waitall/s4u-activityset-waitall.tesh +include examples/cpp/activityset-waitallfor/s4u-activityset-waitallfor.cpp +include examples/cpp/activityset-waitallfor/s4u-activityset-waitallfor.tesh +include examples/cpp/activityset-waitany/s4u-activityset-waitany.cpp +include examples/cpp/activityset-waitany/s4u-activityset-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 @@ -162,6 +166,15 @@ 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/chiller-simple/s4u-chiller-simple.cpp +include examples/cpp/chiller-simple/s4u-chiller-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 @@ -183,30 +196,33 @@ include examples/cpp/comm-ready/s4u-comm-ready.cpp include examples/cpp/comm-ready/s4u-comm-ready.tesh include examples/cpp/comm-suspend/s4u-comm-suspend.cpp include examples/cpp/comm-suspend/s4u-comm-suspend.tesh -include examples/cpp/comm-testany/s4u-comm-testany.cpp -include examples/cpp/comm-testany/s4u-comm-testany.tesh include examples/cpp/comm-throttling/s4u-comm-throttling.cpp include examples/cpp/comm-throttling/s4u-comm-throttling.tesh include examples/cpp/comm-wait/s4u-comm-wait.cpp include examples/cpp/comm-wait/s4u-comm-wait.tesh -include examples/cpp/comm-waitall/s4u-comm-waitall.cpp -include examples/cpp/comm-waitall/s4u-comm-waitall.tesh -include examples/cpp/comm-waitany/s4u-comm-waitany.cpp -include examples/cpp/comm-waitany/s4u-comm-waitany.tesh include examples/cpp/comm-waituntil/s4u-comm-waituntil.cpp include examples/cpp/comm-waituntil/s4u-comm-waituntil.tesh 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 @@ -273,8 +291,6 @@ include examples/cpp/exec-threads/s4u-exec-threads.cpp include examples/cpp/exec-threads/s4u-exec-threads.tesh include examples/cpp/exec-unassigned/s4u-exec-unassigned.cpp include examples/cpp/exec-unassigned/s4u-exec-unassigned.tesh -include examples/cpp/exec-waitany/s4u-exec-waitany.cpp -include examples/cpp/exec-waitany/s4u-exec-waitany.tesh include examples/cpp/exec-waitfor/s4u-exec-waitfor.cpp include examples/cpp/exec-waitfor/s4u-exec-waitfor.tesh include examples/cpp/io-async/s4u-io-async.cpp @@ -314,6 +330,8 @@ include examples/cpp/mc-failing-assert/s4u-mc-failing-assert-nodpor.tesh include examples/cpp/mc-failing-assert/s4u-mc-failing-assert-statequality.tesh include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.cpp include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh +include examples/cpp/mess-wait/s4u-mess-wait.cpp +include examples/cpp/mess-wait/s4u-mess-wait.tesh include examples/cpp/network-factors/s4u-network-factors.cpp include examples/cpp/network-factors/s4u-network-factors.tesh include examples/cpp/network-nonlinear/s4u-network-nonlinear.cpp @@ -327,8 +345,9 @@ 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/platform-comm-serialize/s4u-platform-comm-serialize.cpp @@ -342,6 +361,8 @@ include examples/cpp/platform-properties/s4u-platform-properties.cpp include examples/cpp/platform-properties/s4u-platform-properties.tesh include examples/cpp/plugin-host-load/s4u-plugin-host-load.cpp include examples/cpp/plugin-host-load/s4u-plugin-host-load.tesh +include examples/cpp/plugin-jbod/s4u-plugin-jbod.cpp +include examples/cpp/plugin-jbod/s4u-plugin-jbod.tesh include examples/cpp/plugin-link-load/s4u-plugin-link-load.cpp include examples/cpp/plugin-link-load/s4u-plugin-link-load.tesh include examples/cpp/plugin-prodcons/s4u-plugin-prodcons.cpp @@ -359,6 +380,8 @@ include examples/cpp/replay-io/s4u-replay-io.txt include examples/cpp/replay-io/s4u-replay-io_d.xml include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.cpp include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.tesh +include examples/cpp/solar-panel-simple/s4u-solar-panel-simple.cpp +include examples/cpp/solar-panel-simple/s4u-solar-panel-simple.tesh include examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh include examples/cpp/synchro-barrier/s4u-synchro-barrier.cpp include examples/cpp/synchro-barrier/s4u-synchro-barrier.tesh @@ -366,12 +389,29 @@ 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 include examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.cpp include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.tesh +include examples/cpp/task-dispatch/s4u-task-dispatch.cpp +include examples/cpp/task-dispatch/s4u-task-dispatch.tesh +include examples/cpp/task-io/s4u-task-io.cpp +include examples/cpp/task-io/s4u-task-io.tesh +include examples/cpp/task-microservice/s4u-task-microservice.cpp +include examples/cpp/task-microservice/s4u-task-microservice.tesh +include examples/cpp/task-parallelism/s4u-task-parallelism.cpp +include examples/cpp/task-parallelism/s4u-task-parallelism.tesh +include examples/cpp/task-simple/s4u-task-simple.cpp +include examples/cpp/task-simple/s4u-task-simple.tesh +include examples/cpp/task-storm/s4u-task-storm.cpp +include examples/cpp/task-storm/s4u-task-storm.tesh +include examples/cpp/task-switch-host/s4u-task-switch-host.cpp +include examples/cpp/task-switch-host/s4u-task-switch-host.tesh +include examples/cpp/task-variable-load/s4u-task-variable-load.cpp +include examples/cpp/task-variable-load/s4u-task-variable-load.tesh include examples/cpp/trace-categories/s4u-trace-categories.cpp include examples/cpp/trace-categories/s4u-trace-categories.tesh include examples/cpp/trace-host-user-variables/s4u-trace-host-user-variables.cpp @@ -386,6 +426,14 @@ include examples/cpp/trace-process-migration/s4u-trace-process-migration.cpp include examples/cpp/trace-process-migration/s4u-trace-process-migration.tesh include examples/cpp/trace-route-user-variables/s4u-trace-route-user-variables.cpp include examples/cpp/trace-route-user-variables/s4u-trace-route-user-variables.tesh +include examples/python/activityset-testany/activityset-testany.py +include examples/python/activityset-testany/activityset-testany.tesh +include examples/python/activityset-waitall/activityset-waitall.py +include examples/python/activityset-waitall/activityset-waitall.tesh +include examples/python/activityset-waitallfor/activityset-waitallfor.py +include examples/python/activityset-waitallfor/activityset-waitallfor.tesh +include examples/python/activityset-waitany/activityset-waitany.py +include examples/python/activityset-waitany/activityset-waitany.tesh include examples/python/actor-create/actor-create.py include examples/python/actor-create/actor-create.tesh include examples/python/actor-daemon/actor-daemon.py @@ -416,18 +464,10 @@ include examples/python/comm-ready/comm-ready.py include examples/python/comm-ready/comm-ready.tesh include examples/python/comm-suspend/comm-suspend.py include examples/python/comm-suspend/comm-suspend.tesh -include examples/python/comm-testany/comm-testany.py -include examples/python/comm-testany/comm-testany.tesh include examples/python/comm-throttling/comm-throttling.py include examples/python/comm-throttling/comm-throttling.tesh include examples/python/comm-wait/comm-wait.py include examples/python/comm-wait/comm-wait.tesh -include examples/python/comm-waitall/comm-waitall.py -include examples/python/comm-waitall/comm-waitall.tesh -include examples/python/comm-waitallfor/comm-waitallfor.py -include examples/python/comm-waitallfor/comm-waitallfor.tesh -include examples/python/comm-waitany/comm-waitany.py -include examples/python/comm-waitany/comm-waitany.tesh include examples/python/comm-waituntil/comm-waituntil.py include examples/python/comm-waituntil/comm-waituntil.tesh include examples/python/exec-async/exec-async.py @@ -452,12 +492,22 @@ 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/python/plugin-host-load/plugin-host-load.py +include examples/python/plugin-host-load/plugin-host-load.tesh include examples/python/synchro-barrier/synchro-barrier.py include examples/python/synchro-barrier/synchro-barrier.tesh include examples/python/synchro-mutex/synchro-mutex.py include examples/python/synchro-mutex/synchro-mutex.tesh include examples/python/synchro-semaphore/synchro-semaphore.py include examples/python/synchro-semaphore/synchro-semaphore.tesh +include examples/python/task-io/task-io.py +include examples/python/task-io/task-io.tesh +include examples/python/task-simple/task-simple.py +include examples/python/task-simple/task-simple.tesh +include examples/python/task-switch-host/task-switch-host.py +include examples/python/task-switch-host/task-switch-host.tesh +include examples/python/task-variable-load/task-variable-load.py +include examples/python/task-variable-load/task-variable-load.tesh include examples/smpi/NAS/DGraph.c include examples/smpi/NAS/DGraph.h include examples/smpi/NAS/README.install @@ -622,7 +672,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 @@ -787,10 +836,6 @@ include teshsuite/s4u/vm-live-migration/vm-live-migration.cpp include teshsuite/s4u/vm-live-migration/vm-live-migration.tesh include teshsuite/s4u/vm-suicide/vm-suicide.cpp include teshsuite/s4u/vm-suicide/vm-suicide.tesh -include teshsuite/s4u/wait-all-for/wait-all-for.cpp -include teshsuite/s4u/wait-all-for/wait-all-for.tesh -include teshsuite/s4u/wait-any-for/wait-any-for.cpp -include teshsuite/s4u/wait-any-for/wait-any-for.tesh include teshsuite/smpi/MBI/CollArgGenerator.py include teshsuite/smpi/MBI/CollComGenerator.py include teshsuite/smpi/MBI/CollLocalConcurrencyGenerator.py @@ -1679,6 +1724,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 +1749,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 @@ -1870,6 +1908,7 @@ include examples/smpi/replay_multiple_manual_deploy/CMakeLists.txt include examples/smpi/smpi_s4u_masterworker/CMakeLists.txt include examples/sthread/CMakeLists.txt include include/simgrid/Exception.hpp +include include/simgrid/activity_set.h include include/simgrid/actor.h include include/simgrid/barrier.h include include/simgrid/chrono.hpp @@ -1905,14 +1944,19 @@ 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/chiller.hpp include include/simgrid/plugins/dvfs.h include include/simgrid/plugins/energy.h include include/simgrid/plugins/file_system.h +include include/simgrid/plugins/jbod.hpp include include/simgrid/plugins/live_migration.h include include/simgrid/plugins/load.h include include/simgrid/plugins/ns3.hpp +include include/simgrid/plugins/solar_panel.hpp include include/simgrid/s4u.hpp include include/simgrid/s4u/Activity.hpp +include include/simgrid/s4u/ActivitySet.hpp include include/simgrid/s4u/Actor.hpp include include/simgrid/s4u/Barrier.hpp include include/simgrid/s4u/Comm.hpp @@ -1924,12 +1968,13 @@ include include/simgrid/s4u/Host.hpp include include/simgrid/s4u/Io.hpp include include/simgrid/s4u/Link.hpp include include/simgrid/s4u/Mailbox.hpp +include include/simgrid/s4u/MessageQueue.hpp include include/simgrid/s4u/Mutex.hpp include include/simgrid/s4u/NetZone.hpp include include/simgrid/s4u/Semaphore.hpp +include include/simgrid/s4u/Task.hpp include include/simgrid/s4u/VirtualMachine.hpp include include/simgrid/semaphore.h -include include/simgrid/simix.h include include/simgrid/simix.hpp include include/simgrid/version.h.in include include/simgrid/vm.h @@ -1988,7 +2033,6 @@ include src/dag/dax.dtd include src/dag/dax_dtd.c include src/dag/dax_dtd.h include src/dag/loaders.cpp -include src/deprecated.cpp include src/instr/instr_config.cpp include src/instr/instr_interface.cpp include src/instr/instr_paje_containers.cpp @@ -2021,6 +2065,10 @@ include src/kernel/activity/IoImpl.cpp include src/kernel/activity/IoImpl.hpp include src/kernel/activity/MailboxImpl.cpp include src/kernel/activity/MailboxImpl.hpp +include src/kernel/activity/MessImpl.cpp +include src/kernel/activity/MessImpl.hpp +include src/kernel/activity/MessageQueueImpl.cpp +include src/kernel/activity/MessageQueueImpl.hpp include src/kernel/activity/MutexImpl.cpp include src/kernel/activity/MutexImpl.hpp include src/kernel/activity/SemaphoreImpl.cpp @@ -2150,12 +2198,17 @@ 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/MaxMatchComm.hpp +include src/mc/api/strategy/MinMatchComm.hpp +include src/mc/api/strategy/Strategy.hpp +include src/mc/api/strategy/UniformStrategy.hpp include src/mc/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp @@ -2167,6 +2220,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 +2241,9 @@ 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/ExtensionSet_test.cpp include src/mc/explo/udpor/History.cpp include src/mc/explo/udpor/History.hpp include src/mc/explo/udpor/History_test.cpp @@ -2212,6 +2281,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,18 +2325,23 @@ 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/chiller.cpp include src/plugins/file_system/s4u_FileSystem.cpp include src/plugins/host_dvfs.cpp include src/plugins/host_energy.cpp include src/plugins/host_load.cpp +include src/plugins/jbod.cpp include src/plugins/link_energy.cpp include src/plugins/link_energy_wifi.cpp include src/plugins/link_load.cpp +include src/plugins/solar_panel.cpp include src/plugins/vm/VmLiveMigration.cpp include src/plugins/vm/VmLiveMigration.hpp include src/plugins/vm/dirty_page_tracking.cpp include src/s4u/s4u_Activity.cpp +include src/s4u/s4u_ActivitySet.cpp include src/s4u/s4u_Actor.cpp include src/s4u/s4u_Barrier.cpp include src/s4u/s4u_Comm.cpp @@ -2278,9 +2353,12 @@ include src/s4u/s4u_Host.cpp include src/s4u/s4u_Io.cpp include src/s4u/s4u_Link.cpp include src/s4u/s4u_Mailbox.cpp +include src/s4u/s4u_Mess.cpp +include src/s4u/s4u_MessageQueue.cpp include src/s4u/s4u_Mutex.cpp include src/s4u/s4u_Netzone.cpp include src/s4u/s4u_Semaphore.cpp +include src/s4u/s4u_Task.cpp include src/s4u/s4u_VirtualMachine.cpp include src/simgrid/Exception.cpp include src/simgrid/math_utils.h @@ -2613,6 +2691,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