Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move dot_label() from Observer to Transition (+ some reorgs)
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 11:30:10 +0000 (12:30 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 12 Feb 2022 11:30:10 +0000 (12:30 +0100)
commit3b12e64243918b9f086546bb55cadb11c1ec7ef4
tree1eae7a42906b825468d9de495b6d294791fbaeab
parent47db20bafefbde4e0acbc38d530bf9ee942994af
Move dot_label() from Observer to Transition (+ some reorgs)
16 files changed:
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/api/Transition.cpp
src/mc/api/Transition.hpp
src/mc/api/TransitionComm.cpp
src/mc/api/TransitionComm.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_record.cpp
src/mc/remote/AppSide.cpp
src/mc/remote/mc_protocol.h