AND Public Git Repository - simgrid.git/search

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