AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2022-08-06	Martin Quinson	Move mc:api::get_remote_heap_bytes() to RemoteProcess	blob \| commitdiff \| raw
2022-08-06	Martin Quinson	Convert simgrid::mc::snapshot_equal() into Snapshot...	blob \| commitdiff \| raw \| diff to current
2022-08-04	Martin Quinson	only 3 more functions to go in mc::api	blob \| commitdiff \| raw \| diff to current
2022-08-04	Martin Quinson	Kill another mc::api function	blob \| commitdiff \| raw \| diff to current
2022-08-04	Martin Quinson	Kill 2 more functions from mc::api	blob \| commitdiff \| raw \| diff to current
2022-08-03	Martin Quinson	Move the automaton from mc::api to Liveness. An ugly...	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Kill mc::api::get_remote_app()	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Kill another function of mc::api	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Convert Api::get_maxpid() into RemoteApp::get_maxpid()	blob \| commitdiff \| raw \| diff to current
2022-08-02	Martin Quinson	Rename mc::Session into mc::api::RemoteApp	blob \| commitdiff \| raw \| diff to current
2022-07-30	Martin Quinson	further reduce the amount of call sites for RemoteProce...	blob \| commitdiff \| raw \| diff to current
2022-07-13	Martin Quinson	mc::api: Inline a useless function	blob \| commitdiff \| raw \| diff to current
2022-07-10	Martin Quinson	MC: allow to pass env variables to the verified application	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	Arnaud Giersch	Const pointer.	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::State).	blob \| commitdiff \| raw \| diff to current
2022-03-11	Martin Quinson	Merge branch 'add_remaining_comm_sync_bindings' into...	blob \| commitdiff \| raw \| diff to current
2022-03-09	Martin Quinson	Rename mc::CheckerAlgorithm to mc::ExplorationAlgorithm...	blob \| commitdiff \| raw \| diff to current
2022-03-01	Martin Quinson	Merge branch 'dev' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-03-01	Arnaud Giersch	const++	blob \| commitdiff \| raw \| diff to current
2022-02-28	Arnaud Giersch	One less global variable: session_singleton.	blob \| commitdiff \| raw \| diff to current
2022-02-28	Martin Quinson	kill some bits of mc::api::	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	That went ways too far	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	Move another function of mc::api, to Transition	blob \| commitdiff \| raw \| diff to current
2022-02-19	Martin Quinson	Kill two more unused functions in mc::api	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	Empty a bit mc::api namespace	blob \| commitdiff \| raw \| diff to current
2022-02-18	Martin Quinson	MC: no need to read the remote request directly	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	Fix more sonar things	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	Big bang in MC: app's observers are serialized, to...	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	Make Liveness and CommDet more similar to Safety	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-07	Martin Quinson	MC: kill an unused function	blob \| commitdiff \| raw \| diff to current
2022-02-06	SUTER Frederic	kill unused function	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-03	Arnaud Giersch	Merge branch 'stable'	blob \| commitdiff \| raw \| diff to current
2022-02-01	SUTER Frederic	Start to modernize the remaining old simcalls related...	blob \| commitdiff \| raw \| diff to current
2022-01-06	Arnaud Giersch	Update copyright lines for 2022.	blob \| commitdiff \| raw \| diff to current
2021-12-22	Martin Quinson	MC: chop chop chop	blob \| commitdiff \| raw \| diff to current
2021-12-22	Martin Quinson	mc: Kill dead code	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-22	Arnaud Giersch	Add missing copyright notices.	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	Make mc::Api::get_actor_name return a const&.	blob \| commitdiff \| raw \| diff to current
2021-04-01	Arnaud Giersch	Render mc::Api::get_actor_name() public.	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-13	Martin Quinson	MC: simplify initialization and kill api::set_checker()	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	inline a function	blob \| commitdiff \| raw \| diff to current
2021-03-13	Martin Quinson	MC: cosmetics and tiny code simplifications	blob \| commitdiff \| raw \| diff to current
2021-03-12	Martin Quinson	MC: simix::unmarshal should NEVER be called automatically	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	Martin Quinson	That was a nasty optimization :-/	blob \| commitdiff \| raw \| diff to current
2021-03-04	Martin Quinson	Simplify mc::api a bit	blob \| commitdiff \| raw \| diff to current
2021-03-02	Arnaud Giersch	Const for methods.	blob \| commitdiff \| raw \| diff to current
2021-03-02	Arnaud Giersch	Cosmetic rename.	blob \| commitdiff \| raw \| diff to current
2021-03-02	Arnaud Giersch	Using C++ strings.	blob \| commitdiff \| raw \| diff to current
2021-03-01	Arnaud Giersch	Use xbt::string for MC hostnames.	blob \| commitdiff \| raw \| diff to current
2021-03-01	Arnaud Giersch	Kill useless function.	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-24	agougeon	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-02-19	Arnaud Giersch	Typedef.	blob \| commitdiff \| raw \| diff to current
2021-02-10	Martin Quinson	Merge branch 'local changes'	blob \| commitdiff \| raw \| diff to current
2021-02-08	eazimi	get_enabled_transitions() is a general function	blob \| commitdiff \| raw \| diff to current
2021-02-05	eazimi	MC_smx_actor_get_name() implemented in Api class, it...	blob \| commitdiff \| raw \| diff to current
2021-02-05	eazimi	MC_smx_actor_get_host_name() implemented in Api, it...	blob \| commitdiff \| raw \| diff to current
2021-02-05	eazimi	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-02-05	eazimi	get_enabled_transitions() implemented	blob \| commitdiff \| raw \| diff to current
2021-02-05	eazimi	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-02-05	eazimi	indentation	blob \| commitdiff \| raw \| diff to current
2021-02-04	eazimi	get_mbox_remote_addr() returns RemotePtr	blob \| commitdiff \| raw \| diff to current
2021-02-04	eazimi	get_comm_remote_addr() implemented	blob \| commitdiff \| raw \| diff to current
2021-02-04	eazimi	get_mbox() replaced by get_mbox_remote_addr()	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-28	eazimi	get_comm_irecv_raw_addr() defined and implemented	blob \| commitdiff \| raw \| diff to current
2021-01-28	eazimi	porivate functions	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr in get_dst_actor()	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr in get_src_actor()	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	no need to comm_addr_equal()	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr in get_comm_waitany_raw_addr()	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr in get_comm_wait_raw_addr()	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr in get_pattern_comm_dst_proc()	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr in get_pattern_comm_src_proc()	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr as the input parameter type in get_pattern_co...	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	RemotePtr as the input parameter type in get_pattern_co...	blob \| commitdiff \| raw \| diff to current
2021-01-27	eazimi	defusing	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom