cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2011-04-20	Tuesday end-of-day commit.	Morgan Deters
2011-04-01	This commit is a merge from the "betterstats" branch, which:	Morgan Deters
2010-10-31	enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d...	Morgan Deters
2010-10-08	* (define-fun...) now has proper type checking in non-debug builds	Morgan Deters
2010-10-06	declare-sort, define-sort working but not thoroughly tested; define-fun half ...	Morgan Deters
2010-07-02	re-generated comment headers of source files	Morgan Deters
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-14	Marging from types 404:415, changes: Massive	Dejan Jovanović
2010-04-13	Merging from branches/decl-scopes (r401:411)	Christopher L. Conway