Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d7bdfc) | patch
handle_comm_pattern() defined in CommunicationDeterminismChecker class,
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 16:34:23 +0000 (17:34 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 16:34:23 +0000 (17:34 +0100)
commite6dcda80c72f6c1c092cf257c308812fe4442599
treebe6610ed7201d581e7da1993810bc1a91f0a07eatree | snapshot
parent2d7bdfc30255974b245bd79b55243155a51ef2f8commit | diff
handle_comm_pattern() defined in CommunicationDeterminismChecker class,
mc_api::get_comm_wait_raw_addr() and mc_api::get_comm_waitany_raw_addr()
are used in handle_comm_pattern()
src/mc/checker/CommunicationDeterminismChecker.cpp diff | blob | history
src/mc/checker/CommunicationDeterminismChecker.hpp diff | blob | history
src/mc/mc_comm_pattern.cpp diff | blob | history
src/mc/mc_comm_pattern.hpp diff | blob | history
Clone of SimGrid repository with local patches