Age | Commit message (Expand) | Author |
---|---|---|
2011-10-17 | Sharing work | Dejan Jovanović |
2011-10-05 | ensureLiteral() in CNF stream to support Andy's quantifiers work; an update t... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-07-11 | Clark's work on array theory - can now solve all QF_AX problems | Clark Barrett |
2011-07-09 | surprize surprize | Dejan Jovanović |
2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-04-07 | Made Valuation::getValue() and Valuation::getSatValue() const. | Tim King |
2011-03-31 | Fixes to Valuation. | Tim King |
2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
2011-02-26 | Merge from theory-break-dependences branch to break Theory and TheoryEngine d... | Morgan Deters |