Public GIT Repository
|
|
Algorithmique
Numérique
Distribuée Public GIT Repository |
| 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 |
