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

Age	Commit message (Expand)	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
2011-09-29	some test fixes	Morgan Deters
2011-09-28	variety of visibility fixes (should clean up some of the many warnings on Mac...	Morgan Deters
2011-09-02	Merge from my post-smtcomp branch. Includes:	Morgan Deters
2010-07-03	With this commit come a number of changes to build system to support	Morgan Deters
2010-07-02	re-generated comment headers of source files	Morgan Deters
2010-06-18	Merging the statistics branch into the main trunk. I'll go over how to use th...	Tim King
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-14	Marging from types 404:415, changes: Massive	Dejan Jovanović