Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the PageStore from ModelChecker to RemoteApp
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Mar 2023 23:30:29 +0000 (00:30 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 3 Mar 2023 10:37:32 +0000 (11:37 +0100)
commit00e79d1291f14583564ed0eba2d5e56ee30bf7d3
tree4de2948e91573d0b4a080d66e1dd2aaef1a97385
parentd872d0c0ec6694fee02a2ede409ad22fcab9258c
Move the PageStore from ModelChecker to RemoteApp
15 files changed:
src/mc/ModelChecker.hpp
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
src/mc/sosp/Region.cpp
src/mc/sosp/Region.hpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp
src/mc/sosp/Snapshot_test.cpp