Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: snake_case the checkers
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 28 May 2019 09:23:03 +0000 (11:23 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 28 May 2019 09:23:24 +0000 (11:23 +0200)
commit90136cb8268510961005b533a970c61282a1f37c
tree832da5e0e35e7aebf74744b7a1d3534466534b21
parentfa99c09da4eba77232ea090dd79e6dfa98e783dc
mc: snake_case the checkers
src/mc/ModelChecker.cpp
src/mc/Session.cpp
src/mc/checker/Checker.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SafetyChecker.hpp
src/mc/mc_global.cpp
src/mc/mc_record.cpp