Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename mc::Checker to mc::Exploration as it defines an exploration algo
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 21 Feb 2022 21:25:55 +0000 (22:25 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 21 Feb 2022 21:30:35 +0000 (22:30 +0100)
commitebadbf7894190d4c66238842db5f8931adb7df5b
tree09267c11292c5d3c2981646528b8445bda16082f
parenta6e4a812f0edc58eeb342f0c990122eabf51e6ec
Rename mc::Checker to mc::Exploration as it defines an exploration algo
19 files changed:
MANIFEST.in
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Session.cpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/explo/CommunicationDeterminismChecker.cpp [moved from src/mc/checker/CommunicationDeterminismChecker.cpp with 95% similarity]
src/mc/explo/Exploration.hpp [moved from src/mc/checker/Checker.hpp with 75% similarity]
src/mc/explo/LivenessChecker.cpp [moved from src/mc/checker/LivenessChecker.cpp with 84% similarity]
src/mc/explo/LivenessChecker.hpp [moved from src/mc/checker/LivenessChecker.hpp with 84% similarity]
src/mc/explo/SafetyChecker.cpp [moved from src/mc/checker/SafetyChecker.cpp with 98% similarity]
src/mc/explo/SafetyChecker.hpp [moved from src/mc/checker/SafetyChecker.hpp with 97% similarity]
src/mc/explo/UdporChecker.cpp [moved from src/mc/checker/UdporChecker.cpp with 79% similarity]
src/mc/explo/UdporChecker.hpp [moved from src/mc/checker/UdporChecker.hpp with 87% similarity]
src/mc/explo/simgrid_mc.cpp [moved from src/mc/checker/simgrid_mc.cpp with 90% similarity]
src/mc/mc_forward.hpp
src/mc/mc_global.cpp
src/mc/mc_record.cpp
tools/cmake/DefinePackages.cmake