Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
RemotePtr in update_comm_pattern()
authoreazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:35:24 +0000 (14:35 +0100)
committereazimi <azimi.ehsan@outlook.com>
Wed, 27 Jan 2021 13:35:24 +0000 (14:35 +0100)
commit3bdb5b15fc9b82c43f676b57fd20af8d1ff412df
treef88381d7cd209a949fed2e2e1786a1e832247c64
parent489c455add169a1b2673341db68a96eefdfadf5c
RemotePtr in update_comm_pattern()
src/mc/checker/CommunicationDeterminismChecker.cpp