Age | Commit message (Expand) | Author |
---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2013-10-11 | Adds regular expression support, it is actually CFL because of variables. | Tianyi Liang |
2013-09-30 | replace with a new method for disequality, move to QF_S | Tianyi Liang |
2013-09-27 | Some fixes to recent strings commits. | Morgan Deters |
2013-09-27 | removes unsound cases, adds unrolling | Tianyi Liang |