Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Compile the safe part of MC in default mode too
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 21:48:26 +0000 (23:48 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 21:48:32 +0000 (23:48 +0200)
commit7a1d9713c8dd8a96686f75acb428b2e4dcb08c1f
treed163436088b444c2713193e19d5fb21b43f0f186
parentcb495f2fff67af8d686bc9e78b83828bb114c50c
Compile the safe part of MC in default mode too

Safety properties (with no checkpointing) are not requiring anything
weird nowadays. Liveness properties, communication determinism and
state-equality reductions are not considered safe as they still need
some memory introspection black magic.
22 files changed:
CMakeLists.txt
docs/source/Installing_SimGrid.rst
examples/cpp/CMakeLists.txt
examples/sthread/CMakeLists.txt
src/kernel/EngineImpl.cpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/api/State.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/Exploration.cpp
src/mc/explo/simgrid_mc.cpp
src/mc/mc_client_api.cpp
src/mc/mc_config.cpp
src/mc/mc_record.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/mc/transition/Transition.cpp
src/mc/transition/TransitionComm.cpp
teshsuite/mc/CMakeLists.txt
tools/cmake/DefinePackages.cmake
tools/cmake/MakeLib.cmake