summaryrefslogtreecommitdiff
path: root/test/regress/regress0/strings
AgeCommit message (Expand)Author
2019-11-27 Fix indexof range lemma (#3499)Andrew Reynolds
2019-10-08[CVC Parser] Add support for regular expressions (#3346)Andres Noetzli
2019-08-29Better heuristic for str.code/re.range (#3220)Andres Noetzli
2019-08-29Infer conflicts based on regular expression inclusion (#3234)Andres Noetzli
2019-07-30Minor improvement for rewriter for str.replace (#3124)Andrew Reynolds
2019-07-18Basic rewrites for tolower/toupper (#3095)Andrew Reynolds
2019-07-16Add support for str.tolower and str.toupper (#3092)Andrew Reynolds
2019-06-12Refactor parser to define fewer tokens for symbols (#2936)Andres Noetzli
2019-05-06Add support for re.all (#2980)Andres Noetzli
2019-04-30Remove stoi solve rewrite (#2985)Andrew Reynolds
2019-04-17Fix extended function decomposition (#2960)Andrew Reynolds
2019-01-15Fix constant contains ITOS rewrite (#2799)Andrew Reynolds
2018-11-21Support string replace all (#2704)Andrew Reynolds
2018-11-07Fix collectEmptyEqs in string rewriter (#2692)Andres Noetzli
2018-10-18Non-contributing find replace rewrite (#2652)Andrew Reynolds
2018-09-30Add rewrite for solving stoi (#2532)Andrew Reynolds
2018-09-26 Fix homogeneous string constant rewrite (#2545)Andrew Reynolds
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-05 Extended rewriter for string equalities (#2427)Andrew Reynolds
2018-08-30Add regular expression elimination module (#2400)Andrew Reynolds
2018-06-12Fix strip constant endpoint for ITOS in strings rewriter (#2067)Andrew Reynolds
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-02Initial 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-05Update semantics for string indexof and replace (#1630)Andrew Reynolds
2018-02-27Improve rewriter for string indexof (#1592)Andrew Reynolds
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2018-02-06Fix rewrite for string replace (#1537)Andrew Reynolds
2017-12-04Fix strings rewriter for strip constant endpoint reverse direction (#1424)Andrew Reynolds
2017-11-28Improve rewrite for string substr (#1337)Andrew Reynolds
2017-11-15Reenable some regressions, minor. (#1369)Andrew Reynolds
2017-11-05Improve rewriting for string contains part 2 (#1300)Andrew Reynolds
2017-10-27Improve strings rewriter for contains (#1207)Andrew Reynolds
2017-09-18Fix issue #1105 involving string to int (#1112)Andrew Reynolds
2017-09-05Remove support for conversions between uint32/uint16 and string. (#1069)Andrew Reynolds
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-07-29Add support for charat in native language, minor cleanup.ajreynol
2017-05-10Do not split on cardinality for string equivalence classes with non-constant ...ajreynol
2017-05-09Change str.replace for empty string.ajreynol
2017-01-30Fix regexp cache issue in strings, add regression.ajreynol
2016-12-07Fix nf exp tracking for non-linear string equalities, fixes bug 768.ajreynol
2016-12-01Improvement and bug fix for str.indexof reduction, add regression. Other mino...ajreynol
2016-11-17Fix Makefiles in testAndres Notzli
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
2016-08-12Add a few more regressions.ajreynol
2016-08-10Improvements to strings: work on propagations for reverse normal form process...ajreynol
2016-07-21Fixes for strings, explanations for constant split propagations, substr under...ajreynol
2016-07-20Infer conflicts in strings based on abstracting equality as contains. Minor c...ajreynol
2016-07-08Minor fix to last commit.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback