Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Update copyright lines for 2022.
[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.hpp
2022-01-06 Arnaud GierschUpdate copyright lines for 2022.
2021-03-14 Martin QuinsonThe checker now have a reference to the session
2021-02-03 agougeonMerge branch 'master' of https://framagit.org/simgrid...
2021-01-27 eazimiRemotePtr in complete_comm_pattern()
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-12-11 Martin QuinsonMerge pull request #371 from eazimi/master
2020-12-11 Ehsan Azimiconstructor without Session argument
2020-12-11 Ehsan AzimiMerge with simgrid/master
2020-12-10 Arnaud GierschMore conversions int -> aid_t.
2020-12-09 Arnaud GierschFix type for parameter 'issuer'.
2020-12-01 Arnaud GierschMerge remote-tracking branch 'github/master'
2020-12-01 Martin QuinsonMerge pull request #369 from eazimi/master
2020-11-30 Ehsan AzimiCommunicationDeterminismChecker class doesn't use Remot...
2020-11-30 Ehsan Azimihandle_comm_pattern() defined in CommunicationDetermini...
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-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles'
2020-10-08 Martin QuinsonMerge branch 'klement/simgrid-klement' into master
2020-10-06 Arnaud GierschModernize method declarations.
2020-04-27 Yann DuplouyMerge branch 'random_readwritestate' into 'master'
2020-04-25 Frederic Suternamespacing cosmetics
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random'
2020-01-31 Arnaud GierschCosmetics: fix "Malformed whitespace in C++" spotted...
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-10-07 Frederic SuterMerge branch 'master' into CRTP
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-28 Martin Quinsonmc: snake_case the checkers
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-03-01 Arnaud GierschKill unused parameter and please Sonar.
2019-01-10 Arnaud Giersch[sonar] Rename method (don't use "main").
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-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-16 Martin Quinsonthis is a hpp header
2017-06-30 Martin QuinsonMerge pull request #193 from Takishipp/signals
2017-06-19 Martin QuinsonMerge pull request #190 from Takishipp/clean_events
2017-06-17 Martin QuinsonMerge pull request #188 from Takishipp/clean_events
2017-06-15 Martin QuinsonMerge pull request #181 from bcamus/master
2017-06-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-06-14 Frederic Suterplease both sonar and codacy
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-27 Martin QuinsonRename some activity/SynchroBlah into activity/BlahImpl...
2017-01-16 Martin Quinsonclang-format broke my commit
2017-01-15 Martin Quinsoncosmetics
2017-01-14 Martin QuinsonMC: use exceptions to report errors, not integer return...
2017-01-14 Martin Quinsonmove the checker algorithms to their own directory