| 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 |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback