summaryrefslogtreecommitdiff
path: root/test/regress/regress1/strings
AgeCommit message (Expand)Author
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
2018-08-30Add regular expression elimination module (#2400)Andrew Reynolds
2018-08-09 Fix char overflow issues in regular expression solver (#2275)Andrew Reynolds
2018-08-07 Fix simple reg exp consume rewrite (#2281)Andrew Reynolds
2018-06-13Fix simple regexp consume (#2066)Andrew Reynolds
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-07Add support for str.code (#1821)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-21Fix for string disequality processing (#1679)Andrew Reynolds
2018-03-05Update semantics for string indexof and replace (#1630)Andrew Reynolds
2018-02-23Fix cd-simplification for strings (#1624)Andrew Reynolds
2018-02-22Minor improvements to string rewriter (#1572)Andrew Reynolds
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-03-24Add some regressions. Minor.ajreynol
2016-10-21Fix/add missing makefiles.ajreynol
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback