AND Public Git Repository - simgrid.git/search

Algorithmique Numérique Distribuée

Public GIT Repository

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