Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
That was a nasty optimization :-/
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Mar 2021 19:51:01 +0000 (20:51 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Mar 2021 19:51:01 +0000 (20:51 +0100)
commit2aac7c5860b2fd99281cade5183f688ccefa29c2
tree1dc8a4474119b3fa93b0a73ce44e3d5f92b5fa8c
parentc9334bdc630e6aebbf245639d87521b8f3c664b7
That was a nasty optimization :-/
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_request.hpp