AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / LivenessChecker.hpp

2016-04-15	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw
2016-04-15	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw
2016-04-14	Gabriel Corona	[mc] Move mc_global stuff into LivenessChecker	blob \| commitdiff \| raw
2016-04-14	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Move mc_stats.expanded_states into the Checkers	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Livenesschecker, make private stuff private	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Move liveness stats out of mc_stats into LivenessC...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Delegate some part of Session::logState() to Check...	blob \| commitdiff \| raw \| diff to current
2016-04-06	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-06	Gabriel Corona	[mc] Fix #includes	blob \| commitdiff \| raw \| diff to current
2016-04-04	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-04	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-04	Gabriel Corona	[mc] Use shared_ptr for liveness propositions	blob \| commitdiff \| raw \| diff to current
2016-04-03	degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-01	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-01	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-01	Gabriel Corona	[mc] Rename livenessStack to explorationStack	blob \| commitdiff \| raw \| diff to current
2016-04-01	Gabriel Corona	[mc] Factor out Livenesschecker::newPair()	blob \| commitdiff \| raw \| diff to current
2016-04-01	Gabriel Corona	[mc] Create LivenessChecker::backtrack()	blob \| commitdiff \| raw \| diff to current
2016-04-01	Gabriel Corona	[mc] Only #include LivenessChecker.hpp in LivenessCheck...	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Add LivenessChecker::purgeVisitedPairs() method	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Use shared_ptr for Pair	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Remove VisitedPair::acceptance_pair	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Type some boolean variable as such	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Use std::vector for liveness {Pair,VisitedPair...	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Move global variables as fields of LivenessChecker	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Use std::shared_ptr for VisitedPair in LivenessChecker	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Use std::list for LivenessChecker::visited_pairs	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Move visited_pairs as a static field of LivenessCh...	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Use std::shared_ptr for State in LivenessChecker	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Use std::list for LivenessChecker::acceptance_pairs	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Use std::list instead of xbt_fifo for the stack...	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Fix #includes in LivenessChecker	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Scope the global variables in LivenessChecker	blob \| commitdiff \| raw \| diff to current
2016-03-29	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] Making a State a class	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] Let the Checker give us the current trace	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] Let the Checker give us the current record trace	blob \| commitdiff \| raw \| diff to current
2016-03-24	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-24	Gabriel Corona	[mc] Move main liveness code in a LivenessChecker class	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom