AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / ModelChecker.hpp

2023-03-22	Martin Quinson	Merge branch 'udpor-phase6' into 'master'	blob \| commitdiff \| raw
2023-03-20	mlaurent	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2023-03-19	Martin Quinson	Finally kill the now empty ModelChecker class	blob \| commitdiff \| raw
2023-03-19	Martin Quinson	Move the memory handling of RemoteProcessMemory singlet...	blob \| commitdiff \| raw
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	Make a global singleton of Exploration, to kill 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	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	Move the checker_side_ from the ModelChecker to the...	blob \| commitdiff \| raw \| diff to current
2023-03-17	Martin Quinson	Move handle_simcall from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-03-13	Fred Suter	Merge branch 'master' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	Move another function of ModelChecker to RemoteProcessM...	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	move wait_for_requests() from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	Inline a function in ModelChecker	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	Move one method from ModelChecker to Exploration	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	Move 2 functions from mc::ModelChecker to mc::RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-03-12	Martin Quinson	MC: rename remote/RemoteProcess to sosp/RemoteProcessMemory	blob \| commitdiff \| raw \| diff to current
2023-03-05	Martin Quinson	Merge branch 'maximal-subset-search' into 'master'	blob \| commitdiff \| raw \| diff to current
2023-03-03	Martin Quinson	Move the PageStore from ModelChecker to RemoteApp	blob \| commitdiff \| raw \| diff to current
2023-03-02	Martin Quinson	Move the stats of visited_states count from ModelChecke...	blob \| commitdiff \| raw \| diff to current
2023-03-02	Martin Quinson	Move the dot_output from ModelChecker to Exploration	blob \| commitdiff \| raw \| diff to current
2023-01-01	Arnaud Giersch	Update copyright lines for 2023.	blob \| commitdiff \| raw \| diff to current
2022-11-21	Arnaud Giersch	Address misc Sonar issues.	blob \| commitdiff \| raw \| diff to current
2022-11-08	Arnaud Giersch	Remove explicit conversion to std::string when it's...	blob \| commitdiff \| raw \| diff to current
2022-11-04	Martin Quinson	Kill the now useless type xbt::string	blob \| commitdiff \| raw \| diff to current
2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-08-26	Arnaud Giersch	Attribute "printf" for ModelChecker::dot_output.	blob \| commitdiff \| raw \| diff to current
2022-08-06	Martin Quinson	Move the dot_output global into ModelChecker	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Kill an unimplemented declaration	blob \| commitdiff \| raw \| diff to current
2022-05-10	Arnaud Giersch	Concatenate nested namespaces (sonar).	blob \| commitdiff \| raw \| diff to current
2022-03-30	Martin Quinson	Merge branch 'add_missing_comm_python_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-29	Martin Quinson	Merge branch 'dev-mailbox-clear' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-28	Bruno Donassolo	Merge branch 'issue105' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-25	Arnaud Giersch	[sonar] Don't mix public and private members (mc::Model...	blob \| commitdiff \| raw \| diff to current
2022-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	MC: move a check_deadlock from ModelChecker to Session...	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	kill ModelChecker::simcall_is_visible()	blob \| commitdiff \| raw \| diff to current
2022-02-12	Martin Quinson	Move dot_label() from Observer to Transition (+ some...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	MC: one simplification step	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Big bang in MC: app's observers are serialized, to...	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	Automatize the computation of executed_transitions_	blob \| commitdiff \| raw \| diff to current
2022-02-05	Martin Quinson	Don't compute the dependencies locally in the checker...	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-04-22	Arnaud Giersch	Use type aid_t for actor ids.	blob \| commitdiff \| raw \| diff to current
2021-03-30	Arnaud Giersch	[mc] Add an option to ask a model-checked application...	blob \| commitdiff \| raw \| diff to current
2021-03-20	Martin Quinson	Add ModelChecker::finalize_app(), but don't use it...	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Dont pass as a parameter something that is already...	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Rename model_checker->get_remote_simulation() into...	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	MC: cosmetics	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	Rename mc::RemoteSimulation into mc::RemoteProcess	blob \| commitdiff \| raw \| diff to current
2021-03-02	Arnaud Giersch	Reduce code duplication.	blob \| commitdiff \| raw \| diff to current
2021-03-01	Arnaud Giersch	Use xbt::string for MC hostnames.	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	Split inspector::is_pending() in two logical parts	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	objectification of MC simcall achieved -- many tests...	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-12-16	Arnaud Giersch	Use transparent comparator 'std::less<>' with associati...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-05-25	Martin Quinson	MC: inline a function	blob \| commitdiff \| raw \| diff to current
2020-05-09	Martin Quinson	MC: Further renamings	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: rename remote/RemoteClient -> remote/RemoteClientMe...	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: inline a trivial function	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: rename remote/EventLoop into remote/CheckerSide	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	split a piece of src/mc/ModelChecker.cpp into src/mc...	blob \| commitdiff \| raw \| diff to current
2020-05-06	Martin Quinson	MC: tiny code simplifications	blob \| commitdiff \| raw \| diff to current
2020-02-06	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-xbt_random'	blob \| commitdiff \| raw \| diff to current
2020-01-31	Arnaud Giersch	Cosmetics: fix "Malformed whitespace in C++" spotted...	blob \| commitdiff \| raw \| diff to current
2020-01-29	Frederic Suter	Merge branch 'master' into depencencies	blob \| commitdiff \| raw \| diff to current
2020-01-28	Arnaud Giersch	Kill obsolete TODO.	blob \| commitdiff \| raw \| diff to current
2020-01-24	Frederic Suter	Merge branch 'depencencies' of https://framagit.org...	blob \| commitdiff \| raw \| diff to current
2020-01-01	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2019-12-28	Arnaud Giersch	[sonar] Constify pointer and reference parameters in...	blob \| commitdiff \| raw \| diff to current
2019-12-23	Arnaud Giersch	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2019-12-23	Arnaud Giersch	[sonar] Initialize data members with class initializers...	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-06-03	Martin Quinson	MC: kill an unused field and a useless method	blob \| commitdiff \| raw \| diff to current
2019-06-03	Martin Quinson	MC: kill an unused field	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	Merge branch 'tracemgrsplit' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-05-26	Martin Quinson	further tidy the includes in MC	blob \| commitdiff \| raw \| diff to current
2019-05-03	Arnaud Giersch	[sonar] Add attribute "noreturn" to non-returning funct...	blob \| commitdiff \| raw \| diff to current
2019-01-08	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2019-01-07	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2018-10-11	jed56 ( Jean-Emile...	Merge branch 'master' into v3.20-expose-simgrid-jni	blob \| commitdiff \| raw \| diff to current
2018-07-04	Martin Quinson	Merge branch 'master' of https://github.com/Onesphore...	blob \| commitdiff \| raw \| diff to current
2018-07-04	Martin Quinson	move libsosp into its own directory	blob \| commitdiff \| raw \| diff to current
2018-06-27	onesphore	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-06-23	Martin Quinson	Merge pull request #272 from mpoquet/SMPI_convert	blob \| commitdiff \| raw \| diff to current
2018-06-23	Martin Quinson	untangle a bit mc header files	blob \| commitdiff \| raw \| diff to current
2018-04-08	Arnaud Giersch	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-11-27	Tom Cornebize	Merge branch 'master' into fix/execute_benched	blob \| commitdiff \| raw \| diff to current
2017-11-23	Takishipp	Merge branch 'actor-yield' of github.com:Takishipp...	blob \| commitdiff \| raw \| diff to current
2017-11-23	Zitagcc	Merge branch 'master' into actor-yield	blob \| commitdiff \| raw \| diff to current
2017-10-18	Zitagcc	Merge branch 'master' into actor-priority	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge branch 'actor-startkilltime' of https://github...	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge pull request #228 from Takishipp/actor-execute	blob \| commitdiff \| raw \| diff to current
2017-10-14	Arnaud Giersch	Cosmetics: remove redundant access specifier.	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom