Age | Commit message (Expand) | Author |
---|---|---|
2011-02-14 | Reverses the order of the d_possiblyInconsistent queue. (It is that old termi... | Tim King |
2011-02-13 | 3 heuristics were added to arithmetic. A heuristic for detecting an encoding ... | Tim King |
2010-11-04 | This commit adds the ejected and un-ejected statistics. | Tim King |
2010-10-30 | Adds a hueristic from Alberto's thesis. For a fixed window the row count is u... | Tim King |
2010-10-29 | Factors out the QF_LRA decision procedure from TheoryArith and puts this into... | Tim King |