AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / mc_visited.cpp

2016-03-29	Gabriel Corona	[mc] Move VisitedPair alongside with LivenessChecker	blob \| commitdiff \| raw
2016-03-29	Gabriel Corona	[mc] Move some snapshot_compare() overload with their...	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
2016-03-23	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Remove some globals from is_visted_state()	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Extract prune_visited_states() out of is_visited_s...	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Use std::equal_range in is_visited_state()	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Use std::equal_range in get_search_range()	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Use a single templated code for get_search_interval	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Move some liveness code in the liveness file ...	blob \| commitdiff \| raw \| diff to current
2016-03-18	Gabriel Corona	[mc] Use C++ containers for visited_states	blob \| commitdiff \| raw \| diff to current
2016-03-18	Gabriel Corona	[mc] Fix VisitedState constructor	blob \| commitdiff \| raw \| diff to current
2016-03-13	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2016-03-13	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-11	Gabriel Corona	[mc] Remove useless extern "C" around logging categories	blob \| commitdiff \| raw \| diff to current
2016-03-11	Gabriel Corona	[mc] Move some SIMIX inspection code in the Process...	blob \| commitdiff \| raw \| diff to current
2016-03-08	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Fix typo in dommunications determinism	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Move mc_safety code in simgrid::mc	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Use C++ ctor/new/delete for VisitedPair	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	unique_ptr for dynar, automaton, swag, etc.	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Remove commented out code (parallel code)	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Move mc_liveness code in simgrid::mc	blob \| commitdiff \| raw \| diff to current
2016-03-07	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-07	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2016-03-07	Gabriel Corona	[mc] Simplify the control flow	blob \| commitdiff \| raw \| diff to current
2016-03-04	Julien Gossa	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-03	Gabriel Corona	[mc] Make SimixProcessInformation a real C++ object	blob \| commitdiff \| raw \| diff to current
2016-02-27	Martin Quinson	Merge pull request #65 from fabienchaix/master	blob \| commitdiff \| raw \| diff to current
2016-02-26	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] s/NULL/nullptr/	blob \| commitdiff \| raw \| diff to current
2016-02-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	Remove/cleanup/fix some #include	blob \| commitdiff \| raw \| diff to current
2016-02-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] Move some code into simgrid::mc namespace	blob \| commitdiff \| raw \| diff to current
2015-12-11	Luka Stanisic	Merging changes done by Steven, Samuel and Luka, regard...	blob \| commitdiff \| raw \| diff to current
2015-11-26	Gabriel Corona	[mc] Better #includes	blob \| commitdiff \| raw \| diff to current
2015-10-25	Martin Quinson	Reduce the amount of implicit include directories	blob \| commitdiff \| raw \| diff to current
2015-10-13	Martin Quinson	Merge branch 'S4U'	blob \| commitdiff \| raw \| diff to current
2015-10-09	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2015-10-09	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Move MC_important_snapshot() as a method of ModelC...	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Move some code out of is_visited_state()	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Reduce the scope of some variables in mc_visited.cpp	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Factorisation in mc_visited.cpp	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Remove Process.is_self()	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp	blob \| commitdiff \| raw \| diff to current
2015-10-02	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-02	Gabriel Corona	[mc] Bring back soft-dirty tracking from the dead 💀	blob \| commitdiff \| raw \| diff to current
2015-08-09	Martin Quinson	Merge branch 'master' into S4U	blob \| commitdiff \| raw \| diff to current
2015-08-05	Martin Quinson	Update copyright notices	blob \| commitdiff \| raw \| diff to current
2015-07-24	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-07-23	Gabriel Corona	[mc] Remove a lot of typedefs and typedef usage	blob \| commitdiff \| raw \| diff to current
2015-05-21	Gabriel Corona	[mc] Add remote_ptr for marking pointers-to/addresses...	blob \| commitdiff \| raw \| diff to current
2015-05-21	Gabriel Corona	[mc] Make C++ classes out of addres_space, process...	blob \| commitdiff \| raw \| diff to current
2015-05-19	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2015-04-28	Gabriel Corona	[mc] Multiple heap removal (partial)	blob \| commitdiff \| raw \| diff to current
2015-04-27	Gabriel Corona	Merge branch 'master' into mc	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] C++ class ModelChecker	blob \| commitdiff \| raw \| diff to current
2015-04-16	Gabriel Corona	[mc] Switch to C++	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom