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

Age	Commit message (Expand)	Author
2010-02-07	Documenting type.h/cpp	Christopher L. Conway
2010-02-06	Preliminary support for types in parser	Christopher L. Conway
2010-02-04	remove -- c++ -- emacs tag from source files (it overrides cvc4-c++-editing...	Morgan Deters
2010-02-04	minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...	Morgan Deters
2009-12-17	update-copyright.pl now retrieves and incorporates author information from re...	Morgan Deters
2009-12-16	Small refactoring changes for the expr package.	Tim King
2009-12-11	Extracted the public Expr and ExprManager interface to encapsulate the optimi...	Dejan Jovanović
2009-12-10	killing expr into node...	Dejan Jovanović
2009-12-09	A mess of changes in the expression manager, simple example still failing due...	Dejan Jovanović
2009-12-08	work on propositional layer, expression builder support for large expressions...	Morgan Deters
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 improvem...	Morgan Deters
2009-11-19	testing framework, configure fixes, incorporations from meeting, continued work	Morgan Deters
2009-11-18	work on exprs, driver, util	Morgan Deters
2009-11-17	from meeting	Morgan Deters