AND Public Git Repository - simgrid.git/search

]> AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

2021-02-04	eazimi	get_mbox_remote_addr() returns RemotePtr	commit \| commitdiff \| tree
2021-02-04	eazimi	get_comm_remote_addr() implemented	commit \| commitdiff \| tree
2021-02-04	eazimi	simcall_get_name() updated	commit \| commitdiff \| tree
2021-02-04	eazimi	get_mbox() replaced by get_mbox_remote_addr()	commit \| commitdiff \| tree
2021-01-28	eazimi	get_comm_irecv_raw_addr() defined and implemented	commit \| commitdiff \| tree
2021-01-28	eazimi	porivate functions	commit \| commitdiff \| tree
2021-01-28	eazimi	assignment used	commit \| commitdiff \| tree
2021-01-28	eazimi	simcall_get_issuer() implemented in Api class	commit \| commitdiff \| tree
2021-01-28	eazimi	clarification	commit \| commitdiff \| tree
2021-01-27	eazimi	get rid of calling local(), easy peasy!	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in get_dst_actor()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in get_src_actor()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in PatternCommunication class	commit \| commitdiff \| tree
2021-01-27	eazimi	no need to comm_addr_equal()	commit \| commitdiff \| tree
2021-01-27	eazimi	get_comm_isend_raw_addr() update	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in get_comm_waitany_raw_addr()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in get_comm_wait_raw_addr()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in get_pattern_comm_dst_proc()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in get_pattern_comm_src_proc()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in complete_comm_pattern()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr in update_comm_pattern()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr as the input parameter type in get_pattern_comm_data()	commit \| commitdiff \| tree
2021-01-27	eazimi	RemotePtr as the input parameter type in get_pattern_comm_rdv()	commit \| commitdiff \| tree
2021-01-27	eazimi	a .gitignore update	commit \| commitdiff \| tree
2021-01-27	eazimi	defusing	commit \| commitdiff \| tree
2021-01-27	eazimi	simcall_get_comm() deleted	commit \| commitdiff \| tree
2021-01-25	eazimi	killing mc_get_remote_simulation()	commit \| commitdiff \| tree
2021-01-25	eazimi	filenames changed	commit \| commitdiff \| tree
2021-01-25	eazimi	mc_api renamed to Api	commit \| commitdiff \| tree
2021-01-25	eazimi	simcall_check_dependency() defined and implemented	commit \| commitdiff \| tree
2021-01-25	eazimi	request_depend_asymmetric() in mc_api class	commit \| commitdiff \| tree
2021-01-25	eazimi	simcall_get_comm() defined and implemented	commit \| commitdiff \| tree
2021-01-25	eazimi	simcall_get_mbox() defined and implemented	commit \| commitdiff \| tree
2021-01-20	eazimi	EvtSetTools::makeUnion() implemented	commit \| commitdiff \| tree
2021-01-20	eazimi	EvtSetTools::pushBack() implemented	commit \| commitdiff \| tree
2021-01-20	eazimi	EvtSetTools::contains() implemented	commit \| commitdiff \| tree
2021-01-20	eazimi	operator== mimicked	commit \| commitdiff \| tree
2021-01-20	eazimi	Merge with fragmagit/master	commit \| commitdiff \| tree
2021-01-20	eazimi	gitignore update	commit \| commitdiff \| tree
2021-01-20	eazimi	doing a rename	commit \| commitdiff \| tree
2021-01-20	eazimi	Merge branch 'master' of github.com:eazimi/simgrid ...branch 'master' of github.com:eazimi/simgrid	commit \| commitdiff \| tree
2021-01-20	eazimi	simcall_get_issuer_id() defined + indentation	commit \| commitdiff \| tree
2021-01-20	eazimi	udpor_global.cpp defined	commit \| commitdiff \| tree
2021-01-14	eazimi	udpor_global.cpp defined	commit \| commitdiff \| tree
2021-01-12	eazimi	merge with framagit/master	commit \| commitdiff \| tree
2021-01-12	eazimi	udpor_global.hpp deifined	commit \| commitdiff \| tree
2021-01-12	eazimi	Merge with framagit/master	commit \| commitdiff \| tree
2021-01-12	eazimi	EvtSetTools class deifined	commit \| commitdiff \| tree
2021-01-12	eazimi	UnfoldingEvent class deifined	commit \| commitdiff \| tree
2021-01-12	eazimi	Configuration class defined	commit \| commitdiff \| tree
2021-01-12	eazimi	udpor_global.hpp deifined	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	Cleanup!	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mc_api::set_checker() defined and called in Checker()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	create_checker without Session argument	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	createCommunicationDeterminismChecker without Session...	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	constructor without Session argument	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	createSafetyChecker without Session argument	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	constructor without Session argument	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	createLivenessChecker without Session argument	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	constructor without Session argument	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	Session instance removed from Checker class	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	get_session() deleted	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mcapi::mc_inc_executed_trans() in replay()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mcapi::execute() in replay()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mcapi::restore_initial_state() in replay()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mcapi::simcall_get_issuer() in replay()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mcapi::restore_state() in replay()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mc_api::get().get_actors_size() called in VisitedPair()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	mcapi::get().get_remote_heap_bytes() called in VisitedPair()	commit \| commitdiff \| tree
2020-12-11	Ehsan Azimi	Merge with simgrid/master	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mc_api::get_automaton_transition_dst() defined and...	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mc_api::get_automaton_transition_label() defined and...	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mc_api::get_dynar_length() defined and called in run()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::log_state() in run()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::mc_wait_for_requests() in run()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::handle_simcall() in run()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::mc_inc_executed_trans() in run()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	request_to_string() implementation in mc_api class	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	Pull from simgrid/master and a subsequent merge with...	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	request_get_dot_output() implementation in mc_api class	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::request_get_dot_output() called in run()	commit \| commitdiff \| tree
2020-12-08	Ehsan Azimi	mcapi::snapshot_equal() in insert_visited_pair()	commit \| commitdiff \| tree
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
next

Clone of SimGrid repository with local patches

RSS Atom