Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add new entry in Release_Notes.
[simgrid.git] / src / mc / Session.cpp
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master'
2022-08-02 Martin QuinsonRename mc::Session into mc::api::RemoteApp
2022-07-30 Martin QuinsonFinally kill mc::RemoteProcess::actors(). We now commun...
2022-07-11 Martin QuinsonThe variable is named LD_BIND_NOW so these lines were...
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar).
2022-02-28 Arnaud GierschOne less global variable: session_singleton.
2022-02-24 Arnaud GierschEnsure that MC session and checker are deleted.
2022-02-21 Martin QuinsonRename mc::Checker to mc::Exploration as it defines...
2022-02-20 Martin QuinsonSonar fixes (const, variable shadowing)
2022-02-19 Martin QuinsonMC: move a check_deadlock from ModelChecker to Session...
2022-02-11 Martin QuinsonStart moving classes into the mc/api directory
2022-02-07 Martin QuinsonMC: inline a function
2022-02-05 Martin QuinsonDon't compute the dependencies locally in the checker...
2022-01-06 Arnaud GierschUpdate copyright lines for 2022.
2021-09-17 SUTER FredericMerge branch 'no_simix_global'
2021-09-17 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid...
2021-09-17 SUTER Fredericget rid of simix_global and smx_private.hpp
2021-04-30 Arnaud GierschMissing includes.
2021-04-03 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-04-02 Arnaud GierschAvoid a local variable only used by xbt_assert.
2021-04-01 Arnaud GierschZero-initialize struct to avoid valgrind warnings.
2021-03-30 Arnaud GierschRemove function calls with side effects from xbt_assert.
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-03-14 Martin QuinsonRename model_checker->get_remote_simulation() into...
2021-03-13 Martin QuinsonRename mc::RemoteSimulation into mc::RemoteProcess
2021-03-07 Arnaud GierschZero-initialize struct to avoid valgrind warnings.
2021-01-13 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2021-01-12 Arnaud GierschUpdate copyright lines.
2020-12-15 Augustin DegommeMerge branch 'Adrien.Gougeon/simgrid-master'
2020-11-26 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid...
2020-11-25 Arnaud GierschEnum class for MC call types, and MC comm pattern diffe...
2020-11-25 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid...
2020-11-25 Arnaud GierschOnce again, use sd::array instead of C-style arrays.
2020-11-22 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2020-11-20 Arnaud GierschUse more std::string.
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-10-22 adrien gougeonMerge branch 'master' of framagit.org:Adrien.Gougeon...
2020-10-22 AdrienMerge branch 'master' into 'master'
2020-10-20 Arnaud Giersch[sonar] Use template parameter.
2020-10-19 Arnaud GierschCorrect a few a/an.
2020-10-08 Martin QuinsonMerge branch 'klement/simgrid-klement' into master
2020-10-05 Arnaud GierschMore uses of std::make_unique.
2020-10-02 Arnaud Giersch[sonar] Use "std::make_unique" to construct "std::uniqu...
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-09 Martin QuinsonMC: Further renamings
2020-05-06 Martin QuinsonMC: actually remove the comm channel from RemoteClientM...
2020-05-06 Martin QuinsonMC: rename remote/RemoteClient -> remote/RemoteClientMe...
2020-05-06 Martin QuinsonMC: move a function around + cosmetics
2020-05-06 Martin QuinsonMC: tiny code simplifications
2020-05-05 Martin Quinsonfurther simplify the MC initialization
2020-05-05 Martin Quinsonsimplify the MC initialization by using only one env...
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random'
2020-01-30 Frederic SuterMerge branch 'master' into depencencies
2020-01-29 Martin QuinsonMC: various cleanups done while debugging something
2020-01-24 Frederic SuterMerge branch 'depencencies' of https://framagit.org...
2020-01-01 Arnaud GierschUpdate copyright lines with new year.
2019-12-06 Augustin Degommestill some missing includes.
2019-12-06 Frederic Suteradd missing include for smpi_options
2019-12-05 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-12-04 Martin QuinsonMerge branch 'doc' into 'master'
2019-12-04 Augustin Degommehelp mc initialize smpi options.
2019-12-04 Augustin Degommefix MC build
2019-10-07 Frederic SuterMerge branch 'master' into CRTP
2019-06-14 Arnaud GierschMerge remote-tracking branch 'github/master'
2019-06-11 Martin QuinsonMC: cosmetics
2019-06-11 Martin Quinsonfurther simplify the MC initialization
2019-06-11 Martin Quinsonmc: don't catch exceptions we cannot deal with
2019-06-10 Martin Quinsoncode simplification in MC start sequence
2019-05-31 Martin QuinsonMC: inline a function that is now trivial
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-29 Martin QuinsonKill the support for privatized SMPI in MC mode
2019-05-28 Martin Quinsonmc: snake_case the checkers
2019-05-28 Martin Quinsonmc: snake_case a class
2019-05-28 Martin Quinsonmc: change 3 static functions into private methods
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-03-11 Arnaud GierschMore references for parameters of type std::function.
2019-03-09 Arnaud GierschCosmetics around std::unique_ptr.
2019-01-08 Martin Quinsontiny doc improvement
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-10-11 jed56 ( Jean-Emile... Merge branch 'master' into v3.20-expose-simgrid-jni
2018-08-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2018-08-10 Arnaud GierschFix build without smpi.
2018-05-27 Arnaud GierschConvert enum class SmpiPrivStrategies tu upper case.
2018-04-18 Arnaud GierschConvert MC config parameters to C++ API, and move their...
2018-04-18 Arnaud GierschClean up duplicated declarations for mc_config variables.
2018-03-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2018-03-31 Arnaud GierschUse enum class for smpi privatization strategies.
2018-03-30 Martin QuinsonMerge pull request #259 from simgrid/configfix
2018-03-28 Arnaud GierschRename sg_config.h -> sg_config.hpp.
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-11-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-11-04 Frederic Suterstringify (a lot)
next