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

Age	Commit message (Expand)	Author
2014-06-11	Some clean-up, post bv-merge.	Morgan Deters
2014-01-09	gmp is again default, not cln, for build ID (reverting due to license discuss...	Morgan Deters
2013-12-23	cln now default w.r.t. build ID string	Morgan Deters
2013-12-09	GLPK build identifier, license warnings.	Morgan Deters
2011-10-28	merged the proofgen3 branch into trunk:	Liana Hadarean
2011-04-10	merge from replay branch	Morgan Deters
2010-09-01	reflect in build strings that -gmp is now the default and -cln is an option	Morgan Deters
2010-07-03	With this commit come a number of changes to build system to support	Morgan Deters
2010-06-18	"statistics" and "staticbinary" are now tags on the build (so you get build d...	Morgan Deters
2010-02-03	Addressed many of the concerns of bug 10 (build system code review).	Morgan Deters
2009-12-17	support nonstandard, unconfigured builds (e.g., "./configure debug" followed ...	Morgan Deters