Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC (so that MC can be optional...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 22:58:56 +0000 (00:58 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 22:58:56 +0000 (00:58 +0200)
commit824740eb0df1dedddb86035ff3730d87e037f356
treef9cb9cfe97c76602a15e84d3428d0deccbfabb16
parentd66e96ca98cc03b22059763fdab1146af5e5fadb
Rename SIMGRID_HAVE_MC into SIMGRID_HAVE_STATEFUL_MC (so that MC can be optional again)
32 files changed:
CMakeLists.txt
examples/cpp/CMakeLists.txt
examples/smpi/CMakeLists.txt
examples/sthread/CMakeLists.txt
include/simgrid/config.h.in
include/smpi/mpi.h
src/kernel/actor/Simcall.cpp
src/kernel/context/ContextSwapped.cpp
src/kernel/context/ContextUnix.cpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/explo/Exploration.cpp
src/mc/explo/simgrid_mc.cpp
src/mc/mc_base.cpp
src/mc/mc_config.cpp
src/mc/mc_global.cpp
src/mc/mc_record.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/mc/transition/TransitionActorJoin.cpp
src/mc/transition/TransitionAny.cpp
src/simgrid/sg_version.cpp
src/smpi/internals/smpi_config.cpp
teshsuite/mc/CMakeLists.txt
tools/cmake/CTestConfig.cmake
tools/cmake/DefinePackages.cmake
tools/cmake/Tests.cmake