Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cut some more includes
[simgrid.git] / src / mc / mc_safety.h
2017-05-25 Martin Quinsoncut some more includes
2017-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-08 Martin Quinsonfix copyright years and other psychotic cleanups
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-06-28 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-06-24 Gabriel CoronaRemove some useless #includes
2016-04-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-06 Gabriel Corona[mc] Fix #includes
2016-04-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-04 Gabriel Corona[mc] Move VisitedState stuffs in their own .c file
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Use shared_ptr for Snapshot
2016-03-29 Gabriel Corona[mc] Making a State a class
2016-03-29 Gabriel Corona[mc] Move some snapshot_compare() overload with their...
2016-03-23 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-23 Gabriel Corona[mc] Remove some globals from is_visted_state()
2016-03-23 Gabriel Corona[mc] Do not use a dangerous guess-the-type logic in...
2016-03-23 Gabriel Corona[mc] Dummy SafetyChecker class
2016-03-18 Gabriel Corona[mc] Use C++ containers for visited_states
2016-03-18 Gabriel Corona[mc] Fix VisitedState constructor
2016-03-15 Gabriel Corona[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h
2016-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-08 Gabriel Corona[mc] Move mc_safety code in simgrid::mc
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 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel CoronaRemove/cleanup/fix some #include
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-12 Gabriel Corona[mc] Replace some exit() calls by return
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-01 Gabriel Corona[mc] Mark some internal symbols as hidden on ELF in mc
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-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-06-29 Gabriel Corona[mc] Fix include guards
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-05-07 Gabriel Corona[mc] Mark many MC symbols as hidden
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] Remove mc_interface.h
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-09 Marion Guthmullermodel-checker : intermediate backtracking with model...
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-02 Gabriel Corona[mc] Modularise header files for MC