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

Age	Commit message (Expand)	Author
2010-03-04	Committing a bug fix from Dejan. This resolves an issue with restoring ECData.	Tim King
2010-03-01	Added some documentation to theory_uf.	Tim King
2010-02-26	* test/unit/context/context_black.h: Test CDList<>. In particular,	Morgan Deters
2010-02-26	TheoryUFWhite tests are added. There are also accompanying bug fixes. These c...	Tim King
2010-02-25	Updated uf to reflect APPLY structure after conversation with Chris. Also cor...	Tim King
2010-02-25	* src/expr/node.h: add a copy constructor. Apparently GCC doesn't	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