Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Simplify the serialization protocol to implement TestAny & WaitAny in a moment
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 18:10:43 +0000 (19:10 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 18:10:43 +0000 (19:10 +0100)
commit4118c5ef84abd079c5b785e9e72bb5a1a9ac129d
tree106fa20c17a6fa86437793e8e9a5064d16b12cbd
parent00b5e6bff7b5ddc1d2830e1d1c39e1b192502464
Simplify the serialization protocol to implement TestAny & WaitAny in a moment
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/ModelChecker.cpp
src/mc/api/Transition.cpp
src/mc/api/Transition.hpp
src/mc/api/TransitionComm.cpp
src/mc/api/TransitionComm.hpp
src/mc/remote/AppSide.cpp
src/mc/remote/mc_protocol.h