Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
another bunch of cleanups
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Tue, 17 Dec 2019 09:25:36 +0000 (10:25 +0100)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Tue, 17 Dec 2019 09:25:36 +0000 (10:25 +0100)
commit433d1f5fdc698c0511174016ee6be327da2d4821
tree0f9a41ea074edf49b8d4282519570ffa8ac3d7f9
parent647c960ac0316e9b067786eef385253a7a5e2cb4
another bunch of cleanups
src/mc/ModelChecker.cpp
src/mc/checker/Checker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/inspect/DwarfExpression.cpp
src/mc/inspect/ObjectInformation.cpp
src/mc/remote/Client.cpp
src/mc/sosp/PageStore.cpp
src/mc/sosp/Snapshot.cpp