Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add the MPI tag to the Send/Recv Transitions
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 19:53:18 +0000 (20:53 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 19:53:18 +0000 (20:53 +0100)
commit964924f05516c25accb7be21f22a5aa022a4e985
treecab4cb01606fb03c85b92f1a7e3b162491b92392
parent0a0541f587bd06f6aeadab4ea88185c597460b56
Add the MPI tag to the Send/Recv Transitions
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/api/TransitionComm.cpp
src/mc/api/TransitionComm.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/smpi/mpi/smpi_request.cpp