Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge mc_safety.hpp into DFSExplorer class
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 7 Aug 2022 22:29:08 +0000 (00:29 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 7 Aug 2022 22:33:46 +0000 (00:33 +0200)
commit4e2e0c7b210a6e58e5f73abd197c8accfd215a0d
tree8e13085ebcac8fea1bec95e085b6830949fba46b
parent5f2e051a9bb2b088d3b3543982d3a244b7b7b1c4
Merge mc_safety.hpp into DFSExplorer class
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/explo/Exploration.hpp
src/mc/explo/simgrid_mc.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_global.cpp
src/mc/mc_safety.hpp [deleted file]
tools/cmake/DefinePackages.cmake