AND Public Git Repository - simgrid.git/history - src/mc/checker/SafetyChecker.cpp

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / checker / SafetyChecker.cpp

2022-02-21	Martin Quinson	Rename mc::Checker to mc::Exploration as it defines...	blob \| commitdiff \| raw
2022-02-19	Martin Quinson	Move another function of mc::api, to Transition	blob \| commitdiff \| raw
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	Empty a bit mc::api namespace	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Split TransitionAny and TransitionRandom to their own...	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Revalidate all SafetyChecker tesh now that the output...	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	Make CommDet a plugin on top of Safety	blob \| commitdiff \| raw \| diff to current
2022-02-16	Arnaud Giersch	Blank lines (codefactor.io).	blob \| commitdiff \| raw \| diff to current
2022-02-13	Martin Quinson	Implement WaitAnyTransition	blob \| commitdiff \| raw \| diff to current
2022-02-12	Martin Quinson	Implement TestAnyTransition	blob \| commitdiff \| raw \| diff to current
2022-02-12	Augustin Degomme	fix build	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-12	Martin Quinson	Improve the final stats reported by SafetyChecker,...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Make sure that the last stack element is set when an...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Inline another stupid function	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Stop copying transitions around since that would shorte...	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Start moving classes into the mc/api directory	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Inline a function of mc::api	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Prepare to debug the depends	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	Unify the way we count expended states between checkers	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	Define and use a Transition::to_cstring()	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	Move Transition::execute() to State::execute_next()	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	Make State::transition_ private	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	Move the selection of the next transition to execute...	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-07	Martin Quinson	Move request_execute and request_to_string from api...	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	Kill a now unused parameter	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	MC: Trade less use of executed_req for more network...	blob \| commitdiff \| raw \| diff to current
2022-02-07	Martin Quinson	MC: simplification: this function shall return a boolean	blob \| commitdiff \| raw \| diff to current
2022-02-06	Martin Quinson	MC: rely less on executed_req_ and more on observers	blob \| commitdiff \| raw \| diff to current
2022-02-05	Martin Quinson	What about not testing the dependencies of 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-02-05	Martin Quinson	MC: isend/irecv are not blocking	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-10-13	Arnaud Giersch	Kill trailing whitespaces in source code files.	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-07-16	Arnaud Giersch	Merge remote-tracking branch 'github/master'	blob \| commitdiff \| raw \| diff to current
2021-07-15	Martin Quinson	MC: warn the users when reaching max-depth with DPOR	blob \| commitdiff \| raw \| diff to current
2021-04-23	Arnaud Giersch	Make SIMIX_simcall_name() use the type of observer_...	blob \| commitdiff \| raw \| diff to current
2021-04-03	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-04-02	Arnaud Giersch	[mc] Enable finalize_app() in SafetyChecker.	blob \| commitdiff \| raw \| diff to current
2021-04-01	Arnaud Giersch	Fix segfault with debug message.	blob \| commitdiff \| raw \| diff to current
2021-04-01	Martin Quinson	snake_case some surviving camels	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-18	Martin Quinson	Reorder the headers to ensure that ours are actually...	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Give an explicit name to the session singleton	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Remove more uses of the session global	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	The checker has the session and don't need the API...	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Kill a file that was almost empty	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	The checker now have a reference to the session	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	A checker don't need the mc::api to find itself	blob \| commitdiff \| raw \| diff to current
2021-03-09	Arnaud Giersch	Move check from checker side to app. side.	blob \| commitdiff \| raw \| diff to current
2021-03-08	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-03-08	Arnaud Giersch	Modernize simcall mutex_trylock.	blob \| commitdiff \| raw \| diff to current
2021-03-08	Martin Quinson	That was a nasty optimization :-/	blob \| commitdiff \| raw \| diff to current
2021-03-08	Martin Quinson	MC dependency: do the easy test before the harder one	blob \| commitdiff \| raw \| diff to current
2021-03-08	Martin Quinson	Use less of state->internal_req_ and more of state...	blob \| commitdiff \| raw \| diff to current
2021-03-06	Martin Quinson	MC: inline a function, kill a file	blob \| commitdiff \| raw \| diff to current
2021-03-04	Martin Quinson	Simplify mc::api a bit	blob \| commitdiff \| raw \| diff to current
2021-03-01	Arnaud Giersch	Kill useless function.	blob \| commitdiff \| raw \| diff to current
2021-03-01	Arnaud Giersch	Use defined type alias.	blob \| commitdiff \| raw \| diff to current
2021-03-01	Martin Quinson	Set the textual representation of a transition before...	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	Rename ActorState::consider() and State::add_interleave...	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-02-03	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-25	eazimi	mc_api renamed to Api	blob \| commitdiff \| raw \| diff to current
2021-01-25	eazimi	simcall_check_dependency() defined and implemented	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-15	Augustin Degomme	Merge branch 'Adrien.Gougeon/simgrid-master'	blob \| commitdiff \| raw \| diff to current
2020-12-11	Martin Quinson	Merge pull request #371 from eazimi/master	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	Cleanup!	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	createSafetyChecker without Session argument	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	constructor without Session argument	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	Session instance removed from Checker class	blob \| commitdiff \| raw \| diff to current
2020-12-11	Ehsan Azimi	Merge with simgrid/master	blob \| commitdiff \| raw \| diff to current
2020-12-08	Ehsan Azimi	Pull from simgrid/master and a subsequent merge with...	blob \| commitdiff \| raw \| diff to current
2020-12-08	Ehsan Azimi	A Pull from simgrid/master and a subsequent merge	blob \| commitdiff \| raw \| diff to current
2020-12-04	Ehsan Azimi	pull from simgrid/master and a subsequent merge with...	blob \| commitdiff \| raw \| diff to current
2020-12-04	Ehsan Azimi	Pull simgrid/master and a subsequent merge	blob \| commitdiff \| raw \| diff to current
2020-12-04	Ehsan Azimi	mc_api::s_initialize() renamed to mc_api::session_initi...	blob \| commitdiff \| raw \| diff to current
2020-12-01	Arnaud Giersch	Merge remote-tracking branch 'github/master'	blob \| commitdiff \| raw \| diff to current
2020-12-01	Martin Quinson	Merge pull request #369 from eazimi/master	blob \| commitdiff \| raw \| diff to current
2020-12-01	Ehsan Azimi	mc_api::mc_dump_record_path() renamed to mc_api::dump_r...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	more cleanups	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mcapi::s_restore_initial_state() renamed to mcapi:...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	A little bit clean up, mc_api::s_log_state() renamed...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::restore_state() is defined, it is used in Safet...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Introduce mc::mc_api (pull request 1 -- #349)	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	call APIs from facade layer	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge with simgrid/master	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	conflict with simgrid/master resolved	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	[pvs] Expression 'req' is always true.	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	Enum class for MC call types, and MC comm pattern diffe...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom