Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Finally kill the now empty ModelChecker class
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 14:01:44 +0000 (15:01 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 19 Mar 2023 14:01:44 +0000 (15:01 +0100)
commitc4da7e409e2f6d39b72ea32f61d04da85a126a28
treef19d6dc733cc906b08423b35d0a93ed4b2a202de
parent16f7a7fb199ebea9d85106b74a5e7378038fc6df
Finally kill the now empty ModelChecker class
18 files changed:
MANIFEST.in
src/mc/ModelChecker.cpp [deleted file]
src/mc/ModelChecker.hpp [deleted file]
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/Exploration.cpp
src/mc/mc_base.cpp
src/mc/mc_forward.hpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
src/mc/sosp/Region.cpp
src/mc/sosp/Snapshot.hpp
src/mc/sosp/Snapshot_test.cpp
src/mc/transition/Transition.cpp
src/mc/transition/TransitionActorJoin.cpp
src/mc/transition/TransitionAny.cpp
src/mc/transition/TransitionComm.cpp
tools/cmake/DefinePackages.cmake