set(MC_SRC_BASE
src/mc/mc_base.cpp
- src/mc/mc_base.h
+ src/mc/mc_base.hpp
src/mc/mc_record.hpp
src/mc/mc_replay.hpp
src/mc/mc_record.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_global.cpp
+ src/mc/checker/SimcallInspector.cpp
+ src/mc/checker/SimcallInspector.hpp
)
set(MC_SRC
src/mc/checker/CommunicationDeterminismChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SafetyChecker.hpp
- src/mc/checker/SimcallInspector.hpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp
src/mc/checker/UdporChecker.cpp
include/simgrid/plugins/file_system.h
include/simgrid/plugins/live_migration.h
include/simgrid/plugins/load.h
- include/simgrid/smpi/replay.hpp
+ include/simgrid/smpi/smpi_replay.hpp
include/simgrid/instr.h
include/simgrid/mailbox.h
include/simgrid/simdag.h
include/xbt/file.hpp
include/xbt/functional.hpp
include/xbt/function_types.h
- include/xbt/future.hpp
include/xbt/graph.h
include/xbt/log.h
include/xbt/log.hpp
include/xbt/PropertyHolder.hpp
include/xbt/parmap.h
include/xbt/parse_units.hpp
+ include/xbt/promise.hpp
include/xbt/range.hpp
include/xbt/random.hpp
include/xbt/replay.hpp
docs/source/Doxyfile
docs/find-missing.ignore
docs/find-missing.py
- docs/source/_ext/autodoxy.py
docs/source/_ext/showfile.css
docs/source/_ext/showfile.js
docs/source/_ext/showfile.py
${CMAKE_HOME_DIRECTORY}/doc/webcruft/eclipseScreenShot.png
${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
- ${CMAKE_HOME_DIRECTORY}/doc/webcruft/storage_sample_scenario.png
${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
# Add your CMakeLists file here to see your subdir built.
set(CMAKEFILES_TXT
examples/c/CMakeLists.txt
- examples/s4u/CMakeLists.txt
+ examples/cpp/CMakeLists.txt
examples/smpi/CMakeLists.txt
examples/smpi/NAS/CMakeLists.txt
examples/smpi/smpi_s4u_masterworker/CMakeLists.txt
teshsuite/kernel/CMakeLists.txt
teshsuite/lua/CMakeLists.txt
teshsuite/mc/CMakeLists.txt
+ teshsuite/models/CMakeLists.txt
teshsuite/msg/CMakeLists.txt
teshsuite/python/CMakeLists.txt
teshsuite/s4u/CMakeLists.txt
teshsuite/simdag/CMakeLists.txt
- teshsuite/simix/CMakeLists.txt
teshsuite/smpi/CMakeLists.txt
teshsuite/surf/CMakeLists.txt
teshsuite/xbt/CMakeLists.txt
examples/platforms/multicore_machine.xml
examples/platforms/ns3-big-cluster.xml
examples/platforms/onelink.xml
+ examples/platforms/ptask_L07.xml
examples/platforms/prop.xml
examples/platforms/routing_cluster.xml
examples/platforms/routing_cluster.lua