AND Public Git Repository - simgrid.git/history - src/mc/remote/CheckerSide.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / remote / CheckerSide.cpp

2023-03-21	Martin Quinson	Make sure that the dtor of CheckerSide actually kills...	blob \| commitdiff \| raw
2023-03-21	Martin Quinson	Fix the liveness tests when the reforks are compiled...	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Manually handle the memory associated to the libevent...	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Do not initialize the App's memory introspection if...	blob \| commitdiff \| raw \| diff to current
2023-03-20	Martin Quinson	Put everything in position to re-fork the verified App	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move more of the CheckerSide creation logic to the...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Differ the creation of the RemoteProcessMemory to when...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Better responsabilities splitup between CheckerSide...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move methods not related to Memory out of RemoteProcess...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move the memory handling of RemoteProcessMemory singlet...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move handle_message from ModelChecker to RemoteProcessM...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	Move handle_waitpid from ModelChecker to RemoteProcessM...	blob \| commitdiff \| raw \| diff to current
2023-03-19	Martin Quinson	another mc_model_checker call location disappears	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Reduce a bit the adherance of handle_waitpid to ModelCh...	blob \| commitdiff \| raw \| diff to current
2023-03-18	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Merge CheckerSide::start() intp the constructor	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Better split of responsabilities between CheckerSide...	blob \| commitdiff \| raw \| diff to current
2023-03-18	Martin Quinson	Move the checker_side_ from the ModelChecker to the...	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-09-14	SUTER Frederic	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-06-25	Arnaud Giersch	Two more const methods spotted by sonar.	blob \| commitdiff \| raw \| diff to current
2021-06-24	Arnaud Giersch	Use std::unique_ptr and remove explicit destructor.	blob \| commitdiff \| raw \| diff to current
2021-06-24	Arnaud Giersch	Pass the real pointer to the englobing MC class for...	blob \| commitdiff \| raw \| diff to current
2021-01-13	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-12	Arnaud Giersch	Update copyright lines.	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-10-08	Martin Quinson	Merge branch 'klement/simgrid-klement' into master	blob \| commitdiff \| raw \| diff to current
2020-10-06	Arnaud Giersch	Prefer nullptr and bool literals.	blob \| commitdiff \| raw \| diff to current
2020-10-05	Arnaud Giersch	Prefer C++ headers, and C++-style void-arg declarations.	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: actually remove the comm channel from RemoteClientM...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: move a function around + cosmetics	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/EventLoop into remote/CheckerSide	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom