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 |