Age | Commit message (Expand) | Author |
---|---|---|
2018-06-08 | Disable BV-abstraction in the competition script. (#2061) | Mathias Preiner |
2018-06-04 | [SMT-COMP] Add new logics to run-scripts (#2022) | Andres Noetzli |
2018-05-30 | [SMT-COMP] Print non-(un)sat output to stderr (#2019) | Andres Noetzli |
2018-05-30 | Use CaDiCaL for eager bit-blasting in QF_NIA and QF_UFBV. (#2018) | Mathias Preiner |
2018-05-30 | Draft run script for strings smt comp 2018. (#2016) | Andrew Reynolds |
2018-05-27 | Fix no-cbqi-innermost option name in run script (#1994) | Andres Noetzli |
2018-05-25 | Add QF_BV configuration for SMTCOMP'18. (#1981) | Mathias Preiner |
2018-05-03 | Option to interleave tangent plane inferences (#1833) | Andrew Reynolds |
2018-04-23 | Draft smt comp 2018 for quantifiers and non-linear (#1808) | Andrew Reynolds |
2018-03-21 | Refactor mkoptions (#1631) | Mathias Preiner |
2017-10-03 | Add initial version of the SMTCOMP2018 run scripts (#1185) | Andres Noetzli |