git.libre-soc.org Git - cvc5.git/history - test/unit/theory/theory_arith

[cvc5.git] / test / unit / theory / theory_arith_white.h

2011-04-18	Tim King	This commit merges the branch arithmetic/propagation...	blob \| commitdiff \| raw
2011-04-16	Morgan Deters	unit test fixes for new NodeManager constructor (relate...	blob \| commitdiff \| raw \| diff to current
2011-04-04	Tim King	Reverts previous commit r1636.	blob \| commitdiff \| raw \| diff to current
2011-04-02	Tim King	Delayed the addition of unate propagation lemmas until...	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-11-15	Tim King	This commit merges the arith-prop-opt branch into the...	blob \| commitdiff \| raw \| diff to current
2010-11-09	Dejan Jovanović	Lemmas on demand work, push-pop, some cleanup.	blob \| commitdiff \| raw \| diff to current
2010-10-03	Morgan Deters	file header documentation regenerated with contributors...	blob \| commitdiff \| raw \| diff to current
2010-09-13	Tim King	* New normal form for arithmetic is in place.	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-02	Morgan Deters	re-generated comment headers of source files	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-29	Tim King	Merging the unate-propagator branch into the trunk...	blob \| commitdiff \| raw \| diff to current

RSS Atom