git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/bug217.smt2

2018-11-05	yoni206	Increasing coverage (#2683)	blob \| commitdiff \| raw
2017-03-14	Clark Barrett	Merge pull request #132 from 4tXJ7f/fix_mingw64	blob \| commitdiff \| raw \| diff to current
2017-03-09	guykatzz	better proof support for bools and formulas	blob \| commitdiff \| raw \| diff to current
2017-03-02	ajreynol	Eliminate Boolean term conversion. Generalizes removeIT...	blob \| commitdiff \| raw \| diff to current
2013-11-11	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Change exit status to be more consistent with other...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	First chunk of boolean-terms support.	blob \| commitdiff \| raw \| diff to current