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

[cvc5.git] / src / theory / booleans / theory_bool.h

2011-03-25	Morgan Deters	This is a merge from the "theoryfixes+cdattrhash" branc...	blob \| commitdiff \| raw
2011-02-26	Morgan Deters	Merge from theory-break-dependences branch to break...	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-11-16	Tim King	Added Theory::presolve().	blob \| commitdiff \| raw \| diff to current
2010-10-09	Morgan Deters	Model generation for arith, boolean, and uf theories via	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-08-19	Morgan Deters	UF theory bug fixes, code cleanup, and extra debugging...	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-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-27	Tim King	Preregistration has been turned on. Highly experimental...	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-02-26	Morgan Deters	* test/unit/context/context_black.h: Test CDList<>...	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

RSS Atom