Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics
[simgrid.git] / src / mc / remote / CheckerSide.hpp
2023-03-19 Martin Quinsoncosmetics
2023-03-19 Martin QuinsonMove more of the CheckerSide creation logic to the...
2023-03-19 Martin QuinsonDiffer the creation of the RemoteProcessMemory to when...
2023-03-19 Martin QuinsonBetter responsabilities splitup between CheckerSide...
2023-03-19 Martin QuinsonMove methods not related to Memory out of RemoteProcess...
2023-03-19 Martin QuinsonFinally kill the now empty ModelChecker class
2023-03-19 Martin QuinsonMove the memory handling of RemoteProcessMemory singlet...
2023-03-19 Martin Quinsonanother mc_model_checker call location disappears
2023-03-18 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-03-18 Martin QuinsonMerge CheckerSide::start() intp the constructor
2023-03-18 Martin QuinsonBetter split of responsabilities between CheckerSide...
2023-03-18 Martin QuinsonMove the checker_side_ from the ModelChecker to the...
2023-01-01 Arnaud GierschUpdate copyright lines for 2023.
2022-05-10 Arnaud GierschConcatenate nested namespaces (sonar).
2022-01-06 Arnaud GierschUpdate copyright lines for 2022.
2021-09-14 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid...
2021-06-25 Arnaud GierschTwo more const methods spotted by sonar.
2021-06-24 Arnaud GierschUse std::unique_ptr and remove explicit destructor.
2021-06-24 Arnaud GierschPass the real pointer to the englobing MC class for...
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-05-10 Martin QuinsonMC: obey to the rule of 5 to please sonar
2020-05-06 Martin QuinsonMC: actually remove the comm channel from RemoteClientM...
2020-05-06 Martin QuinsonMC: rename remote/EventLoop into remote/CheckerSide