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

2020-04-01	Aina Niemetz	Rename checkValid/query to checkEntailed. (#4191)	blob \| commitdiff \| raw
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
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-09	Dejan Jovanović	Changes to the CNF conversion and the SAT solver. All...	blob \| commitdiff \| raw \| diff to current