src/xbt/log_private.hpp
src/xbt/mallocator_private.h
src/xbt/parmap.hpp
- src/xbt/xbt_modinter.h
src/xbt/mmalloc/mmalloc.h
src/xbt/mmalloc/mfree.c
src/xbt/xbt_log_appender_file.cpp
src/xbt/xbt_log_layout_format.cpp
src/xbt/xbt_log_layout_simple.cpp
- src/xbt/xbt_main.cpp
+ src/xbt/xbt_misc.cpp
src/xbt/xbt_os_file.cpp
src/xbt/xbt_os_time.c
src/xbt/xbt_parse_units.cpp
src/xbt/xbt_replay.cpp
src/xbt/xbt_str.cpp
- src/xbt/xbt_virtu.cpp
+ src/xbt/utils/iter/subsets.hpp
+ src/xbt/utils/iter/powerset.hpp
+ src/xbt/utils/iter/LazyKSubsets.hpp
+ src/xbt/utils/iter/LazyPowerset.hpp
)
if(HAVE_MMALLOC)
src/mc/explo/udpor/UnfoldingEvent.hpp
src/mc/explo/udpor/Unfolding.cpp
src/mc/explo/udpor/Unfolding.hpp
+ src/mc/explo/udpor/udpor_forward.hpp
src/mc/inspect/DwarfExpression.cpp
src/mc/inspect/DwarfExpression.hpp
docs/source/_static/css/custom.css
docs/source/_templates/breadcrumbs.html
+ docs/source/img/design-scheduling-parallel.svg
+ docs/source/img/design-scheduling-simulatedtime.svg
+ docs/source/img/design-scheduling-wallclock.svg
docs/source/img/eclipseScreenShot.png
docs/source/img/extlink.png
docs/source/img/extlink.svg