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

Age	Commit message (Expand)	Author
2020-08-19	[Regressions] Do not test `--check-proofs` anymore (#4914)	Andres Noetzli
2020-02-21	Switch to th_lira.plf (#3741)	Alex Ozdemir
2019-09-06	Remove SMT1 parser. (#3228)	Mathias Preiner
2019-06-04	Enable proof checking for QF_LRA benchmarks (#2928)	Andres Noetzli
2018-09-22	cmake: Added regression tests and target make regress.	Aina Niemetz
2018-09-22	cmake: Added initial build infrastructure.	Aina Niemetz
2018-03-21	Move regression tests to single Makefile.am (#1658)	Andres Noetzli
2016-10-21	Fix/add missing makefiles.	ajreynol
2016-10-21	Move slow regress0 benchmarks to regress1, increment regress1 through regress3.	ajreynol