git.libre-soc.org Git - cvc5.git/history - test/regress/regress0/ite.cvc

2013-11-11	Tianyi Liang	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw
2013-11-11	Morgan Deters	Change exit status to be more consistent with other...	blob \| commitdiff \| raw
2010-10-10	Morgan Deters	additional model gen and SMT-LIBv2 compliance work...	blob \| commitdiff \| raw \| diff to current
2010-07-07	Morgan Deters	chris and i committed the same fix; reverting the ...	blob \| commitdiff \| raw \| diff to current
2010-07-07	Christopher L. Conway	Disabling failing tests	blob \| commitdiff \| raw \| diff to current
2010-07-07	Morgan Deters	add exit status to regression that was failing	blob \| commitdiff \| raw \| diff to current
2010-07-07	Christopher L. Conway	Adding tests for precedence of arithmetic in CVC inputs	blob \| commitdiff \| raw \| diff to current