Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Better responsabilities splitup between CheckerSide and RemoteProcessMemory
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 14:57:19 +0000 (15:57 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 15:02:31 +0000 (16:02 +0100)
commita78e55a602586cf557968132c2d8c30af758af25
tree22c6ffceb612862b045e14dd1ba7a6b1e7d01634
parent0450cc3993fd6914ee4c9c47ee8261a250b58cd7
Better responsabilities splitup between CheckerSide and RemoteProcessMemory
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/Exploration.cpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/mc/sosp/RemoteProcessMemory.cpp
src/mc/sosp/RemoteProcessMemory.hpp