Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move the (main) safety code as methods of SafetyChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 21 Mar 2016 15:54:11 +0000 (16:54 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 10:19:04 +0000 (11:19 +0100)
commit324f5f6d1ff9d97894561e04693fe4fb76a573d7
treee237b5476537bb36c31a315bebcc28e45593a2d9
parent873fe7743b2a9f2eddc53ed3383bdd74bb3fe226
[mc] Move the (main) safety code as methods of SafetyChecker
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/simgrid_mc.cpp