| Age | Commit message (Expand) | Author |
|---|
| 2018-03-05 | Update semantics for string indexof and replace (#1630) | Andrew Reynolds |
| 2018-02-27 | Improve rewriter for string indexof (#1592) | Andrew Reynolds |
| 2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
| 2018-02-06 | Fix rewrite for string replace (#1537) | Andrew Reynolds |
| 2017-12-04 | Fix strings rewriter for strip constant endpoint reverse direction (#1424) | Andrew Reynolds |
| 2017-11-28 | Improve rewrite for string substr (#1337) | Andrew Reynolds |
| 2017-11-15 | Reenable some regressions, minor. (#1369) | Andrew Reynolds |
| 2017-11-05 | Improve rewriting for string contains part 2 (#1300) | Andrew Reynolds |
| 2017-10-27 | Improve strings rewriter for contains (#1207) | Andrew Reynolds |
| 2017-09-18 | Fix issue #1105 involving string to int (#1112) | Andrew Reynolds |
| 2017-09-05 | Remove support for conversions between uint32/uint16 and string. (#1069) | Andrew Reynolds |
| 2017-08-04 | Set default language to smt lib 2.6 (including as a base language for sygus),... | ajreynol |
| 2017-07-29 | Add support for charat in native language, minor cleanup. | ajreynol |
| 2017-05-10 | Do not split on cardinality for string equivalence classes with non-constant ... | ajreynol |
| 2017-05-09 | Change str.replace for empty string. | ajreynol |
| 2017-01-30 | Fix regexp cache issue in strings, add regression. | ajreynol |
| 2016-12-07 | Fix nf exp tracking for non-linear string equalities, fixes bug 768. | ajreynol |
| 2016-12-01 | Improvement and bug fix for str.indexof reduction, add regression. Other mino... | ajreynol |
| 2016-11-17 | Fix Makefiles in test | Andres Notzli |
| 2016-10-21 | Move slow regress0 benchmarks to regress1, increment regress1 through regress3. | ajreynol |
| 2016-08-12 | Add a few more regressions. | ajreynol |
| 2016-08-10 | Improvements to strings: work on propagations for reverse normal form process... | ajreynol |
| 2016-07-21 | Fixes for strings, explanations for constant split propagations, substr under... | ajreynol |
| 2016-07-20 | Infer conflicts in strings based on abstracting equality as contains. Minor c... | ajreynol |
| 2016-07-08 | Minor fix to last commit. | ajreynol |
| 2016-07-07 | Simplifications for strings normal forms, fix case for concat reps in normal ... | ajreynol |
| 2016-07-07 | Refactoring of strings preprocess module. When enabled, apply eager preproces... | ajreynol |
| 2016-05-21 | Minor fix for strings. | ajreynol |
| 2016-05-20 | Minor fix to strings, cleanup in datatypes. | ajreynol |
| 2016-04-13 | Update native language support for strings. | ajreynol |
| 2016-02-26 | Refactoring of inferences in strings. Add several options. | ajreynol |
| 2015-11-06 | Changing file permissions to add or remove executable tag as appropriate. | Tim King |
| 2015-11-05 | Fixes some initialization and desctruction problems in quantifiers. Also rest... | Tim King |
| 2015-10-20 | Clean up explanations involving string length. Add regression. | ajreynol |
| 2015-10-19 | Improve stratification of strings extended function reductions, add regressio... | ajreynol |
| 2015-10-15 | Fix congruence check in strings, fixes bug 686. | ajreynol |
| 2015-10-11 | Fix strings preprocessing + incremental, fixes bug 682. Add initial infrastru... | ajreynol |
| 2015-10-06 | More improvements to strings rewriter for regexps, contains, indexof, replace... | ajreynol |
| 2015-10-02 | Improvements to rewriter for regexp, contains, indexof. Improvements and fixe... | ajreynol |
| 2015-09-28 | Improve quantifiers engine wrt incremental presolve. Add regressions. | ajreynol |
| 2015-09-28 | Minor fixes to strings, add regressions. | ajreynol |
| 2015-09-28 | Add missing regression | 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-09-09 | Fix bug in strings rewriter regarding lengths of substr terms. | ajreynol |
| 2015-04-23 | A few more minor updates to match google repository with CVC4 repository | Clark Barrett |
| 2015-04-17 | Patch for Kshitij's fix on requriePhase | Tianyi Liang |
| 2015-04-09 | disable string reqressions timing out after change | Kshitij Bansal |
| 2015-02-05 | Minor clean up | Tianyi Liang |
