![]() |
Algorithmique
Numérique
Distribuée Public GIT Repository |
2020-10-29 | Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid | blob | commitdiff | raw |
2020-10-28 | Ehsan Azimi | Merge branch 'master' of github.com:simgrid/simgrid | blob | commitdiff | raw |
2020-10-27 | Ehsan Azimi | mc_assert() deleted | blob | commitdiff | raw |
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 |