Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
conflict with simgrid/master resolved
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Thu, 26 Nov 2020 10:05:37 +0000 (11:05 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Thu, 26 Nov 2020 10:05:37 +0000 (11:05 +0100)
commite5a9bd57b70358598fd4392291fd8f5aefb582c5
tree7bcf4580dfcb173fe73c42a59c78c4119899c006
parentb9f8f01f1e31a9cec9df207ad241e9c732790cc1
conflict with simgrid/master resolved
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp