Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce2e676) | patch
[mc] Remove Snapshot::is_important_snapshot()
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 29 Mar 2016 09:46:03 +0000 (11:46 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 29 Mar 2016 10:58:51 +0000 (12:58 +0200)
commitcbbb07080a0f34d57baf2bf136f0b17954947b89
tree24480bfb2a2f740fc2b31fe1ffec7cd13a066427tree | snapshot
parentce2e676ad127f782b9c959499ab1c042195e411acommit | diff
[mc] Remove Snapshot::is_important_snapshot()

It was only used in order to manage the lifetime of snapshot instances.
src/mc/LivenessChecker.cpp diff | blob | history
src/mc/ModelChecker.hpp diff | blob | history
Clone of SimGrid repository with local patches