Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
snake_case some surviving camels
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 1 Apr 2021 19:02:15 +0000 (21:02 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 1 Apr 2021 19:02:15 +0000 (21:02 +0200)
commitc01e4bd2bda6eef36cba3a20241b6f8cff23f102
tree28788e1c14140ac50dc171f77ec5d30f4af076f0
parente6922052a379f423787d14dafec9d41e37713ebc
snake_case some surviving camels
src/mc/api.cpp
src/mc/checker/Checker.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/UdporChecker.cpp