Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix two sonar bugs
[simgrid.git] / src / mc / sosp / Snapshot.cpp
2023-03-22 Martin QuinsonFix two sonar bugs
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master'
2023-03-19 Martin QuinsonGosh, how many calls to that global were there?
2023-03-19 Martin QuinsonRemove some more usage of mc_model_checker in Region...
2023-03-14 Arnaud GierschRemove comments about non-existent support for smpi...
2023-03-13 Fred SuterMerge branch 'master' into 'master'
2023-03-13 Martin QuinsonGive the remote_process_memory to the mc::State constructor
2023-03-12 Martin QuinsonMC: rename remote/RemoteProcess to sosp/RemoteProcessMemory
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master'
2023-03-03 Martin QuinsonMove the PageStore from ModelChecker to RemoteApp
2023-01-01 Arnaud GierschUpdate copyright lines for 2023.
2022-11-08 Arnaud GierschRemove explicit conversion to std::string when it's...
2022-10-06 Arnaud GierschMerge branch 'wifi_clean' into 'master'
2022-08-07 Martin QuinsonIntegrate the (WIP) hashing logic in the Snapshot object
2022-08-07 Martin QuinsonSmall cleanups in mc::Snapshot
2022-07-30 Martin Quinsonfurther reduce the amount of call sites for RemoteProce...
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar).
2022-02-15 Arnaud GierschIgnore local variables without type in snapshot.
2022-02-12 Martin QuinsonFix more sonar things
2022-01-06 Arnaud GierschUpdate copyright lines for 2022.
2021-04-03 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2021-04-02 Arnaud GierschChange "if(...) xbt_die(...)" to "xbt_assert(...)".
2021-03-14 Martin QuinsonRename model_checker->get_remote_simulation() into...
2021-03-13 Martin QuinsonRename mc::RemoteSimulation into mc::RemoteProcess
2021-03-06 Martin QuinsonMC: inline a function, kill a file
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-22 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2020-11-19 Ehsan AzimiMerge branch 'master' of github.com:simgrid/simgrid...
2020-11-18 Arnaud GierschUseless std::move.
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-10-08 Martin QuinsonMerge branch 'klement/simgrid-klement' into master
2020-10-04 Arnaud Giersch[sonar] Replace redundant type with "auto" (src/mc/).
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] Convert integer literals to bool literals.
2020-07-02 Arnaud Giersch[sonar] Declare functions "const" in src/mc/.
2020-05-09 Martin QuinsonMC: Further renamings
2020-05-06 Martin QuinsonMC: rename remote/RemoteClient -> remote/RemoteClientMe...
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-12-28 Arnaud Giersch[sonar] Constify pointer and reference parameters in...
2019-12-28 Arnaud GierschCosmetics: use 's_xbt_mheap_t' instead of 'struct mdesc'.
2019-12-23 Arnaud Giersch[sonar] Constify pointer and reference local variables...
2019-12-23 Arnaud GierschMerge branch 'master' of framagit.org:simgrid/simgrid
2019-12-23 Arnaud Giersch[sonar] Initialize data members with class initializers...
2019-12-17 Frederic Suteranother bunch of cleanups
2019-10-23 Yann DuplouyMerge branch 'master' into xbt_random
2019-10-20 Arnaud GierschSpell check.
2019-10-07 Frederic SuterMerge branch 'master' into CRTP
2019-07-11 Arnaud Gierschmc: const seems wrong here.
2019-07-10 Martin QuinsonRemove option model-checker/hash; This is always activa...
2019-06-03 Martin QuinsonSimplify mc::Region::read()
2019-06-03 Martin QuinsonCleanups in class mc::Region
2019-05-31 Martin QuinsonMC: rename some files