include examples/smpi/trace_simple/trace_simple.tesh
include examples/sthread/pthread-mc-mutex-simple.tesh
include examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
+include examples/sthread/pthread-mc-producer-consumer.tesh
include examples/sthread/pthread-mutex-simple.c
include examples/sthread/pthread-mutex-simple.tesh
include examples/sthread/pthread-mutex-simpledeadlock.c
+include examples/sthread/pthread-producer-consumer.c
+include examples/sthread/pthread-producer-consumer.tesh
+include examples/sthread/stdobject/stdobject.cpp
+include examples/sthread/stdobject/stdobject.tesh
include examples/sthread/sthread-mutex-simple.c
include examples/sthread/sthread-mutex-simple.tesh
-include src/include/catch_simgrid.hpp
+include teshsuite/catch_simgrid.hpp
include teshsuite/kernel/context-defaults/context-defaults.cpp
include teshsuite/kernel/context-defaults/factory_boost.tesh
include teshsuite/kernel/context-defaults/factory_raw.tesh
include teshsuite/models/cm02-set-lat-bw/cm02-set-lat-bw.tesh
include teshsuite/models/cm02-tcpgamma/cm02-tcpgamma.cpp
include teshsuite/models/cm02-tcpgamma/cm02-tcpgamma.tesh
+include teshsuite/models/core_usage/core_usage.cpp
+include teshsuite/models/core_usage/core_usage.tesh
+include teshsuite/models/core_usage2/core_usage2.cpp
+include teshsuite/models/core_usage2/core_usage2.tesh
include teshsuite/models/issue105/issue105.cpp
include teshsuite/models/issue105/issue105.tesh
+include teshsuite/models/lmm_usage/lmm_usage.cpp
+include teshsuite/models/lmm_usage/lmm_usage.tesh
+include teshsuite/models/maxmin_bench/maxmin_bench.cpp
+include teshsuite/models/maxmin_bench/maxmin_bench_large.tesh
+include teshsuite/models/maxmin_bench/maxmin_bench_medium.tesh
+include teshsuite/models/maxmin_bench/maxmin_bench_small.tesh
include teshsuite/models/ptask-subflows/ptask-subflows.cpp
include teshsuite/models/ptask-subflows/ptask-subflows.tesh
include teshsuite/models/ptask_L07_usage/ptask_L07_usage.cpp
include teshsuite/smpi/type-struct/type-struct.tesh
include teshsuite/smpi/type-vector/type-vector.c
include teshsuite/smpi/type-vector/type-vector.tesh
-include teshsuite/surf/lmm_usage/lmm_usage.cpp
-include teshsuite/surf/lmm_usage/lmm_usage.tesh
-include teshsuite/surf/maxmin_bench/maxmin_bench.cpp
-include teshsuite/surf/maxmin_bench/maxmin_bench_large.tesh
-include teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh
-include teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh
-include teshsuite/surf/surf_usage/surf_usage.cpp
-include teshsuite/surf/surf_usage/surf_usage.tesh
-include teshsuite/surf/surf_usage2/surf_usage2.cpp
-include teshsuite/surf/surf_usage2/surf_usage2.tesh
include teshsuite/xbt/cmdline/cmdline.c
include teshsuite/xbt/cmdline/cmdline.tesh
include teshsuite/xbt/log_large/log_large.c
include docs/source/Start_your_own_project.rst
include docs/source/The_XBT_toolbox.rst
include docs/source/Tutorial_Algorithms.rst
+include docs/source/Tutorial_DAG.rst
include docs/source/Tutorial_MPI_Applications.rst
include docs/source/Tutorial_Model-checking.rst
include docs/source/XML_reference.rst
include docs/source/application.rst
include docs/source/community.rst
include docs/source/conf.py
+include docs/source/img/design-scheduling-parallel.svg
+include docs/source/img/design-scheduling-simulatedtime.svg
+include docs/source/img/design-scheduling-wallclock.svg
include docs/source/img/eclipseScreenShot.png
include docs/source/img/extlink.png
include docs/source/img/extlink.svg
include docs/source/img/graphical-toc.svg
include docs/source/img/lmm-overview.svg
+include docs/source/img/plugin-energy.svg
include docs/source/img/smpi_simgrid_alltoall_pair_16.png
include docs/source/img/smpi_simgrid_alltoall_ring_16.png
include docs/source/img/starzone.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
include include/xbt/virtu.h
include include/xbt/xbt_os_time.h
include setup.py
+include src/3rd-party/catch.hpp
+include src/3rd-party/xxhash.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/include/simgrid/sg_config.hpp
-include src/include/xbt/coverage.h
-include src/include/xbt/mmalloc.h
-include src/include/xbt/parmap.hpp
-include src/include/xbt/xbt_modinter.h
-include src/include/xxhash.hpp
+include src/deprecated.cpp
include src/instr/instr_config.cpp
include src/instr/instr_interface.cpp
include src/instr/instr_paje_containers.cpp
include src/kernel/resource/DiskImpl.hpp
include src/kernel/resource/FactorSet.cpp
include src/kernel/resource/FactorSet.hpp
+include src/kernel/resource/HostImpl.cpp
+include src/kernel/resource/HostImpl.hpp
include src/kernel/resource/LinkImpl.hpp
include src/kernel/resource/Model.cpp
include src/kernel/resource/NetworkModel.cpp
include src/kernel/resource/VirtualMachineImpl.hpp
include src/kernel/resource/WifiLinkImpl.cpp
include src/kernel/resource/WifiLinkImpl.hpp
+include src/kernel/resource/models/cpu_cas01.cpp
+include src/kernel/resource/models/cpu_cas01.hpp
+include src/kernel/resource/models/cpu_ti.cpp
+include src/kernel/resource/models/cpu_ti.hpp
+include src/kernel/resource/models/disk_s19.cpp
+include src/kernel/resource/models/disk_s19.hpp
+include src/kernel/resource/models/host_clm03.cpp
+include src/kernel/resource/models/host_clm03.hpp
+include src/kernel/resource/models/network_cm02.cpp
+include src/kernel/resource/models/network_cm02.hpp
+include src/kernel/resource/models/network_constant.cpp
+include src/kernel/resource/models/network_constant.hpp
+include src/kernel/resource/models/network_ib.cpp
+include src/kernel/resource/models/network_ib.hpp
+include src/kernel/resource/models/network_ns3.cpp
+include src/kernel/resource/models/network_ns3.hpp
+include src/kernel/resource/models/ns3/ns3_simulator.cpp
+include src/kernel/resource/models/ns3/ns3_simulator.hpp
+include src/kernel/resource/models/ptask_L07.cpp
+include src/kernel/resource/models/ptask_L07.hpp
include src/kernel/resource/profile/Event.hpp
include src/kernel/resource/profile/FutureEvtSet.cpp
include src/kernel/resource/profile/FutureEvtSet.hpp
include src/kernel/routing/VivaldiZone.cpp
include src/kernel/routing/WifiZone.cpp
include src/kernel/timer/Timer.cpp
+include src/kernel/xml/platf.hpp
+include src/kernel/xml/platf_private.hpp
+include src/kernel/xml/platf_sax_cb.cpp
+include src/kernel/xml/sg_platf.cpp
+include src/kernel/xml/simgrid.dtd
+include src/kernel/xml/simgrid_dtd.c
+include src/kernel/xml/simgrid_dtd.h
include src/mc/AddressSpace.hpp
-include src/mc/ModelChecker.cpp
-include src/mc/ModelChecker.hpp
include src/mc/VisitedState.cpp
include src/mc/VisitedState.hpp
include src/mc/api/ActorState.hpp
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/compare.cpp
+include src/mc/datatypes.h
include src/mc/explo/CommunicationDeterminismChecker.cpp
include src/mc/explo/DFSExplorer.cpp
include src/mc/explo/DFSExplorer.hpp
include src/mc/explo/UdporChecker.cpp
include src/mc/explo/UdporChecker.hpp
include src/mc/explo/simgrid_mc.cpp
+include src/mc/explo/udpor/Comb.hpp
+include src/mc/explo/udpor/Configuration.cpp
+include src/mc/explo/udpor/Configuration.hpp
+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/History.cpp
+include src/mc/explo/udpor/History.hpp
+include src/mc/explo/udpor/History_test.cpp
+include src/mc/explo/udpor/Unfolding.cpp
+include src/mc/explo/udpor/Unfolding.hpp
+include src/mc/explo/udpor/UnfoldingEvent.cpp
+include src/mc/explo/udpor/UnfoldingEvent.hpp
+include src/mc/explo/udpor/UnfoldingEvent_test.cpp
+include src/mc/explo/udpor/Unfolding_test.cpp
+include src/mc/explo/udpor/maximal_subsets_iterator.cpp
+include src/mc/explo/udpor/maximal_subsets_iterator.hpp
+include src/mc/explo/udpor/udpor_forward.hpp
+include src/mc/explo/udpor/udpor_tests_private.hpp
include src/mc/inspect/DwarfExpression.cpp
include src/mc/inspect/DwarfExpression.hpp
include src/mc/inspect/Frame.cpp
include src/mc/inspect/mc_unw.cpp
include src/mc/inspect/mc_unw.hpp
include src/mc/inspect/mc_unw_vmread.cpp
+include src/mc/mc.h
include src/mc/mc_base.cpp
include src/mc/mc_base.hpp
include src/mc/mc_client_api.cpp
include src/mc/remote/Channel.hpp
include src/mc/remote/CheckerSide.cpp
include src/mc/remote/CheckerSide.hpp
-include src/mc/remote/RemoteProcess.cpp
-include src/mc/remote/RemoteProcess.hpp
include src/mc/remote/RemotePtr.hpp
include src/mc/remote/mc_protocol.h
include src/mc/sosp/ChunkedData.cpp
include src/mc/sosp/PageStore_test.cpp
include src/mc/sosp/Region.cpp
include src/mc/sosp/Region.hpp
+include src/mc/sosp/RemoteProcessMemory.cpp
+include src/mc/sosp/RemoteProcessMemory.hpp
include src/mc/sosp/Snapshot.cpp
include src/mc/sosp/Snapshot.hpp
include src/mc/sosp/Snapshot_test.cpp
include src/mc/transition/TransitionAny.hpp
include src/mc/transition/TransitionComm.cpp
include src/mc/transition/TransitionComm.hpp
+include src/mc/transition/TransitionObjectAccess.cpp
+include src/mc/transition/TransitionObjectAccess.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/plugins/ProducerConsumer.cpp
include src/plugins/chaos_monkey.cpp
include src/plugins/file_system/s4u_FileSystem.cpp
include src/s4u/s4u_Semaphore.cpp
include src/s4u/s4u_VirtualMachine.cpp
include src/simgrid/Exception.cpp
+include src/simgrid/math_utils.h
include src/simgrid/module.cpp
include src/simgrid/module.hpp
include src/simgrid/sg_config.cpp
+include src/simgrid/sg_config.hpp
include src/simgrid/sg_version.cpp
include src/simgrid/util.hpp
-include src/simix/libsmx.cpp
include src/smpi/bindings/smpi_f77.cpp
include src/smpi/bindings/smpi_f77_coll.cpp
include src/smpi/bindings/smpi_f77_comm.cpp
include src/smpi/smpiff.in
include src/smpi/smpirun.in
include src/smpi/smpitools.sh
+include src/sthread/ObjectAccess.cpp
include src/sthread/sthread.c
include src/sthread/sthread.h
include src/sthread/sthread_impl.cpp
-include src/surf/HostImpl.cpp
-include src/surf/HostImpl.hpp
-include src/surf/cpu_cas01.cpp
-include src/surf/cpu_cas01.hpp
-include src/surf/cpu_ti.cpp
-include src/surf/cpu_ti.hpp
-include src/surf/disk_s19.cpp
-include src/surf/disk_s19.hpp
-include src/surf/host_clm03.cpp
-include src/surf/host_clm03.hpp
-include src/surf/network_cm02.cpp
-include src/surf/network_cm02.hpp
-include src/surf/network_constant.cpp
-include src/surf/network_constant.hpp
-include src/surf/network_ib.cpp
-include src/surf/network_ib.hpp
-include src/surf/network_ns3.cpp
-include src/surf/network_ns3.hpp
-include src/surf/ns3/ns3_simulator.cpp
-include src/surf/ns3/ns3_simulator.hpp
-include src/surf/ptask_L07.cpp
-include src/surf/ptask_L07.hpp
-include src/surf/sg_platf.cpp
-include src/surf/surf_interface.hpp
-include src/surf/xml/platf.hpp
-include src/surf/xml/platf_private.hpp
-include src/surf/xml/simgrid.dtd
-include src/surf/xml/simgrid_dtd.c
-include src/surf/xml/simgrid_dtd.h
-include src/surf/xml/surfxml_parseplatf.cpp
-include src/surf/xml/surfxml_sax_cb.cpp
include src/xbt/OsSemaphore.hpp
include src/xbt/PropertyHolder.cpp
include src/xbt/automaton/automaton.c
include src/xbt/backtrace.cpp
include src/xbt/config.cpp
include src/xbt/config_test.cpp
+include src/xbt/coverage.h
include src/xbt/dict.cpp
include src/xbt/dict_cursor.c
include src/xbt/dict_elm.c
include src/xbt/mmalloc/mm_legacy.c
include src/xbt/mmalloc/mm_module.c
include src/xbt/mmalloc/mmalloc.c
+include src/xbt/mmalloc/mmalloc.h
include src/xbt/mmalloc/mmalloc.info
include src/xbt/mmalloc/mmalloc.texi
include src/xbt/mmalloc/mmorecore.c
include src/xbt/mmalloc/swag.c
include src/xbt/mmalloc/swag.h
include src/xbt/parmap.cpp
+include src/xbt/parmap.hpp
include src/xbt/random.cpp
include src/xbt/random_test.cpp
include src/xbt/snprintf.c
include src/xbt/string.cpp
include src/xbt/unit-tests_main.cpp
+include src/xbt/utils/iter/LazyKSubsets.hpp
+include src/xbt/utils/iter/LazyPowerset.hpp
+include src/xbt/utils/iter/iterator_wrapping.hpp
+include src/xbt/utils/iter/powerset.hpp
+include src/xbt/utils/iter/subsets.hpp
+include src/xbt/utils/iter/subsets_tests.cpp
+include src/xbt/utils/iter/variable_for_loop.hpp
include src/xbt/xbt_log_appender_file.cpp
include src/xbt/xbt_log_layout_format.cpp
include src/xbt/xbt_log_layout_simple.cpp
-include src/xbt/xbt_main.cpp
+include src/xbt/xbt_misc.cpp
include src/xbt/xbt_os_file.cpp
include src/xbt/xbt_os_time.c
include src/xbt/xbt_parse_units.cpp
include src/xbt/xbt_replay.cpp
include src/xbt/xbt_str.cpp
include src/xbt/xbt_str_test.cpp
-include src/xbt/xbt_virtu.cpp
include teshsuite/kernel/CMakeLists.txt
include teshsuite/mc/CMakeLists.txt
include teshsuite/models/CMakeLists.txt
include teshsuite/smpi/mpich3-test/pt2pt/CMakeLists.txt
include teshsuite/smpi/mpich3-test/rma/CMakeLists.txt
include teshsuite/smpi/mpich3-test/topo/CMakeLists.txt
-include teshsuite/surf/CMakeLists.txt
include teshsuite/xbt/CMakeLists.txt
include tools/CMakeLists.txt
include tools/cmake/CTestConfig.cmake
include tools/cmake/Modules/FindNS3.cmake
include tools/cmake/Modules/FindPAPI.cmake
include tools/cmake/Modules/FindValgrind.cmake
+include tools/cmake/Modules/nlohmann_jsonConfig.cmake
include tools/cmake/Modules/pybind11Config.cmake
include tools/cmake/Option.cmake
include tools/cmake/Tests.cmake
