Age | Commit message (Expand) | Author |
---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2013-09-30 | replace with a new method for disequality, move to QF_S | Tianyi Liang |
2013-09-27 | removes unsound cases, adds unrolling | Tianyi Liang |
2013-09-11 | Theory of strings. | Tianyi Liang |