Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: move some files related to ELF, DWARF or unwind reading into their own directory
[simgrid.git] / src / mc / Session.hpp
2019-03-11 Arnaud GierschMore references for parameters of type std::function.
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-04-08 Arnaud GierschUpdate copyright headers.
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched
2017-11-23 TakishippMerge branch 'actor-yield' of github.com:Takishipp...
2017-11-23 ZitagccMerge branch 'master' into actor-yield
2017-10-18 ZitagccMerge branch 'master' into actor-priority
2017-10-15 Martin QuinsonMerge branch 'actor-startkilltime' of https://github...
2017-10-15 Martin QuinsonMerge pull request #228 from Takishipp/actor-execute
2017-10-14 Arnaud GierschCosmetics: remove redundant access specifier.
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-26 Martin Quinsonchop, chop, chop includes
2017-05-25 Martin Quinsoncut some more includes
2017-05-23 Martin Quinsonremove (void) in C++
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-07-28 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-07-21 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-07-21 Gabriel Corona[mc] Documentation
2016-04-15 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-14 Gabriel Corona[mc] Move initial state into Session
2016-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-13 Gabriel Corona[mc] Move MC_print_statistics() as Session::logState()
2016-04-13 Gabriel Corona[mc] Add methods to Session
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Let the Checker give us the current record trace
2016-03-23 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-23 Gabriel Corona[mc] Move the (main) safety code as methods of SafetyCh...
2016-03-23 Gabriel Corona[mc] Working on an interface between a model-checking...