Age | Commit message (Expand) | Author |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-11-17 | Improve relevant domain computation for arithmetic, full saturation strategy.... | ajreynol |
2015-10-19 | Improve stratification of strings extended function reductions, add regressio... | ajreynol |
2015-10-06 | More improvements to strings rewriter for regexps, contains, indexof, replace... | ajreynol |
2015-09-28 | Minor fixes to strings, add regressions. | ajreynol |
2015-09-28 | Fix bug for trivial extf inferences in strings. Improve caching for splits in... | ajreynol |
2015-09-27 | Improved handling of extended operators. Do preprocess on memberships eagerl... | ajreynol |
2015-09-26 | Lazy preprocessing of extended operators in strings. Add regressions. Fixes ... | ajreynol |
2015-04-27 | Disambiguate namespaces in options, fix permissions | Clark Barrett |
2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
2015-02-05 | Improved string performance, thanks to Peter's benchmarks. | Tianyi Liang |
2014-12-04 | Relaxed the constant requirement for regular expression loop; | Tianyi Liang |
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 |