src/include/xbt/coverage.h
src/include/xbt/parmap.hpp
src/include/xbt/mmalloc.h
+ src/include/xbt/xbt_modinter.h
src/include/catch.hpp
src/include/xxhash.hpp
src/mc/mc_mmu.hpp
src/xbt/xbt_replay.cpp
src/xbt/xbt_str.cpp
src/xbt/xbt_virtu.cpp
- src/xbt_modinter.h
)
if(HAVE_MMALLOC)
src/kernel/routing/FullZone.cpp
src/kernel/routing/NetPoint.cpp
src/kernel/routing/NetZoneImpl.cpp
- src/kernel/routing/TorusZone.cpp
src/kernel/routing/RoutedZone.cpp
+ src/kernel/routing/StarZone.cpp
+ src/kernel/routing/TorusZone.cpp
src/kernel/routing/VivaldiZone.cpp
src/kernel/routing/WifiZone.cpp
src/kernel/activity/SynchroRaw.hpp
src/kernel/actor/ActorImpl.cpp
src/kernel/actor/ActorImpl.hpp
+ src/kernel/actor/SimcallObserver.cpp
+ src/kernel/actor/SimcallObserver.hpp
${SIMIX_GENERATED_SRC}
)
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_global.cpp
- src/mc/checker/SimcallObserver.cpp
- src/mc/checker/SimcallObserver.hpp
)
set(MC_SRC
include/simgrid/kernel/routing/NetPoint.hpp
include/simgrid/kernel/routing/NetZoneImpl.hpp
include/simgrid/kernel/routing/RoutedZone.hpp
+ include/simgrid/kernel/routing/StarZone.hpp
include/simgrid/kernel/routing/TorusZone.hpp
include/simgrid/kernel/routing/VivaldiZone.hpp
include/simgrid/kernel/routing/WifiZone.hpp
include/xbt/signal.hpp
include/xbt/str.h
include/xbt/string.hpp
- include/xbt/synchro.h
include/xbt/sysdep.h
include/xbt/system_error.hpp
include/xbt/utility.hpp
docs/manpages/tesh.pod
docs/Build.sh
+ docs/README.md
docs/bin/extract_logs_hierarchy.pl
docs/requirements.txt
docs/source/conf.py
docs/source/tuto_smpi/gemm_mpi.cpp
docs/source/tuto_smpi/roundtrip.c
+ docs/source/Tutorial_Model-checking.rst
+
CITATION.bib
)