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

Age	Commit message (Expand)	Author
2010-10-26	Cleaning up some header files	Christopher L. Conway
2010-10-08	* (define-fun...) now has proper type checking in non-debug builds	Morgan Deters
2010-07-06	merge from CC work: pieces of the parser need to be declared to throw Asserti...	Morgan Deters
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-29	First draft implementation of SMT v2 parser	Christopher L. Conway
2010-04-01	reran update-copyright.pl to get new contributors and add new header comments...	Morgan Deters
2010-04-01	PARSER STUFF:	Morgan Deters
2010-03-30	Merging from branches/antlr3 (r246:354)	Christopher L. Conway