Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of github.com:simgrid/simgrid into dev_11
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Thu, 26 Nov 2020 08:46:43 +0000 (09:46 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Thu, 26 Nov 2020 08:46:43 +0000 (09:46 +0100)
commitb9f8f01f1e31a9cec9df207ad241e9c732790cc1
tree653482b45810b4078deb209d4630da8a1b5c49a4
parent50102ec1c30562e20d450afa7015374387bf1904
parentbbee364affc4b73fd8394844cb80759054409411
Merge branch 'master' of github.com:simgrid/simgrid into dev_11
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp