Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-05-19 | Significant revision to theory/arith. The new draft has a lot of small bug ↵ | Tim King | |
fixes and organizational changes. The theory is now enabled to perform checking in the TheoryEngine. This draft can now solve 2 new regression tests test/regress/regress0/ineq_slack.smt and test/regress/regress0/ineq_basic.smt. There is also a small bug fix inside src/expr/attribute.h. |