Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Split TransitionAny and TransitionRandom to their own files
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 23:05:13 +0000 (00:05 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 23:17:22 +0000 (00:17 +0100)
commit90b0fa923c841996f89a17c252a443a65493fbfc
treed509aa99fe5f30bb9cd8dab7cb3ba7fb6206b338
parent5893c19532da2f5789d464899785c1c68e8646b4
Split TransitionAny and TransitionRandom to their own files
16 files changed:
MANIFEST.in
src/kernel/actor/SimcallObserver.hpp
src/mc/ModelChecker.cpp
src/mc/api/State.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_record.cpp
src/mc/transition/Transition.cpp [new file with mode: 0644]
src/mc/transition/Transition.hpp [moved from src/mc/api/Transition.hpp with 83% similarity]
src/mc/transition/TransitionAny.cpp [new file with mode: 0644]
src/mc/transition/TransitionAny.hpp [new file with mode: 0644]
src/mc/transition/TransitionComm.cpp [moved from src/mc/api/TransitionComm.cpp with 70% similarity]
src/mc/transition/TransitionComm.hpp [moved from src/mc/api/TransitionComm.hpp with 81% similarity]
src/mc/transition/TransitionRandom.cpp [moved from src/mc/api/Transition.cpp with 50% similarity]
src/mc/transition/TransitionRandom.hpp [new file with mode: 0644]
tools/cmake/DefinePackages.cmake