AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2022-10-06	Arnaud Giersch	Merge branch 'wifi_clean' into 'master'	blob \| commitdiff \| raw
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
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	Sanitize MC finalization process and inline a function	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	MC further cleanups (let it compile, this time)	blob \| commitdiff \| raw \| diff to current
2022-07-22	Martin Quinson	Another attempt at PRELOADing mmalloc (WIP)	blob \| commitdiff \| raw \| diff to current
2022-07-22	Augustin Degomme	Merge branch 'support-sendrecv-ti' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-07-21	Martin Quinson	Split mmalloc in a separate library	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-11	Arnaud Giersch	For sonar...	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-25	Arnaud Giersch	[sonar] Don't mix public and private members (mc::Model...	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::SafetyChecker to mc::DFSExplorer	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-08	Arnaud Giersch	Move Simcall from namespace simix to kernel::actor.	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	Kill unused function.	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-24	Arnaud Giersch	Ensure that MC session and checker are deleted.	blob \| commitdiff \| raw \| diff to current
2022-02-24	Arnaud Giersch	Free xbt_automaton on Api::s_close.	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	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-17	Martin Quinson	CommDet shall become an extension of the SafetyChecker	blob \| commitdiff \| raw \| diff to current
2022-02-13	Martin Quinson	Sonar fixes	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	Inline another stupid function	blob \| commitdiff \| raw \| diff to current
2022-02-11	Martin Quinson	Inline another useless function in MC and a define...	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: Inline and simplify a function	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	MC: Kill now unused fields	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-02-04	SUTER Frederic	continue to mess with MC	blob \| commitdiff \| raw \| diff to current
2022-02-03	SUTER Frederic	remove old simcall_comm_test and simcall_comm_testany	blob \| commitdiff \| raw \| diff to current
2022-02-03	SUTER Frederic	simcall translation is now useless	blob \| commitdiff \| raw \| diff to current
2022-02-03	Martin Quinson	Merge branch 'wifi_rate_zero' into 'master'	blob \| commitdiff \| raw \| diff to current
2022-02-03	SUTER Frederic	draft CommI{send,recv}Observer	blob \| commitdiff \| raw \| diff to current
2022-02-03	Arnaud Giersch	Merge branch 'stable'	blob \| commitdiff \| raw \| diff to current
2022-02-02	SUTER Frederic	more progress in simcalls modernization and MC cleanup	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-13	SUTER Frederic	forgot to build MC	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: inline a function	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-07-19	Arnaud Giersch	[pvs-studio] No need to assign variable the same value.	blob \| commitdiff \| raw \| diff to current
2021-06-22	Arnaud Giersch	Make field 'mc::ActorState::times_considered' private.	blob \| commitdiff \| raw \| diff to current
2021-06-22	Arnaud Giersch	Add missing copyright notices.	blob \| commitdiff \| raw \| diff to current
2021-04-30	Arnaud Giersch	Missing includes.	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-19	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2021-04-06	Arnaud Giersch	Use a Remote<> for remote smpi::Request.	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	FIXME++	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-04-01	Martin Quinson	snake_case some surviving camels	blob \| commitdiff \| raw \| diff to current
2021-04-01	Martin Quinson	Actor's ID should be a long, and should be named AID	blob \| commitdiff \| raw \| diff to current
2021-03-31	Arnaud Giersch	Save a reinterpret_cast.	blob \| commitdiff \| raw \| diff to current
2021-03-30	Arnaud Giersch	[mc] Don't retrieve actor hostname again if it's alread...	blob \| commitdiff \| raw \| diff to current
2021-03-30	Arnaud Giersch	[mc] Fix mc::Api::get_actor_host_name.	blob \| commitdiff \| raw \| diff to current
2021-03-26	Martin Quinson	Move SimcallObserver from simgrid::mc to simgrid::kerne...	blob \| commitdiff \| raw \| diff to current
2021-03-14	Martin Quinson	Move the logic of Api::get_maxpid() to RemoteProcess...	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	cosmetics	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	Kill some use of the mc_model_checker global variable	blob \| commitdiff \| raw \| diff to current
next

Clone of SimGrid repository with local patches

RSS Atom