projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify and fix check models (#5685)
[cvc5.git] / test / regress / regress1 / strings /
2020-12-11 Andrew ReynoldsFix length assumption for deq norm emp rule (#5623) tree | commitdiff
2020-11-25 Andrew ReynoldsAdd regressions for closed issues (#5526) tree | commitdiff
2020-11-23 Andrew ReynoldsFix regular expression consume for nested star (#5518) tree | commitdiff
2020-11-23 Andrew ReynoldsFix quantifiers scope issue in strings preprocessor... tree | commitdiff
2020-11-04 Andres NoetzliAdd constants from equality engine evaluation to model... tree | commitdiff
2020-11-02 Andrew ReynoldsUpdate strings proxy variable map to be context indepen... tree | commitdiff
2020-08-19 Andres NoetzliRequire `--strings-exp` when using `str.substr` (#4916) tree | commitdiff
2020-08-01 Andrew ReynoldsFix component contains for splicing due to substring... tree | commitdiff
2020-07-28 Andrew ReynoldsFix regular expression delta for complement (#4765) tree | commitdiff
2020-07-14 Andres NoetzliFix caching in TheoryEngine::getExplanation() (#4736) tree | commitdiff
2020-07-13 Andrew ReynoldsAdd support for string/sequence update (#4725) tree | commitdiff
2020-06-15 Andrew Reynolds Do RE derivation inference only for concrete constant... tree | commitdiff
2020-06-03 Andrew ReynoldsDo not apply unconstrained simplification when quantifi... tree | commitdiff
2020-05-23 Andrew ReynoldsRefactor operator elimination in arithmetic (#4519) tree | commitdiff
2020-05-21 Andrew ReynoldsDisable re-elim by default (#4508) tree | commitdiff
2020-05-01 Andrew ReynoldsFix regression (#4424) tree | commitdiff
2020-04-30 Andrew ReynoldsRemove skolem share involving pre_first_ctn. (#4423) tree | commitdiff
2020-04-29 Andrew ReynoldsFix strings 2.6 regression (#4413) tree | commitdiff
2020-04-28 Andrew ReynoldsSupport the SMT-LIB Unicode string standard by default... tree | commitdiff
2020-04-22 Andrew ReynoldsEnsure disequality splits are processed as lemmas ... tree | commitdiff
2020-03-30 Andrew ReynoldsSupport indexed operators re.loop and re.^ (#4167) tree | commitdiff
2020-02-26 Andrew ReynoldsBasic support for regular expression complement (#3437) tree | commitdiff
2020-01-29 Andrew ReynoldsFix isLeq function in String utility (#3659) tree | commitdiff
2019-12-23 Andrew ReynoldsInitial support for string reverse (#3581) tree | commitdiff
2019-10-06 Andrew ReynoldsFix typo in regression (#3359) tree | commitdiff
2019-10-06 Andrew ReynoldsFix str to int reduction (#3358) tree | commitdiff
2019-09-25 Andrew Reynolds Fix off by one error in strings flat form explanation... tree | commitdiff
2019-08-23 Andrew Reynolds Infer emptiness instead of splitting when a string... tree | commitdiff
2019-08-18 Andrew ReynoldsContext-independent regular expression unfolding (... tree | commitdiff
2019-08-13 Andrew ReynoldsAdd string rewrite involving allchar stars (#3167) tree | commitdiff
2019-08-01 Andrew Reynolds Regular expression intersection modes (#3134) tree | commitdiff
2019-07-30 Andrew Reynolds Handle RE intersections modulo equality (#3120) tree | commitdiff
2019-07-24 Andrew Reynolds Fix null node when using no-strings-lazy-pp (#3114) tree | commitdiff
2019-07-19 Andrew ReynoldsFix case of unfolding negative membership in reg exp... tree | commitdiff
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092) tree | commitdiff
2019-07-15 Andrew Reynolds Add string rewrite to distribute character stars over... tree | commitdiff
2019-06-24 Andrew ReynoldsStratify unfolding of regular expressions based on... tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2019-06-10 Andrew ReynoldsOptimization for negative concatenation membership... tree | commitdiff
2019-06-01 Andrew ReynoldsFix rewriter for regular expression consume (#3029) tree | commitdiff
2019-05-01 Andrew ReynoldsFix re-elim-agg regressions (#2987) tree | commitdiff
2019-05-01 Andrew Reynolds Use total versions of div/mod in re-elim-agg (#2986) tree | commitdiff
2019-04-30 Andres NoetzliFix concat-find regexp elimination (#2983) tree | commitdiff
2019-04-30 Andrew ReynoldsRemove stoi solve rewrite (#2985) tree | commitdiff
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) tree | commitdiff
2018-10-18 Andrew ReynoldsImprove reduction for str.to.int (#2636) tree | commitdiff
2018-10-11 Andrew Reynolds Fix string ext inference for rewrites that introduce... tree | commitdiff
2018-10-04 Andrew ReynoldsFix end constraint for regexp elimination (#2571) tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-17 Andrew ReynoldsMake strings model construction robust to lengths that... tree | commitdiff
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) tree | commitdiff
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver... tree | commitdiff
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281) tree | commitdiff
2018-06-13 Andrew ReynoldsFix simple regexp consume (#2066) tree | commitdiff
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) tree | commitdiff
2018-05-07 Andrew ReynoldsAdd support for str.code (#1821) tree | commitdiff
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-03-21 Andrew ReynoldsFix for string disequality processing (#1679) tree | commitdiff
2018-03-06 Andrew ReynoldsUpdate semantics for string indexof and replace (#1630) tree | commitdiff
2018-02-23 Andrew ReynoldsFix cd-simplification for strings (#1624) tree | commitdiff
2018-02-22 Andrew ReynoldsMinor improvements to string rewriter (#1572) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... tree | commitdiff
2017-03-24 ajreynolAdd some regressions. Minor. tree | commitdiff
2016-10-21 ajreynolFix/add missing makefiles. tree | commitdiff
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... tree | commitdiff