Age | Commit message (Expand) | Author |
---|---|---|
2014-04-28 | add strings-opt2 for regular splitting | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-07 | remove unrolling depth | Tianyi Liang |
2014-02-28 | a new regular expression engine for solving both positive and negative member... | Tianyi Liang |
2014-02-26 | bug fix (caused by merge), move cardinality option to expert option | Tianyi Liang |
2014-01-22 | Smarter options, but still have a bug | Tianyi Liang |
2013-12-05 | disable substring in default mode | Tianyi Liang |
2013-12-03 | adds LB strategy | Tianyi Liang |
2013-11-06 | change options | Tianyi Liang |
2013-10-16 | adds fmf for strings | Tianyi Liang |
2013-10-16 | renames for strings fmf | Tianyi Liang |
2013-10-15 | bug fix in strings : change from assert to alwaysassert | Tianyi Liang |
2013-10-11 | Adds regular expression support, it is actually CFL because of variables. | Tianyi Liang |
2013-09-27 | removes unsound cases, adds unrolling | Tianyi Liang |
2013-09-11 | Theory of strings. | Tianyi Liang |