AND Public Git Repository - simgrid.git/search

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