Age | Commit message (Expand) | Author |
---|---|---|
2011-02-17 | Removed ActivityMonitor from arithmetic. This was only used for row ejection,... | Tim King |
2011-02-17 | Row ejection is now completely disabled. Another commit cleaning this one up ... | Tim King |
2011-02-16 | Overview of the changes: | 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 | Fix for a problem caused by using a != instead of == in generateConflictBelow... | Tim King |
2010-10-29 | Factors out the QF_LRA decision procedure from TheoryArith and puts this into... | Tim King |