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

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

2010-06-04	Morgan Deters	** Don't fear the files-changed list, almost all change...	blob \| commitdiff \| raw
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