git.libre-soc.org Git - cvc5.git/history - src/theory/uf/theory

[cvc5.git] / src / theory / uf / theory_uf.h

2011-07-09	Morgan Deters	minor fixups	blob \| commitdiff \| raw
2011-07-09	Dejan Jovanović	surprize surprize	blob \| commitdiff \| raw \| diff to current
2011-04-25	Morgan Deters	Weekend work. The main points:	blob \| commitdiff \| raw \| diff to current
2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw \| diff to current
2011-01-05	Dejan Jovanović	Commit for the theory engine and rewriter changes....	blob \| commitdiff \| raw \| diff to current
2010-08-17	Morgan Deters	Merge from "cc" branch:	blob \| commitdiff \| raw \| diff to current
2010-07-07	Clark Barrett	Added shared term manager. Basic mechanism for identif...	blob \| commitdiff \| raw \| diff to current
2010-07-04	Morgan Deters	With "-d extra-checking", rewrites are now checked...	blob \| commitdiff \| raw \| diff to current
2010-06-30	Morgan Deters	* theory "tree" rewriting implemented and works	blob \| commitdiff \| raw \| diff to current
2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw \| diff to current
2010-05-28	Tim King	Moving the ITE removal from CnfStream to TheoryEngine...	blob \| commitdiff \| raw \| diff to current
2010-04-04	Morgan Deters	* Node::isAtomic() now looks at an "atomic" attribute...	blob \| commitdiff \| raw \| diff to current
2010-04-01	Morgan Deters	reran update-copyright.pl to get new contributors and...	blob \| commitdiff \| raw \| diff to current
2010-03-30	Morgan Deters	Highlights of this commit are:	blob \| commitdiff \| raw \| diff to current
2010-03-25	Christopher L. Conway	Adding comments to NodeManager	blob \| commitdiff \| raw \| diff to current
2010-03-16	Morgan Deters	* test/unit/Makefile.am, test/unit/expr/attribute_white.h,	blob \| commitdiff \| raw \| diff to current
2010-03-11	Tim King	Added some hand generated UF tests. Unfortunartely...	blob \| commitdiff \| raw \| diff to current
2010-03-05	Morgan Deters	* public/private code untangled (smt/smt_engine.h no...	blob \| commitdiff \| raw \| diff to current
2010-03-04	Tim King	Committing a bug fix from Dejan. This resolves an issue...	blob \| commitdiff \| raw \| diff to current
2010-03-01	Tim King	Added some documentation to theory_uf.	blob \| commitdiff \| raw \| diff to current
2010-02-26	Morgan Deters	* test/unit/context/context_black.h: Test CDList<>...	blob \| commitdiff \| raw \| diff to current
2010-02-26	Tim King	TheoryUFWhite tests are added. There are also accompany...	blob \| commitdiff \| raw \| diff to current
2010-02-25	Tim King	Updated uf to reflect APPLY structure after conversatio...	blob \| commitdiff \| raw \| diff to current
2010-02-25	Morgan Deters	* src/expr/node.h: add a copy constructor. Apparently...	blob \| commitdiff \| raw \| diff to current
2010-02-24	Tim King	Cleaned up and documented ecdata and theory_uf.	blob \| commitdiff \| raw \| diff to current
2010-02-24	Tim King	Committing small changes to attribute, and theory to...	blob \| commitdiff \| raw \| diff to current
2010-02-22	Morgan Deters	* configure.ac: Remove doc/ from search path for Makefi...	blob \| commitdiff \| raw \| diff to current
2010-02-17	Tim King	Initial draft of TheoryUF. Should compile without probl...	blob \| commitdiff \| raw \| diff to current

RSS Atom