include examples/cpp/plugin-host-load/s4u-plugin-host-load.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
+include examples/cpp/plugin-prodcons/s4u-plugin-prodcons.tesh
include examples/cpp/replay-comm/s4u-replay-comm-split-p0.txt
include examples/cpp/replay-comm/s4u-replay-comm-split-p1.txt
include examples/cpp/replay-comm/s4u-replay-comm-split_d.xml
include include/simgrid/jedule/jedule_events.hpp
include include/simgrid/jedule/jedule_platform.hpp
include include/simgrid/jedule/jedule_sd_binding.h
+include include/simgrid/kernel/Timer.hpp
include include/simgrid/kernel/future.hpp
include include/simgrid/kernel/resource/Action.hpp
include include/simgrid/kernel/resource/Model.hpp
+include include/simgrid/kernel/resource/NetworkModelIntf.hpp
include include/simgrid/kernel/resource/Resource.hpp
include include/simgrid/kernel/routing/ClusterZone.hpp
include include/simgrid/kernel/routing/DijkstraZone.hpp
include include/simgrid/modelchecker.h
include include/simgrid/msg.h
include include/simgrid/mutex.h
+include include/simgrid/plugins/ProducerConsumer.hpp
include include/simgrid/plugins/dvfs.h
include include/simgrid/plugins/energy.h
include include/simgrid/plugins/file_system.h
include src/kernel/routing/TorusZone_test.cpp
include src/kernel/routing/VivaldiZone.cpp
include src/kernel/routing/WifiZone.cpp
+include src/kernel/timer/Timer.cpp
include src/mc/AddressSpace.hpp
include src/mc/ModelChecker.cpp
include src/mc/ModelChecker.hpp