Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemotePtr in get_dst_actor()
authoreazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 18:06:32 +0000 (19:06 +0100)
committereazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 18:06:32 +0000 (19:06 +0100)
commit8e814f47bdb7c2255d5f504bb31147dc0ade3c50
tree376d7899fd825b63d7e726d82671c0002654e814
parent2b730418290199eb1fc45d4c764396b5faa5115a
RemotePtr in get_dst_actor()
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp