include examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh
include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.cpp
include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.tesh
+include examples/cpp/torus-multicpu/s4u-torus-multicpu.cpp
+include examples/cpp/torus-multicpu/s4u-torus-multicpu.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
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 include/simgrid/kernel/routing/NetPoint.hpp
include include/simgrid/kernel/routing/NetZoneImpl.hpp
include include/simgrid/kernel/routing/RoutedZone.hpp
+include include/simgrid/kernel/routing/StarZone.hpp
include include/simgrid/kernel/routing/TorusZone.hpp
include include/simgrid/kernel/routing/VivaldiZone.hpp
include include/simgrid/kernel/routing/WifiZone.hpp
include include/simgrid/simdag.h
include include/simgrid/simix.h
include include/simgrid/simix.hpp
-include include/simgrid/simix/blocking_simcall.hpp
include include/simgrid/smpi/smpi_replay.hpp
include include/simgrid/version.h.in
include include/simgrid/vm.h
include include/xbt/signal.hpp
include include/xbt/str.h
include include/xbt/string.hpp
-include include/xbt/synchro.h
include include/xbt/sysdep.h
include include/xbt/system_error.hpp
include include/xbt/utility.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/instr/instr_config.cpp
include src/instr/instr_interface.cpp
include src/kernel/activity/SynchroRaw.hpp
include src/kernel/actor/ActorImpl.cpp
include src/kernel/actor/ActorImpl.hpp
+include src/kernel/actor/SimcallObserver.cpp
+include src/kernel/actor/SimcallObserver.hpp
include src/kernel/context/Context.cpp
include src/kernel/context/Context.hpp
include src/kernel/context/ContextBoost.cpp
include src/kernel/resource/DiskImpl.cpp
include src/kernel/resource/DiskImpl.hpp
include src/kernel/resource/Model.cpp
-include src/kernel/resource/Resource.cpp
include src/kernel/resource/profile/DatedValue.cpp
include src/kernel/resource/profile/DatedValue.hpp
include src/kernel/resource/profile/Event.hpp
include src/kernel/routing/NetPoint.cpp
include src/kernel/routing/NetZoneImpl.cpp
include src/kernel/routing/RoutedZone.cpp
+include src/kernel/routing/StarZone.cpp
+include src/kernel/routing/StarZone_test.cpp
include src/kernel/routing/TorusZone.cpp
+include src/kernel/routing/TorusZone_test.cpp
include src/kernel/routing/VivaldiZone.cpp
include src/kernel/routing/WifiZone.cpp
include src/mc/AddressSpace.hpp
include src/mc/checker/LivenessChecker.hpp
include src/mc/checker/SafetyChecker.cpp
include src/mc/checker/SafetyChecker.hpp
-include src/mc/checker/SimcallObserver.cpp
-include src/mc/checker/SimcallObserver.hpp
include src/mc/checker/UdporChecker.cpp
include src/mc/checker/UdporChecker.hpp
include src/mc/checker/simgrid_mc.cpp
include src/xbt/xbt_str.cpp
include src/xbt/xbt_str_test.cpp
include src/xbt/xbt_virtu.cpp
-include src/xbt_modinter.h
include teshsuite/java/CMakeLists.txt
include teshsuite/kernel/CMakeLists.txt
include teshsuite/lua/CMakeLists.txt