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
include examples/cpp/actor-suspend/s4u-actor-suspend.tesh
include examples/cpp/actor-yield/s4u-actor-yield.cpp
include examples/cpp/actor-yield/s4u-actor-yield.tesh
-include examples/cpp/actor-yield/s4u-actor-yield_d.xml
include examples/cpp/app-bittorrent/s4u-app-bittorrent.tesh
include examples/cpp/app-bittorrent/s4u-app-bittorrent_d.xml
include examples/cpp/app-bittorrent/s4u-bittorrent.cpp
include examples/cpp/comm-pingpong/simix-breakpoint.tesh
include examples/cpp/comm-ready/s4u-comm-ready.cpp
include examples/cpp/comm-ready/s4u-comm-ready.tesh
-include examples/cpp/comm-ready/s4u-comm-ready_d.xml
include examples/cpp/comm-serialize/s4u-comm-serialize.cpp
include examples/cpp/comm-serialize/s4u-comm-serialize.tesh
include examples/cpp/comm-suspend/s4u-comm-suspend.cpp
include examples/cpp/comm-suspend/s4u-comm-suspend.tesh
-include examples/cpp/comm-suspend/s4u-comm-suspend_d.xml
+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-wait/s4u-comm-wait_d.xml
include examples/cpp/comm-waitall/s4u-comm-waitall.cpp
include examples/cpp/comm-waitall/s4u-comm-waitall.tesh
-include examples/cpp/comm-waitall/s4u-comm-waitall_d.xml
include examples/cpp/comm-waitany/s4u-comm-waitany.cpp
include examples/cpp/comm-waitany/s4u-comm-waitany.tesh
-include examples/cpp/comm-waitany/s4u-comm-waitany_d.xml
include examples/cpp/comm-waituntil/s4u-comm-waituntil.cpp
include examples/cpp/comm-waituntil/s4u-comm-waituntil.tesh
-include examples/cpp/comm-waituntil/s4u-comm-waituntil_d.xml
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/dht-kademlia/s4u-dht-kademlia.hpp
include examples/cpp/dht-kademlia/s4u-dht-kademlia.tesh
include examples/cpp/dht-kademlia/s4u-dht-kademlia_d.xml
-include examples/cpp/energy-boot/platform_boot.xml
include examples/cpp/energy-boot/s4u-energy-boot.cpp
include examples/cpp/energy-boot/s4u-energy-boot.tesh
include examples/cpp/energy-exec-ptask/s4u-energy-exec-ptask.cpp
include examples/cpp/exec-dvfs/s4u-exec-dvfs.tesh
include examples/cpp/exec-failure/s4u-exec-failure.cpp
include examples/cpp/exec-failure/s4u-exec-failure.tesh
+include examples/cpp/exec-ptask-multicore-latency/s4u-exec-ptask-multicore-latency.cpp
+include examples/cpp/exec-ptask-multicore-latency/s4u-exec-ptask-multicore-latency.tesh
include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.cpp
include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.tesh
include examples/cpp/exec-ptask/s4u-exec-ptask.cpp
include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh
include examples/cpp/mc-bugged1/s4u-mc-bugged1.cpp
include examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
+include examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness
+include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.cpp
+include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh
include examples/cpp/mc-bugged2/s4u-mc-bugged2.cpp
include examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
+include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp
+include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.tesh
include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.cpp
include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.cpp
include examples/cpp/platform-profile/s4u-platform-profile.tesh
include examples/cpp/platform-properties/s4u-platform-properties.cpp
include examples/cpp/platform-properties/s4u-platform-properties.tesh
-include examples/cpp/platform-properties/s4u-platform-properties_d.xml
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-link-load/s4u-plugin-link-load.cpp
include examples/deprecated/java/trace/pingpong/Receiver.java
include examples/deprecated/java/trace/pingpong/Sender.java
include examples/deprecated/java/trace/pingpong/trace-pingpong.tesh
-include examples/deprecated/msg/mc/bugged2-liveness.tesh
-include examples/deprecated/msg/mc/bugged2_liveness.c
-include examples/deprecated/msg/mc/centralized_mutex.c
-include examples/deprecated/msg/mc/centralized_mutex.tesh
-include examples/deprecated/msg/mc/deploy_bugged2_liveness.xml
-include examples/deprecated/msg/mc/deploy_centralized_mutex.xml
-include examples/deprecated/msg/mc/promela_bugged2_liveness
include examples/python/actor-create/actor-create.py
include examples/python/actor-create/actor-create.tesh
include examples/python/actor-daemon/actor-daemon.py
include examples/python/actor-suspend/actor-suspend.tesh
include examples/python/actor-yield/actor-yield.py
include examples/python/actor-yield/actor-yield.tesh
+include examples/python/app-masterworkers/app-masterworkers.py
+include examples/python/app-masterworkers/app-masterworkers.tesh
include examples/python/clusters-multicpu/clusters-multicpu.py
include examples/python/clusters-multicpu/clusters-multicpu.tesh
include examples/python/comm-wait/comm-wait.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
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
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
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
include docs/source/tuto_s4u/deployment1.xml
include docs/source/tuto_s4u/deployment2.xml
include docs/source/tuto_s4u/deployment3.xml
-include docs/source/tuto_s4u/deployment4.xml
+include docs/source/tuto_s4u/deployment5.xml
include docs/source/tuto_s4u/draw_gantt.R
include docs/source/tuto_s4u/img/Rscript-screenshot.png
include docs/source/tuto_s4u/img/intro.svg
include docs/source/tuto_s4u/img/result.png
include docs/source/tuto_s4u/img/vite-screenshot.png
include docs/source/tuto_s4u/master-workers-lab1.cpp
+include docs/source/tuto_s4u/master-workers-lab1.py
include docs/source/tuto_s4u/master-workers-lab2.cpp
+include docs/source/tuto_s4u/master-workers-lab2.py
include docs/source/tuto_s4u/master-workers-lab3.cpp
include docs/source/tuto_s4u/master-workers-lab4.cpp
include docs/source/tuto_smpi/3hosts.png
include examples/c/CMakeLists.txt
include examples/cpp/CMakeLists.txt
include examples/deprecated/java/CMakeLists.txt
-include examples/deprecated/msg/mc/CMakeLists.txt
include examples/platforms/CMakeLists.txt
include examples/platforms/bypassRoute.xml
include examples/platforms/bypassZoneRoute.xml
include examples/platforms/cluster_fat_tree.svg
include examples/platforms/cluster_fat_tree.xml
include examples/platforms/cluster_multi.xml
-include examples/platforms/cluster_prototype.lua
include examples/platforms/cluster_torus.svg
include examples/platforms/cluster_torus.xml
include examples/platforms/config.xml
include examples/platforms/crosstraffic.xml
include examples/platforms/data_center.xml
include examples/platforms/dogbone.xml
+include examples/platforms/energy_boot.xml
include examples/platforms/energy_cluster.xml
include examples/platforms/energy_platform.xml
include examples/platforms/faulty_host.xml
include examples/platforms/prop.xml
include examples/platforms/ptask_L07.xml
include examples/platforms/routing_cluster.cpp
-include examples/platforms/routing_cluster.lua
include examples/platforms/routing_cluster.xml
-include examples/platforms/routing_none.xml
include examples/platforms/simulacrum_7_hosts.xml
-include examples/platforms/small_platform.lua
include examples/platforms/small_platform.xml
-include examples/platforms/small_platform_constant.xml
include examples/platforms/small_platform_failures.xml
include examples/platforms/small_platform_fatpipe.xml
include examples/platforms/small_platform_one_link_routes.xml
include examples/platforms/small_platform_profile.xml
+include examples/platforms/small_platform_routing_none.xml
include examples/platforms/small_platform_with_routers.xml
include examples/platforms/storage/content/small_content.txt
include examples/platforms/storage/content/storage_content.txt
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/comm-wait/comm-wait_d.xml
-include examples/python/comm-waitall/comm-waitall_d.xml
-include examples/python/comm-waitany/comm-waitany_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
include src/bindings/java/org/simgrid/msg/TransferFailureException.java
include src/bindings/java/org/simgrid/msg/VM.java
include src/bindings/java/org/simgrid/trace/Trace.java
-include src/bindings/lua/lua_host.cpp
-include src/bindings/lua/lua_platf.cpp
-include src/bindings/lua/lua_private.hpp
-include src/bindings/lua/lua_utils.cpp
-include src/bindings/lua/lua_utils.hpp
-include src/bindings/lua/simgrid_lua.cpp
-include src/bindings/lua/simgrid_lua.hpp
include src/bindings/python/simgrid_python.cpp
+include src/dag/dax.dtd
+include src/dag/dax_dtd.c
+include src/dag/dax_dtd.h
+include src/dag/loaders.cpp
include src/include/catch.hpp
include src/include/mc/datatypes.h
include src/include/mc/mc.h
include src/kernel/resource/CpuImpl.hpp
include src/kernel/resource/DiskImpl.cpp
include src/kernel/resource/DiskImpl.hpp
+include src/kernel/resource/LinkImpl.cpp
+include src/kernel/resource/LinkImpl.hpp
include src/kernel/resource/Model.cpp
include src/kernel/resource/NetworkModelIntf_test.cpp
include src/kernel/resource/Resource.hpp
+include src/kernel/resource/SplitDuplexLinkImpl.cpp
+include src/kernel/resource/SplitDuplexLinkImpl.hpp
+include src/kernel/resource/SplitDuplexLinkImpl_test.cpp
+include src/kernel/resource/StandardLinkImpl.cpp
+include src/kernel/resource/StandardLinkImpl.hpp
include src/kernel/resource/VirtualMachineImpl.cpp
include src/kernel/resource/VirtualMachineImpl.hpp
+include src/kernel/resource/WifiLinkImpl.cpp
+include src/kernel/resource/WifiLinkImpl.hpp
include src/kernel/resource/profile/DatedValue.cpp
include src/kernel/resource/profile/DatedValue.hpp
include src/kernel/resource/profile/Event.hpp
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/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/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
include src/s4u/s4u_Netzone.cpp
include src/s4u/s4u_Semaphore.cpp
include src/s4u/s4u_VirtualMachine.cpp
-include src/simdag/dax.dtd
-include src/simdag/dax_dtd.c
-include src/simdag/dax_dtd.h
-include src/simdag/sd_daxloader.cpp
include src/simgrid/Exception.cpp
include src/simgrid/sg_config.cpp
include src/simgrid/sg_version.cpp
include src/smpi/smpitools.sh
include src/surf/HostImpl.cpp
include src/surf/HostImpl.hpp
-include src/surf/LinkImpl.cpp
-include src/surf/LinkImpl.hpp
-include src/surf/LinkImplIntf.hpp
-include src/surf/SplitDuplexLinkImpl.cpp
-include src/surf/SplitDuplexLinkImpl.hpp
-include src/surf/SplitDuplexLinkImpl_test.cpp
include src/surf/cpu_cas01.cpp
include src/surf/cpu_cas01.hpp
include src/surf/cpu_ti.cpp
include src/surf/network_constant.hpp
include src/surf/network_ib.cpp
include src/surf/network_ib.hpp
-include src/surf/network_interface.cpp
-include src/surf/network_interface.hpp
include src/surf/network_ns3.cpp
include src/surf/network_ns3.hpp
include src/surf/network_smpi.cpp
include src/surf/network_smpi.hpp
-include src/surf/network_wifi.cpp
-include src/surf/network_wifi.hpp
include src/surf/ns3/ns3_simulator.cpp
include src/surf/ns3/ns3_simulator.hpp
include src/surf/ptask_L07.cpp
include src/xbt/xbt_virtu.cpp
include teshsuite/java/CMakeLists.txt
include teshsuite/kernel/CMakeLists.txt
-include teshsuite/lua/CMakeLists.txt
-include teshsuite/lua/lua_platforms.tesh
include teshsuite/mc/CMakeLists.txt
include teshsuite/models/CMakeLists.txt
include teshsuite/msg/CMakeLists.txt
include tools/cmake/Modules/FindLibelf.cmake
include tools/cmake/Modules/FindLibevent.cmake
include tools/cmake/Modules/FindLibunwind.cmake
-include tools/cmake/Modules/FindLuaSimgrid.cmake
include tools/cmake/Modules/FindNS3.cmake
include tools/cmake/Modules/FindPAPI.cmake
include tools/cmake/Modules/FindValgrind.cmake
include tools/cmake/test_prog/prog_tsan.cpp
include tools/doxygen/list_routing_models_examples.sh
include tools/graphicator/CMakeLists.txt
-include tools/lualib.patch
include tools/smpi/generate_smpi_defines.pl
include tools/stack-cleaner/README
include tools/stack-cleaner/as