AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2020-12-08	Ehsan Azimi	mcapi::automaton_state_compare() in insert_visited_pair()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::snapshot_equal() called in insert_acceptance_pair()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mc_api::automaton_state_compare() defined. It's called...	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::compare_pair() in insert_acceptance_pair()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::compare_pair() in addVisitedState()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mc_api::compare_pair() defined, it's called in insert_visite...	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	A Pull from simgrid/master and a subsequent merge	commit \| commitdiff \| tree
2020-12-07	Ehsan Azimi	mc_api::set_property_automaton(), it is called in run()	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	pull from simgrid/master and a subsequent merge with...	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	CodeFactor nags!	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	mc_api::compare_automaton_exp_lable() defined. It's...	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	mc_api::get_automaton_state() defined. It is called...	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	code arrangement	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	mcapi.actor_is_enabled() is called in LivenessChecker...	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	mcapi.get_actors() is called in LivenessChecker::create_pair()	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	Pull simgrid/master and a subsequent merge	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	mc_api::automaton_propositional_symbol_evaluate() is...	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	mc_api::s_initialize() renamed to mc_api::session_initialize()	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	call to mcapi.s_initialize()	commit \| commitdiff \| tree
2020-12-04	Ehsan Azimi	mc_api::automaton_load() defined	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	static function	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	mcapi::get().request_to_string() called in LivenessChecker...	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	LivenessChecker::get_textual_trace() calls a facade api	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	mc_api::mc_dump_record_path() renamed to mc_api::dump_record...	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	LivenessChecker::show_acceptance_cycle() call facade...	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	LivenessChecker::log_state() calls a facade api	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	copy_incomplete_comm_pattern() and copy_index_comm_pattern...	commit \| commitdiff \| tree
2020-12-01	Ehsan Azimi	cleanup!	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	MC_restore_communications_pattern() and MC_patterns_copy...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	CommunicationDeterminismChecker class doesn't use RemotePtr...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api::comm_addr_equal() is used in CommunicationDeterminis...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	handle_comm_pattern() defined in CommunicationDeterminismChe...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api::comm_addr_equal() defined	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api::get_comm_waitany_raw_addr() defined	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api::get_comm_wait_raw_addr() defined	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api::get_pattern_comm_addr() is renamed to mc_api...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	MC_state_copy_incomplete_communications_pattern() implemente...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	MC_state_copy_index_communications_pattern() implemented...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	more cleanups	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mcapi::s_restore_initial_state() renamed to mcapi:...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	A little bit clean up, mc_api::s_log_state() renamed...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mcapi::get().get_actors() is called in CommunicationDetermin...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api::restore_state() is defined, it is used in SafetyChec...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api::get_actors_size() defined and it is used in...	commit \| commitdiff \| tree
2020-11-30	Ehsan Azimi	mc_api (facade layer) is merged with mster branch in...	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	Introduce mc::mc_api (pull request 1 -- #349) Co-authored-by: Ehsan Azimi <eazimi@ehsan.irisa.fr>	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api::get_pattern_comm_data() defined,	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api::get_actor_host_name() used by update_comm_pattern...	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api::get_dst_actor() defined,	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api::get_src_actor() defined,	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api clean up	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	CommunicationDeterminismChecker::deterministic_comm_pattern...	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api::check_send_request_detached() defined and used...	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api::get_pattern_comm_dst_proc() defined and used...	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	mc_api::get_smpi_request_tag() defined and used in...	commit \| commitdiff \| tree
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree
2020-11-26	Ehsan Azimi	call APIs from facade layer	commit \| commitdiff \| tree
2020-11-26	Ehsan Azimi	unused variable removed	commit \| commitdiff \| tree
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree
2020-11-26	Ehsan Azimi	Merge with simgrid/master	commit \| commitdiff \| tree
2020-11-26	Ehsan Azimi	conflict with simgrid/master resolved	commit \| commitdiff \| tree
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree
2020-11-25	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree
2020-11-25	Ehsan Azimi	mc_api::get_pattern_comm_rdv()	commit \| commitdiff \| tree
2020-11-20	Ehsan Azimi	get_pattern_comm_rdv() defined in mc_api and used in...	commit \| commitdiff \| tree
2020-11-20	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree
2020-11-20	Ehsan Azimi	mc_pattern.hpp created	commit \| commitdiff \| tree
2020-11-19	Ehsan Azimi	CommunicationDeterminismChecker::log_state() uses APIs...	commit \| commitdiff \| tree
2020-11-19	Ehsan Azimi	CommunicationDeterminismChecker::restoreState() uses...	commit \| commitdiff \| tree
2020-11-19	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	commit \| commitdiff \| tree
2020-11-18	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	commit \| commitdiff \| tree
2020-11-18	Ehsan Azimi	CommunicationDeterminismChecker::real_run() uses APIs...	commit \| commitdiff \| tree
2020-11-18	Ehsan Azimi	prepare() and run() call APIs of mc_api	commit \| commitdiff \| tree
2020-11-18	Ehsan Azimi	In VisitedState class, get_remote_heap_bytes() from...	commit \| commitdiff \| tree
2020-11-17	Ehsan Azimi	mc_api::mc_state_choose_request() updated	commit \| commitdiff \| tree
2020-11-16	Ehsan Azimi	copy_incomplete_comm_pattern() and copy_index_comm_pattern...	commit \| commitdiff \| tree
2020-11-16	Ehsan Azimi	get_maxpid() and take_snapshot() in mc_api	commit \| commitdiff \| tree
2020-11-16	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	commit \| commitdiff \| tree
2020-10-30	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	commit \| commitdiff \| tree
2020-10-29	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	commit \| commitdiff \| tree
2020-10-28	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	commit \| commitdiff \| tree
2020-10-27	Ehsan Azimi	mc_assert() deleted	commit \| commitdiff \| tree
2020-10-27	Ehsan Azimi	SafetyChecker::run() uses mc_api	commit \| commitdiff \| tree
2020-10-27	Ehsan Azimi	SafetyChecker::check_non_termination() uses mc_api	commit \| commitdiff \| tree
2020-10-27	Ehsan Azimi	SafetyChecker::get_textual_trace() uses mc_api	commit \| commitdiff \| tree
2020-10-27	Ehsan Azimi	SafetyChecker::log_state() calls APIs of mc_api	commit \| commitdiff \| tree
2020-10-26	Ehsan Azimi	SafetyChecker::backtrack() calls mc_api functions	commit \| commitdiff \| tree
2020-10-26	Ehsan Azimi	SafetyChecker::restore_state() calls mc_api functions	commit \| commitdiff \| tree
2020-10-26	Ehsan Azimi	mc_api class introduced, SafetyChecher's constructor...	commit \| commitdiff \| tree

Clone of SimGrid repository with local patches

RSS Atom