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

Age	Commit message (Expand)	Author
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-01	PARSER STUFF:	Morgan Deters
2010-02-26	* test/unit/context/context_black.h: Test CDList<>. In particular,	Morgan Deters
2010-02-04	remove -- c++ -- emacs tag from source files (it overrides cvc4-c++-editing...	Morgan Deters
2010-02-04	minor cleanup; give the main driver a different exit code for SAT-INVALID/UNS...	Morgan Deters
2010-02-04	minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...	Morgan Deters
2010-02-03	Addressed many of the concerns of bug 10 (build system code review).	Morgan Deters
2009-12-17	update-copyright.pl now retrieves and incorporates author information from re...	Morgan Deters
2009-12-03	parsing/expr/command/result/various other fixes	Morgan Deters
2009-11-19	testing framework, configure fixes, incorporations from meeting, continued work	Morgan Deters
2009-11-17	from meeting	Morgan Deters