Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 01:58:15 +0000 (02:58 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 02:09:04 +0000 (03:09 +0100)
commite9a884e745ad230410dde4af838d5727fd33edd0
treee0efcdfb565b863a1dc09ba939c58ffdf4179269
parent3ed8cddf1b2849cb3db5139684348bd64d47b09e
cosmetics
src/mc/api.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/simgrid_mc.cpp