Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
move the checker algorithms to their own directory
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 13 Jan 2017 21:47:08 +0000 (22:47 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 14 Jan 2017 00:54:17 +0000 (01:54 +0100)
commitbdef81fa4e3566ce31b435deb98fea7b8fe70e6e
tree74ab00a46835e010bb8baa66c2cc9deb4c3478cf
parent1c74d5445a84d41600a92559db3e1a4b16e7bc57
move the checker algorithms to their own directory
15 files changed:
src/mc/ModelChecker.cpp
src/mc/Session.cpp
src/mc/checker/Checker.cpp [moved from src/mc/Checker.cpp with 95% similarity]
src/mc/checker/Checker.hpp [moved from src/mc/Checker.hpp with 100% similarity]
src/mc/checker/CommunicationDeterminismChecker.cpp [moved from src/mc/CommunicationDeterminismChecker.cpp with 99% similarity]
src/mc/checker/CommunicationDeterminismChecker.hpp [moved from src/mc/CommunicationDeterminismChecker.hpp with 97% similarity]
src/mc/checker/LivenessChecker.cpp [moved from src/mc/LivenessChecker.cpp with 99% similarity]
src/mc/checker/LivenessChecker.hpp [moved from src/mc/LivenessChecker.hpp with 98% similarity]
src/mc/checker/SafetyChecker.cpp [moved from src/mc/SafetyChecker.cpp with 99% similarity]
src/mc/checker/SafetyChecker.hpp [moved from src/mc/SafetyChecker.hpp with 97% similarity]
src/mc/checker/simgrid_mc.cpp [moved from src/mc/simgrid_mc.cpp with 98% similarity]
src/mc/mc_comm_pattern.cpp
src/mc/mc_global.cpp
src/mc/mc_record.cpp
tools/cmake/DefinePackages.cmake