Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't compute the dependencies locally in the checker, but through the observers...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 5 Feb 2022 22:57:33 +0000 (23:57 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 5 Feb 2022 23:11:15 +0000 (00:11 +0100)
commitd89ca681772fdaafdd69049d4d66676a4e98de38
tree33b1a6b7245985fc77a42f5e28eea9e0a91c386c
parent633e43364d48cd418a245a388998da4dc26732cf
Don't compute the dependencies locally in the checker, but through the observers over the network
13 files changed:
src/kernel/actor/SimcallObserver.cpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_state.hpp
src/mc/remote/AppSide.cpp
src/mc/remote/AppSide.hpp
src/mc/remote/RemoteProcess.cpp
src/mc/remote/mc_protocol.h