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

Age	Commit message (Collapse)	Author
2010-02-04	remove -- c++ -- emacs tag from source files (it overrides ↵	Morgan Deters
	cvc4-c++-editing-mode from contrib/editing-with-emacs
2010-02-04	minor fix for update-copyright.pl; ran update-copyright.pl on all sources; ↵	Morgan Deters
	regenerated configure script
2010-02-03	Addressed many of the concerns of bug 10 (build system code review).	Morgan Deters
	Some parts split into other bugs: 19, 20, 21. Addressed concerns of bug 11 (util package code review). Slight parser source file modifications: file comments, #included headers in generated parsers/lexers Added CVC4::Result propagation back through MiniSat->PropEngine->SmtEngine->main(). Silenced MiniSat when verbosity is not requested.
2010-01-26	fixes to build structure, util classes, lots of fixes to Node and ↵	Morgan Deters
	NodeBuilder. outstanding SEGVs fixed
2009-12-17	update-copyright.pl now retrieves and incorporates author information from ↵	Morgan Deters
	repository history; re-ran update-copyright.pl; cleaned up some things with make
2009-12-17	+ test infrastructure fixes	Morgan Deters
	+ regenerate configure script + add CVC4::Message output class + add some IllegalArgument() assertion things + rename NodeManager::mkExpr() to mkNode()
2009-12-08	work on propositional layer, expression builder support for large ↵	Morgan Deters
	expressions, output classes, and minisat
2009-12-03	parsing/expr/command/result/various other fixes	Morgan Deters

2009-11-24	configure option adjustments as per 11/24 meeting; various fixes and ↵	Morgan Deters
	improvements