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

2011-04-02	Tim King	Delayed the addition of unate propagation lemmas until...	blob \| commitdiff \| raw
2011-02-17	Tim King	Updates based on the group code review of arithmetic...	blob \| commitdiff \| raw \| diff to current
2011-02-16	Tim King	Overview of the changes:	blob \| commitdiff \| raw \| diff to current
2010-12-16	Morgan Deters	minor fixes for correct doxygen output	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