cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2021-07-27	Revert change to regression (#6940)	Andrew Reynolds
2021-07-27	Minor changes from proof-new (#6937)	Andrew Reynolds
2021-03-16	[proof-new] Renaming proof option to be in sync with SMT-LIB (#6154)	Haniel Barbosa
2021-03-16	[proof-new] Disabling proofs on regressions with known bug (#6151)	Haniel Barbosa
2021-03-06	Remove SMT-LIB 2.5 and 2.0 support. (#6068)	Mathias Preiner
2020-08-19	[Regressions] Do not test `--check-proofs` anymore (#4914)	Andres Noetzli
2018-04-16	Disable check proofs/unsat cores for two regs (#1785)	Andres Noetzli
2018-02-15	Refactor regressions (#1581)	Andrew Reynolds