Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 22 Jan 2017 21:27:33 +0000 (22:27 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 22 Jan 2017 21:57:17 +0000 (22:57 +0100)
commitb99c0d78b25704a61225be8a8b5c47b246afe22a
tree091ba074cd7fdca5d7eefa1199271247a246c560
parent76673935f66c0e1606bb1cdc05f37be3c0a135b1
cosmetics
include/simgrid/modelchecker.h
src/include/mc/mc.h
src/mc/Process.hpp
src/mc/VisitedState.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_config.cpp
src/mc/mc_state.cpp