Age | Commit message (Expand) | Author |
---|---|---|
2018-06-04 | [SMT-COMP] Add new logics to run-scripts (#2022) | Andres Noetzli |
2018-04-23 | Draft smt comp 2018 for quantifiers and non-linear (#1808) | Andrew Reynolds |
2017-10-03 | Add initial version of the SMTCOMP2018 run scripts (#1185) | Andres Noetzli |