git.libre-soc.org Git - cvc5.git/history - test/regress/regress1/decision

2020-08-19	Andres Noetzli	[Regressions] Do not test `--check-proofs` anymore...	tree \| commitdiff
2019-09-06	Mathias Preiner	Remove SMT1 parser. (#3228)	tree \| commitdiff
2018-09-22	Aina Niemetz	cmake: Added regression tests and target make regress.	tree \| commitdiff
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	tree \| commitdiff
2018-08-21	Andres Noetzli	Remove support for *.expect files in regressions (...	tree \| commitdiff
2018-04-16	Andres Noetzli	Disable check proofs/unsat cores for two regs (#1785)	tree \| commitdiff
2018-03-21	Andres Noetzli	Move regression tests to single Makefile.am (#1658)	tree \| commitdiff
2018-02-15	Andrew Reynolds	Refactor regressions (#1581)	tree \| commitdiff
2016-10-21	ajreynol	Fix/add missing makefiles.	tree \| commitdiff
2016-10-21	ajreynol	Move slow regress0 benchmarks to regress1, increment...	tree \| commitdiff