Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Implement WaitAnyTransition
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 13 Feb 2022 21:19:46 +0000 (22:19 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 13 Feb 2022 21:47:36 +0000 (22:47 +0100)
commit58cfad482a8c3ff22faee05a3f17bad26b8a5a0c
treea67439d193ff23defd26f5f1ae0c3737e00be3fd
parentee9f004ac482ef560ec71cbcc42663bd81185a27
Implement WaitAnyTransition
src/kernel/activity/CommImpl.cpp
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/api/Transition.hpp
src/mc/api/TransitionComm.cpp
src/mc/api/TransitionComm.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp