Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move some SIMIX inspection code in the Process class
[simgrid.git] / src / mc / mc_visited.cpp
2016-03-11 Gabriel Corona[mc] Move some SIMIX inspection code in the Process...
2016-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-08 Gabriel Corona[mc] Fix typo in dommunications determinism
2016-03-08 Gabriel Corona[mc] Move mc_safety code in simgrid::mc
2016-03-08 Gabriel Corona[mc] Use C++ ctor/new/delete for VisitedPair
2016-03-08 Gabriel Coronaunique_ptr for dynar, automaton, swag, etc.
2016-03-08 Gabriel Corona[mc] Remove commented out code (parallel code)
2016-03-08 Gabriel Corona[mc] Move mc_liveness code in simgrid::mc
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-07 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-07 Gabriel Corona[mc] Simplify the control flow
2016-03-04 Julien GossaMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-03 Gabriel Corona[mc] Make SimixProcessInformation a real C++ object
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
2016-02-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-26 Gabriel Corona[mc] s/NULL/nullptr/
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel CoronaRemove/cleanup/fix some #include
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Move some code into simgrid::mc namespace
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-09 Gabriel Corona[mc] Move MC_important_snapshot() as a method of ModelC...
2015-10-09 Gabriel Corona[mc] Move some code out of is_visited_state()
2015-10-09 Gabriel Corona[mc] Reduce the scope of some variables in mc_visited.cpp
2015-10-09 Gabriel Corona[mc] Factorisation in mc_visited.cpp
2015-10-09 Gabriel Corona[mc] Remove Process.is_self()
2015-10-09 Gabriel Corona[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-02 Gabriel Corona[mc] Bring back soft-dirty tracking from the dead 💀
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage
2015-05-21 Gabriel Corona[mc] Add remote_ptr for marking pointers-to/addresses...
2015-05-21 Gabriel Corona[mc] Make C++ classes out of addres_space, process...
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-04-28 Gabriel Corona[mc] Multiple heap removal (partial)
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-16 Gabriel Corona[mc] Switch to C++