Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CommDet shall become an extension of the SafetyChecker
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 15 Feb 2022 08:42:55 +0000 (09:42 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 17 Feb 2022 09:27:32 +0000 (10:27 +0100)
commit162424b0ac640baa56b0ca9bc158ef9743f0c4ac
tree0e2dc6641567e6e7240624be23aa0ba14ddb82a7
parentd6a2b0f0aba81936ce0cc2fdf971d0a40ed0a1a4
CommDet shall become an extension of the SafetyChecker
MANIFEST.in
src/mc/api.cpp
src/mc/api/State.hpp
src/mc/checker/Checker.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp
src/mc/mc_comm_pattern.hpp [deleted file]
src/mc/mc_global.cpp
tools/cmake/DefinePackages.cmake