Age | Commit message (Expand) | Author |
2019-07-30 | Minor improvement for rewriter for str.replace (#3124) | Andrew Reynolds |
2019-07-18 | Basic rewrites for tolower/toupper (#3095) | Andrew Reynolds |
2019-07-16 | Add support for str.tolower and str.toupper (#3092) | Andrew Reynolds |
2019-06-12 | Refactor parser to define fewer tokens for symbols (#2936) | Andres Noetzli |
2019-05-06 | Add support for re.all (#2980) | Andres Noetzli |
2019-04-30 | Remove stoi solve rewrite (#2985) | Andrew Reynolds |
2019-04-17 | Fix extended function decomposition (#2960) | Andrew Reynolds |
2019-01-15 | Fix constant contains ITOS rewrite (#2799) | Andrew Reynolds |
2018-11-21 | Support string replace all (#2704) | Andrew Reynolds |
2018-11-07 | Fix collectEmptyEqs in string rewriter (#2692) | Andres Noetzli |
2018-10-18 | Non-contributing find replace rewrite (#2652) | Andrew Reynolds |
2018-09-30 | Add rewrite for solving stoi (#2532) | Andrew Reynolds |
2018-09-26 | Fix homogeneous string constant rewrite (#2545) | Andrew Reynolds |
2018-09-22 | cmake: Added regression tests and target make regress. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
2018-09-05 | Extended rewriter for string equalities (#2427) | Andrew Reynolds |
2018-08-30 | Add regular expression elimination module (#2400) | Andrew Reynolds |
2018-06-12 | Fix strip constant endpoint for ITOS in strings rewriter (#2067) | Andrew Reynolds |
2018-05-08 | Support for str.<= and str.< (#1882) | Andrew Reynolds |
2018-05-02 | Initial support for string standard in smt lib 2.6 (#1848) | Andrew Reynolds |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
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 |