Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: snake_case a class
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 28 May 2019 08:34:49 +0000 (10:34 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 28 May 2019 09:23:24 +0000 (11:23 +0200)
commitfa99c09da4eba77232ea090dd79e6dfa98e783dc
tree5d732d5fa0509fe1ebc59503d7c644b10d9a6b77
parent026942606020b281e430912ea77340fc2a13bf5f
mc: snake_case a class
src/mc/ModelChecker.cpp
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_global.cpp