Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
log_state has nothing to do in RemoteApp, it belongs to the exploration
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 2 Aug 2022 20:56:47 +0000 (22:56 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 2 Aug 2022 21:29:53 +0000 (23:29 +0200)
commit3690ed44d179e57962bb0f4e377057314cd79455
treefac45c30d27cbf714a9201bae8c80d474c39163c
parentad55653c7ce92d24ea3c5e3caa7828db31653226
log_state has nothing to do in RemoteApp, it belongs to the exploration
MANIFEST.in
src/mc/ModelChecker.cpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/Exploration.cpp [new file with mode: 0644]
src/mc/explo/Exploration.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/UdporChecker.cpp
tools/cmake/DefinePackages.cmake