Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemotePtr as the input parameter type in get_pattern_comm_rdv()
authoreazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 12:16:29 +0000 (13:16 +0100)
committereazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 12:19:47 +0000 (13:19 +0100)
commit46bee330f12265d985ada4464d888145afcf7170
tree2ff6927c4d367fe9041dbb3ab10910a46b1fc435
parent3d4cb6ec05e53f0a6ed651bed3fb9b996c3e3481
RemotePtr as the input parameter type in get_pattern_comm_rdv()
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp