summaryrefslogtreecommitdiff
path: root/test/regress/regress0/strings
AgeCommit message (Expand)Author
2020-04-21Reinstantiate support for conjunctions in factsfix4376Andres Noetzli
2020-03-31Support char smt-lib syntax (#4188)Andrew Reynolds
2020-03-30Support indexed operators re.loop and re.^ (#4167)Andrew Reynolds
2020-03-27Support unicode internal representation and escape sequences (#3852)Andrew Reynolds
2020-03-19Only apply testConstStringInRegExp to const regexp (#4120)Andres Noetzli
2020-02-28Add support for str.from_code (#3829)Andres Noetzli
2020-02-27Fix large models for strings (#3835)Andrew Reynolds
2020-02-26Add support for is_digit and regular expression difference (#3828)Andrew Reynolds
2020-02-26Basic support for regular expression complement (#3437)Andrew Reynolds
2020-02-21Simple changes towards unicode string standard (#3791)Andrew Reynolds
2020-01-29Fix isLeq function in String utility (#3659)Andrew Reynolds
2019-12-23Initial support for string reverse (#3581)Andrew Reynolds
2019-12-05Bi-directional unrolling of R* regular expressions (#3532)Andres Noetzli
2019-12-01Ensure quantifiers options are set with --no-strings-lazy-pp (#3515)Andrew Reynolds
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback