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

Age	Commit message (Collapse)	Author
2013-04-02	Regenerated copyrights: canonicalized names, no emails	Morgan Deters

2013-04-01	update copyrights	Morgan Deters

2012-10-11	Standardizing copyright notice. Touches ALL sources, guys, sorry.. it's	Morgan Deters
	just the header comments at the top, though. Don't update to this rev if you don't have time for a complete rebuild, and exclude this rev if you want to see what's new across a range of commits. (this commit was certified error- and warning-free by the test-and-commit script.)
2012-09-28	rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to ↵	Morgan Deters
	make it unambiguous for case-insensitive filesystems like on Mac. Fixes Mac builds
2012-07-18	removing output operator for SExprTypes, which is never used (and SExprTypes ↵	Morgan Deters
	is not public-facing)---this fixes the language bindings, which fixes the broken debian build overnight
2012-07-17	SMT-LIBv2 compliance updates:	Morgan Deters
	* more correct support for get-info responses * printer infrastructure extended to SExprs * parser updates to correctly handle symbols and strings (there were some minor differences from the spec)