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

Age	Commit message (Expand)	Author
2010-08-17	Merge from "cc" branch:	Morgan Deters
2010-06-04	Don't fear the files-changed list, almost all changes are in the	Morgan Deters
2010-04-06	* Add some protected ContextObj accessors for ContextObj-derived classes:	Morgan Deters
2010-04-01	reran update-copyright.pl to get new contributors and add new header comments...	Morgan Deters
2010-03-30	I think this finishes off the CDMap<>/Attribute leaks	Morgan Deters
2010-03-23	Fixed some memory cleanup and destruction issues with ContextObj, ECData, CDL...	Tim King
2010-03-05	* public/private code untangled (smt/smt_engine.h no longer #includes	Morgan Deters
2010-03-04	Committing a bug fix from Dejan. This resolves an issue with restoring ECData.	Tim King
2010-02-26	* test/unit/context/context_black.h: Test CDList<>. In particular,	Morgan Deters
2010-02-24	Cleaned up and documented ecdata and theory_uf.	Tim King
2010-02-24	Committing small changes to attribute, and theory to avoid future merge probl...	Tim King
2010-02-22	* configure.ac: Remove doc/ from search path for Makefile.ams	Morgan Deters
2010-02-17	Initial draft of TheoryUF. Should compile without problems. A decent amount o...	Tim King