AND Public Git Repository - simgrid.git/shortlog

Algorithmique Numérique Distribuée

Public GIT Repository

2020-12-04	Ehsan Azimi	mc_api::s_initialize() renamed to mc_api::session_initi...	commit \| commitdiff \| tree \| snapshot
2020-12-04	Ehsan Azimi	call to mcapi.s_initialize()	commit \| commitdiff \| tree \| snapshot
2020-12-04	Ehsan Azimi	mc_api::automaton_load() defined	commit \| commitdiff \| tree \| snapshot
2020-12-03	Arnaud Giersch	Exclude examples/smpi/mc from coverage analysis.	commit \| commitdiff \| tree \| snapshot
2020-12-03	Arnaud Giersch	Dry run MC examples for coverage.	commit \| commitdiff \| tree \| snapshot
2020-12-03	Arnaud Giersch	Allow to set a deadline for test.	commit \| commitdiff \| tree \| snapshot
2020-12-03	Arnaud Giersch	Unused argument.	commit \| commitdiff \| tree \| snapshot
2020-12-03	Arnaud Giersch	Revert "Silly workaround for coverage build with gcc...	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	Update .mailmap.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	Attribute 'const'.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	Attribute 'noreturn'.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	Use operator= to copy std::vector.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	MC_smx_get_maxpid returns an unsigned long.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	Fix build MC+NO_SMPI.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	[pvs] Don't let field uninitialized.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	Call the good function.	commit \| commitdiff \| tree \| snapshot
2020-12-01	Arnaud Giersch	Merge remote-tracking branch 'github/master'	commit \| commitdiff \| tree \| snapshot
2020-12-01	Martin Quinson	Merge pull request #369 from eazimi/master	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	static function	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	mcapi::get().request_to_string() called in LivenessChec...	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	LivenessChecker::get_textual_trace() calls a facade api	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	mc_api::mc_dump_record_path() renamed to mc_api::dump_r...	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	LivenessChecker::show_acceptance_cycle() call facade...	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	LivenessChecker::log_state() calls a facade api	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	copy_incomplete_comm_pattern() and copy_index_comm_patt...	commit \| commitdiff \| tree \| snapshot
2020-12-01	Ehsan Azimi	cleanup!	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	MC_restore_communications_pattern() and MC_patterns_cop...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	CommunicationDeterminismChecker class doesn't use Remot...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api::comm_addr_equal() is used in CommunicationDeter...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	handle_comm_pattern() defined in CommunicationDetermini...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api::comm_addr_equal() defined	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api::get_comm_waitany_raw_addr() defined	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api::get_comm_wait_raw_addr() defined	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api::get_pattern_comm_addr() is renamed to mc_api...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	MC_state_copy_incomplete_communications_pattern() imple...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	MC_state_copy_index_communications_pattern() implemente...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	more cleanups	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mcapi::s_restore_initial_state() renamed to mcapi:...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	A little bit clean up, mc_api::s_log_state() renamed...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mcapi::get().get_actors() is called in CommunicationDet...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api::restore_state() is defined, it is used in Safet...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api::get_actors_size() defined and it is used in...	commit \| commitdiff \| tree \| snapshot
2020-11-30	Ehsan Azimi	mc_api (facade layer) is merged with mster branch in...	commit \| commitdiff \| tree \| snapshot
2020-11-29	Arnaud Giersch	Fix comment.	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	Introduce mc::mc_api (pull request 1 -- #349)	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api::get_pattern_comm_data() defined,	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api::get_actor_host_name() used by update_comm_patte...	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api::get_dst_actor() defined,	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api::get_src_actor() defined,	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api clean up	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	CommunicationDeterminismChecker::deterministic_comm_pat...	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree \| snapshot
2020-11-27	Arnaud Giersch	Fix return type for get_maxpid().	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api::check_send_request_detached() defined and used...	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api::get_pattern_comm_dst_proc() defined and used...	commit \| commitdiff \| tree \| snapshot
2020-11-27	Arnaud Giersch	Fix comments.	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	mc_api::get_smpi_request_tag() defined and used in...	commit \| commitdiff \| tree \| snapshot
2020-11-27	Arnaud Giersch	Assert that *request != MPI_REQUEST_NULL, and remove...	commit \| commitdiff \| tree \| snapshot
2020-11-27	Arnaud Giersch	Declare function 'const'.	commit \| commitdiff \| tree \| snapshot
2020-11-27	Arnaud Giersch	Finish replacing calloc with xbt_new0 in example.	commit \| commitdiff \| tree \| snapshot
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Unnecessary semicolon (codefactor).	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	[pvs] Simplify expression.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	[pvs] The conditional expressions of the 'if' statement...	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Dead code: xbt_malloc won't fail.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	[pvs] Two or more case-branches perform the same actions.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	[pvs] Don't let field uninitialized.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Initialize variable.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Use a local variable, and hope to fix PVS-studio warning.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Disable some useless warnings for PVS-studio.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	[pvs] Possible overflow. Cast operands of the '1 <...	commit \| commitdiff \| tree \| snapshot
2020-11-26	Martin Quinson	Speak of mattermost as a way to reach the community	commit \| commitdiff \| tree \| snapshot
2020-11-26	Ehsan Azimi	call APIs from facade layer	commit \| commitdiff \| tree \| snapshot
2020-11-26	Ehsan Azimi	unused variable removed	commit \| commitdiff \| tree \| snapshot
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Fix use-after-free.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Set default values.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Reduce scope for variables.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Use xbt_new0 (calloc may fail).	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Cosmetics.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Don't set variable twice.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Don't repeat obvious default values.	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	Correctly handle lowercase and default values for route...	commit \| commitdiff \| tree \| snapshot
2020-11-26	Ehsan Azimi	Merge with simgrid/master	commit \| commitdiff \| tree \| snapshot
2020-11-26	Ehsan Azimi	conflict with simgrid/master resolved	commit \| commitdiff \| tree \| snapshot
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree \| snapshot
2020-11-26	Arnaud Giersch	std::array...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] A part of conditional expression is always false...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] A part of conditional expression is always false...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] Expression 'req' is always true.	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] Two or more case-branches perform the same actions.	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] The 'tp' pointer was utilized before it was verif...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] The 'gw_src' pointer was utilized before it was...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] The 'status' pointer was utilized before it was...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	[pvs] The 'mc_model_checker' pointer was utilized befor...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	Enum class for MC call types, and MC comm pattern diffe...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	Enum class for MC call types, and MC comm pattern diffe...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	Enum class for MC call types, and MC comm pattern diffe...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Arnaud Giersch	projet_description: lookup in ModelChecker build too...	commit \| commitdiff \| tree \| snapshot
2020-11-25	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree \| snapshot
next

Clone of SimGrid repository with local patches

RSS Atom