AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2020-12-04	Ehsan Azimi	mc_api::s_initialize() renamed to mc_api::session_initi...	blob \| commitdiff \| raw
2020-12-04	Ehsan Azimi	mc_api::automaton_load() defined	blob \| commitdiff \| raw \| diff to current
2020-12-01	Arnaud Giersch	Attribute 'const'.	blob \| commitdiff \| raw \| diff to current
2020-12-01	Arnaud Giersch	Fix build MC+NO_SMPI.	blob \| commitdiff \| raw \| diff to current
2020-12-01	Arnaud Giersch	Merge remote-tracking branch 'github/master'	blob \| commitdiff \| raw \| diff to current
2020-12-01	Martin Quinson	Merge pull request #369 from eazimi/master	blob \| commitdiff \| raw \| diff to current
2020-12-01	Ehsan Azimi	mc_api::mc_dump_record_path() renamed to mc_api::dump_r...	blob \| commitdiff \| raw \| diff to current
2020-12-01	Ehsan Azimi	copy_incomplete_comm_pattern() and copy_index_comm_patt...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	CommunicationDeterminismChecker class doesn't use Remot...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::comm_addr_equal() defined	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::get_comm_waitany_raw_addr() defined	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::get_comm_wait_raw_addr() defined	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::get_pattern_comm_addr() is renamed to mc_api...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	MC_state_copy_incomplete_communications_pattern() imple...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	MC_state_copy_index_communications_pattern() implemente...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	more cleanups	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mcapi::s_restore_initial_state() renamed to mcapi:...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	A little bit clean up, mc_api::s_log_state() renamed...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::restore_state() is defined, it is used in Safet...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ehsan Azimi	mc_api::get_actors_size() defined and it is used in...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Introduce mc::mc_api (pull request 1 -- #349)	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	mc_api::get_pattern_comm_data() defined,	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	mc_api::get_dst_actor() defined,	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	mc_api::get_src_actor() defined,	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	mc_api::check_send_request_detached() defined and used...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	mc_api::get_pattern_comm_dst_proc() defined and used...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	mc_api::get_smpi_request_tag() defined and used in...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge with simgrid/master	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	conflict with simgrid/master resolved	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Ehsan Azimi	mc_api::get_pattern_comm_rdv()	blob \| commitdiff \| raw \| diff to current
2020-11-20	Ehsan Azimi	get_pattern_comm_rdv() defined in mc_api and used in...	blob \| commitdiff \| raw \| diff to current
2020-11-20	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-19	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-18	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-11-18	Ehsan Azimi	In VisitedState class, get_remote_heap_bytes() from...	blob \| commitdiff \| raw \| diff to current
2020-11-17	Ehsan Azimi	mc_api::mc_state_choose_request() updated	blob \| commitdiff \| raw \| diff to current
2020-11-16	Ehsan Azimi	copy_incomplete_comm_pattern() and copy_index_comm_patt...	blob \| commitdiff \| raw \| diff to current
2020-11-16	Ehsan Azimi	get_maxpid() and take_snapshot() in mc_api	blob \| commitdiff \| raw \| diff to current
2020-11-16	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-30	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-29	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-28	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2020-10-27	Ehsan Azimi	mc_assert() deleted	blob \| commitdiff \| raw \| diff to current
2020-10-27	Ehsan Azimi	SafetyChecker::run() uses mc_api	blob \| commitdiff \| raw \| diff to current
2020-10-27	Ehsan Azimi	SafetyChecker::check_non_termination() uses mc_api	blob \| commitdiff \| raw \| diff to current
2020-10-27	Ehsan Azimi	SafetyChecker::log_state() calls APIs of mc_api	blob \| commitdiff \| raw \| diff to current
2020-10-26	Ehsan Azimi	SafetyChecker::backtrack() calls mc_api functions	blob \| commitdiff \| raw \| diff to current
2020-10-26	Ehsan Azimi	mc_api class introduced, SafetyChecher's constructor...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom