summaryrefslogtreecommitdiff
path: root/test/regress/regress1/strings
AgeCommit message (Expand)Author
2020-11-25Add regressions for closed issues (#5526)Andrew Reynolds
2020-11-23Fix regular expression consume for nested star (#5518)Andrew Reynolds
2020-11-22Fix quantifiers scope issue in strings preprocessor (#5491)Andrew Reynolds
2020-11-03Add constants from equality engine evaluation to model (#5391)Andres Noetzli
2020-11-02Update strings proxy variable map to be context independent (#5377)Andrew Reynolds
2020-08-19Require `--strings-exp` when using `str.substr` (#4916)Andres Noetzli
2020-08-01Fix component contains for splicing due to substring. (#4705)Andrew Reynolds
2020-07-28Fix regular expression delta for complement (#4765)Andrew Reynolds
2020-07-13Fix caching in TheoryEngine::getExplanation() (#4736)Andres Noetzli
2020-07-12Add support for string/sequence update (#4725)Andrew Reynolds
2020-06-15 Do RE derivation inference only for concrete constant RE (#4609)Andrew Reynolds
2020-06-03Do not apply unconstrained simplification when quantifiers are present (#4532)Andrew Reynolds
2020-05-22Refactor operator elimination in arithmetic (#4519)Andrew Reynolds
2020-05-21Disable re-elim by default (#4508)Andrew Reynolds
2020-04-30Fix regression (#4424)Andrew Reynolds
2020-04-30Remove skolem share involving pre_first_ctn. (#4423)Andrew Reynolds
2020-04-29Fix strings 2.6 regression (#4413)Andrew Reynolds
2020-04-28Support the SMT-LIB Unicode string standard by default (#4378)Andrew Reynolds
2020-04-22Ensure disequality splits are processed as lemmas (#4380)Andrew Reynolds
2020-03-30Support indexed operators re.loop and re.^ (#4167)Andrew Reynolds
2020-02-26Basic support for regular expression complement (#3437)Andrew Reynolds
2020-01-29Fix isLeq function in String utility (#3659)Andrew Reynolds
2019-12-23Initial support for string reverse (#3581)Andrew Reynolds
2019-10-06Fix typo in regression (#3359)Andrew Reynolds
2019-10-06Fix str to int reduction (#3358)Andrew Reynolds
2019-09-25 Fix off by one error in strings flat form explanation (#3273)Andrew Reynolds
2019-08-23 Infer emptiness instead of splitting when a string equality rewrites to a co...Andrew Reynolds
2019-08-18Context-independent regular expression unfolding (#3168)Andrew Reynolds
2019-08-13Add string rewrite involving allchar stars (#3167)Andrew Reynolds
2019-08-01 Regular expression intersection modes (#3134)Andrew Reynolds
2019-07-30 Handle RE intersections modulo equality (#3120)Andrew Reynolds
2019-07-24 Fix null node when using no-strings-lazy-pp (#3114)Andrew Reynolds
2019-07-19Fix case of unfolding negative membership in reg exp concatenation (#3101)Andrew Reynolds
2019-07-16Add support for str.tolower and str.toupper (#3092)Andrew Reynolds
2019-07-15 Add string rewrite to distribute character stars over concatenation (#3091)Andrew Reynolds
2019-06-24Stratify unfolding of regular expressions based on polarity (#3067)Andrew Reynolds
2019-06-12Refactor parser to define fewer tokens for symbols (#2936)Andres Noetzli
2019-06-10Optimization for negative concatenation membership. (#3048)Andrew Reynolds
2019-06-01Fix rewriter for regular expression consume (#3029)Andrew Reynolds
2019-05-01Fix re-elim-agg regressions (#2987)Andrew Reynolds
2019-05-01 Use total versions of div/mod in re-elim-agg (#2986)Andrew Reynolds
2019-04-30Fix concat-find regexp elimination (#2983)Andres Noetzli
2019-04-30Remove stoi solve rewrite (#2985)Andrew Reynolds
2018-11-21Support string replace all (#2704)Andrew Reynolds
2018-10-18Improve reduction for str.to.int (#2636)Andrew Reynolds
2018-10-11 Fix string ext inference for rewrites that introduce negation (#2618)Andrew Reynolds
2018-10-04Fix end constraint for regexp elimination (#2571)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-17Make strings model construction robust to lengths that are not propagated equ...Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback