Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the memory handling of RemoteProcessMemory singleton from ModelChecker to Checke...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 13:50:37 +0000 (14:50 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 13:50:37 +0000 (14:50 +0100)
commit16f7a7fb199ebea9d85106b74a5e7378038fc6df
treefcba22da80419f2250dc92c1afa413a560e383cc
parent1f7ae620b5e74e6d7b364807ef04b6c869f7d744
Move the memory handling of RemoteProcessMemory singleton from ModelChecker to CheckerSide
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/mc/sosp/Snapshot_test.cpp