Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Update copyright lines for 2022.
[simgrid.git] / src / mc / Session.hpp
2022-01-06 Arnaud GierschUpdate copyright lines for 2022.
2021-03-14 Martin QuinsonGive an explicit name to the session singleton
2021-03-14 Martin QuinsonThe checker has the session and don't need the API...
2021-01-13 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2021-01-12 Arnaud GierschUpdate copyright lines.
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-09-30 Martin QuinsonMerge branch 'adrien' into 'master'
2020-09-30 Martin QuinsonMerge branch 'master' into adrien
2020-09-26 Martin QuinsonMerge branch 'master' of framagit.org:Adrien.Gougeon...
2020-07-03 Clément CourageuxMerge remote-tracking branch 'upstream/master' into...
2020-07-02 Arnaud Giersch[sonar] Declare functions "const" in src/mc/.
2020-05-06 Martin QuinsonMC: move a function around + cosmetics
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random'
2020-01-24 Frederic SuterMerge branch 'depencencies' of https://framagit.org...
2020-01-01 Arnaud GierschUpdate copyright lines with new year.
2019-10-07 Frederic SuterMerge branch 'master' into CRTP
2019-07-09 Arnaud GierschSpecify visibility (hide warning).
2019-06-15 Martin Quinsonsonar: ignore more issues, hide commented code, add...
2019-06-10 Martin Quinsoncode simplification in MC start sequence
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-28 Martin Quinsonmc: snake_case a class
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-05-23 Martin Quinsonfix some typo in the comments, just to launch a rebuild...
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...