Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
further reduce the amount of call sites for RemoteProcess::actors()
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 15:11:26 +0000 (17:11 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 30 Jul 2022 16:22:07 +0000 (18:22 +0200)
commit992bc1ec57d376cf14b124ea21b58b30f1e162f9
tree3dc79972b40c756db39b3a3e1c558033ec2b125c
parentb7ccbeaf200b74493e2060045c23d47fd01048d9
further reduce the amount of call sites for RemoteProcess::actors()
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/api.hpp
src/mc/compare.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp