| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-06-20 | Check unsat cores in regressions also without LFSC (#1955) | Andres Noetzli |
| 2018-06-08 | Add flag to skip regression if feature enabled (#2062) | Andres Noetzli |
| 2018-06-04 | Regressions: Support for requiring CVC4 features (#2044) | Andres Noetzli |
| 2018-05-10 | Support multiple sets of command line args in regs (#1902) | Andres Noetzli |
| 2018-04-20 | Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv-ineq when proofs are enab... | yoni206 |
| 2018-04-20 | Allow metadata lines in test files to have leading spaces (#1799) | yoni206 |
| 2018-04-16 | Add timeout (option) to regression script (#1786) | Andres Noetzli |
| 2018-04-14 | [Reg] Make status/unsat-core detection more robust (#1775) | Andres Noetzli |
| 2018-04-14 | Fix get-unsat-core detection in regression script (#1773) | Andres Noetzli |
| 2018-04-13 | Fix issue in regression script when proofs enabled (#1770) | Andres Noetzli |
| 2018-04-05 | Python regression script (#1662) | 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