set(EXTRA_DIST
src/3rd-party/catch.hpp
- src/3rd-party/xxhash.hpp
src/bindings/python/simgrid_python.cpp
src/dag/dax.dtd
src/dag/dax_dtd.c
src/plugins/ProducerConsumer.cpp
src/plugins/chaos_monkey.cpp
src/plugins/file_system/s4u_FileSystem.cpp
- src/plugins/host_dvfs.cpp
src/plugins/host_energy.cpp
src/plugins/host_load.cpp
src/plugins/jbod.cpp
src/mc/explo/odpor/Execution.cpp
src/mc/explo/odpor/Execution.hpp
- src/mc/explo/odpor/ReversibleRaceCalculator.cpp
- src/mc/explo/odpor/ReversibleRaceCalculator.hpp
src/mc/explo/odpor/WakeupTree.cpp
src/mc/explo/odpor/WakeupTree.hpp
src/mc/explo/odpor/WakeupTreeIterator.cpp
include/simgrid/chrono.hpp
include/simgrid/plugins/battery.hpp
include/simgrid/plugins/chiller.hpp
- include/simgrid/plugins/dvfs.h
include/simgrid/plugins/energy.h
include/simgrid/plugins/file_system.h
include/simgrid/plugins/jbod.hpp