Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Start moving classes into the mc/api directory
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 18:27:29 +0000 (19:27 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 18:30:03 +0000 (19:30 +0100)
commita3bd84b0137a58fad3300f954dbc43328ff1410e
tree69798d5c9cfd611dad1b50d3efae386366cb5f52
parentd34fd82d9f988a857f4f68c546400dc6637dcc41
Start moving classes into the mc/api directory
15 files changed:
MANIFEST.in
src/mc/ModelChecker.cpp
src/mc/Session.cpp
src/mc/VisitedState.hpp
src/mc/api.hpp
src/mc/api/State.cpp [moved from src/mc/mc_state.cpp with 96% similarity]
src/mc/api/State.hpp [moved from src/mc/mc_state.hpp with 96% similarity]
src/mc/api/Transition.cpp [moved from src/mc/Transition.cpp with 94% similarity]
src/mc/api/Transition.hpp [moved from src/mc/Transition.hpp with 100% similarity]
src/mc/api/TransitionComm.cpp [moved from src/mc/TransitionComm.cpp with 98% similarity]
src/mc/api/TransitionComm.hpp [moved from src/mc/TransitionComm.hpp with 97% similarity]
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_record.cpp
tools/cmake/DefinePackages.cmake