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

2013-03-26	Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac	Morgan Deters

2013-02-16	Some cleanup and copyright updating	Morgan Deters
	* update some copyrights for 2013 * cleaned up some comments/ifdefs, indentation * some spelling corrections * add some missing makefiles
2012-12-01	updated examples	Morgan Deters

2012-12-01	added a new example for the combination of bit-vectors and arrays (includes ↵	Liana Hadarean
	model generation) and set the logic for the bitvector example
2012-12-01	Polishing API examples.	Tim King

2012-11-30	all API examples now have java versions too; bitvectors gets built; also ↵	Morgan Deters
	updated old-style copyrights in the examples
2012-11-30	Updating the combination.cpp example.	Tim King

2012-11-30	change detection/handling of output language more reasonably; fixes a ↵	Morgan Deters
	nagging bug Tim found in API examples (this commit was certified error- and warning-free by the test-and-commit script.)
2012-11-30	added a simple API example example showing how to use the bit-vector theory.	Liana Hadarean

2012-11-30	Changes to SExpr to accept autoconversion from bool and const char*. Adding ↵	Tim King
	an example for combination.
2012-11-28	Adding the helloworld.cpp example.	Tim King