Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b0d4aa) | patch
[mc] Duplicate restoreState() as a method of SafetyChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 12:58:24 +0000 (14:58 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 12:58:28 +0000 (14:58 +0200)
commitaf53a6d1fbdda6d8d5523d1284927e8c72e24f91
tree09fe25da833d7f40f8f2498842901d033503cf11tree | snapshot
parent2b0d4aa36f4ef3a0e253b6104b317b5737e075e8commit | diff
[mc] Duplicate restoreState() as a method of SafetyChecker

* it is much simpler in this form;

* we should focus on making a nice Session API for SafetyChecker and
  then expand it for other algorithms.
src/mc/SafetyChecker.cpp diff | blob | history
src/mc/SafetyChecker.hpp diff | blob | history
Clone of SimGrid repository with local patches