Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC::remote: snake case
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 May 2019 09:38:17 +0000 (11:38 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 May 2019 09:53:26 +0000 (11:53 +0200)
commit8f57bc97b644d249c36bb311efe044557bc046ed
treebeed1ee889440e9716fdd22e7a0f5b3ad813748d
parent39cf43e4e190f5053b971b13ff1a1d82ebea5dba
MC::remote: snake case
17 files changed:
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_client_api.cpp
src/mc/mc_global.cpp
src/mc/mc_request.cpp
src/mc/mc_smx.cpp
src/mc/mc_state.cpp
src/mc/remote/Channel.hpp
src/mc/remote/Client.cpp
src/mc/remote/Client.hpp
src/mc/remote/RemoteClient.cpp
src/mc/remote/RemoteClient.hpp
src/mc/remote/RemotePtr.hpp
src/mc/sosp/mc_snapshot.cpp