Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Cosmetics: remove redundant access specifier.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 13 Oct 2017 10:07:49 +0000 (12:07 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 14 Oct 2017 21:48:41 +0000 (23:48 +0200)
commitfb7ae778e5908c72ae16db143a1eb98ec3930db3
tree268ccab183ff698d53250aa92c80a98f0dbffb7d
parent2a7e80deb337549e4351be039d1d728600d88f17
Cosmetics: remove redundant access specifier.
src/mc/ModelChecker.hpp
src/mc/PageStore.hpp
src/mc/RegionSnapshot.hpp
src/mc/Session.hpp
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.hpp
src/mc/remote/RemoteClient.hpp