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

2020-11-10	Andrew Reynolds	Add proper support for the declare-heap command for...	tree \| commitdiff
2019-08-13	Andrew Reynolds	Properly implement logic info for separation logic...	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-02	Andrew Reynolds	Parse standard separation logic inputs (#2257)	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
2017-01-04	Tim King	Marking regression test files as non-executable.	tree \| commitdiff
2016-12-13	Andrew Reynolds	Merge pull request #118 from 4tXJ7f/fix_emp	tree \| commitdiff
2016-12-12	Andres Notzli	Fix split-find-unsat-w-emp test	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