Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemotePtr in get_src_actor()
authoreazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 18:04:13 +0000 (19:04 +0100)
committereazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 18:04:13 +0000 (19:04 +0100)
commit2b730418290199eb1fc45d4c764396b5faa5115a
tree33628c8e1d88c582f5ab572572c78bec652b482f
parent62416145364e2fc5842f3f8bb23190f69f431262
RemotePtr in get_src_actor()
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp