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

2011-10-29	Morgan Deters	Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF...	blob \| commitdiff \| raw
2011-10-28	Morgan Deters	proof regressions	blob \| commitdiff \| raw \| diff to current
2010-10-10	Morgan Deters	additional model gen and SMT-LIBv2 compliance work...	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Node::isAtomic() now looks at an "atomic" attribute...	blob \| commitdiff \| raw \| diff to current
2010-02-04	Morgan Deters	assign expected-status to regressions	blob \| commitdiff \| raw \| diff to current
2010-02-04	Tim King	Moved regressions into various levels based on running...	blob \| commitdiff \| raw \| diff to current