Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc_api::get_pattern_comm_addr() is renamed to mc_api::get_comm_isend_raw_addr()
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 16:18:13 +0000 (17:18 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 16:18:13 +0000 (17:18 +0100)
commit9f9eacbd59910b9bce3a39e41ce1d966f9a60c4c
tree6daf7f96627bcea2b2ed09d9284a873e68cafd1b
parent2e4717650c3facc83cd37fd4296dcc6795fdda46
mc_api::get_pattern_comm_addr() is renamed to mc_api::get_comm_isend_raw_addr()
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp