Age | Commit message (Expand) | Author |
---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2017-06-21 | Properly handle subtypes in smt2 printer. | ajreynol |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
2012-11-12 | Delta is now generated in arithmetic to keep consistent the total order of De... | Tim King |