projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Move cardinality inference scheme to base solver in strings (#3792)
[cvc5.git] / src / theory / strings / theory_strings_rewriter.cpp
2020-02-22 Andrew ReynoldsMove cardinality inference scheme to base solver in... blob | commitdiff | raw
2020-02-16 Andres NoetzliActivate reverse variant of F-Split inference (#3745) blob | commitdiff | raw | diff to current
2020-02-11 Andres NoetzliRefactor `CoreSolver::processSimpleNEq()` (#3736) blob | commitdiff | raw | diff to current
2019-12-23 Andrew ReynoldsInitial support for string reverse (#3581) blob | commitdiff | raw | diff to current
2019-12-07 Andres NoetzliSimplify rewrite for character matching (#3545) blob | commitdiff | raw | diff to current
2019-12-03 Andres NoetzliRewrite `str.contains` used for character matching... blob | commitdiff | raw | diff to current
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... blob | commitdiff | raw | diff to current
2019-10-23 Andrew ReynoldsFixes for SyGuS + regular expressions (#3313) blob | commitdiff | raw | diff to current
2019-10-14 Andrew ReynoldsMinor refactor in strings rewriter (#3387) blob | commitdiff | raw | diff to current
2019-09-30 Andres NoetzliAdd rewrite for splitting equalities (#2957) blob | commitdiff | raw | diff to current
2019-08-13 Andrew ReynoldsAdd string rewrite involving allchar stars (#3167) blob | commitdiff | raw | diff to current
2019-07-30 Andrew ReynoldsMinor improvement for rewriter for str.replace (#3124) blob | commitdiff | raw | diff to current
2019-07-24 Andrew Reynolds Move string util functions (#3115) blob | commitdiff | raw | diff to current
2019-07-18 Andrew ReynoldsBasic rewrites for tolower/toupper (#3095) blob | commitdiff | raw | diff to current
2019-07-17 Andrew ReynoldsMinor clean in strings. (#3093) blob | commitdiff | raw | diff to current
2019-07-16 Andrew ReynoldsAdd support for str.tolower and str.toupper (#3092) blob | commitdiff | raw | diff to current
2019-07-15 Andrew Reynolds Add string rewrite to distribute character stars over... blob | commitdiff | raw | diff to current
2019-06-01 Andrew ReynoldsFix rewriter for regular expression consume (#3029) blob | commitdiff | raw | diff to current
2019-04-30 Andrew ReynoldsRemove stoi solve rewrite (#2985) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2019-03-23 Andres NoetzliStrip non-matching beginning from indexof operator... blob | commitdiff | raw | diff to current
2019-03-22 Andres NoetzliFix stripConstantEndpoints in strings rewriter (#2883) blob | commitdiff | raw | diff to current
2019-02-13 Andres NoetzliRewrite simple regexp pattern to str.contains (#2827) blob | commitdiff | raw | diff to current
2019-02-05 Andres NoetzliMake stripConstantEndpoints() less aggressive (#2830) blob | commitdiff | raw | diff to current
2019-02-04 Andres NoetzliAdd rewrite for contains + const strings replace (... blob | commitdiff | raw | diff to current
2019-02-02 Andres NoetzliFix corner case in stripConstantEndpoints (#2824) blob | commitdiff | raw | diff to current
2019-01-29 Andres NoetzliStrings: Remove redundant replace rewrite (#2822) blob | commitdiff | raw | diff to current
2019-01-23 Andres NoetzliStrings: Strengthen multiset reasoning (#2817) blob | commitdiff | raw | diff to current
2019-01-18 Andres NoetzliStrings: Introduce checkEntailContains() (#2809) blob | commitdiff | raw | diff to current
2019-01-16 Andrew ReynoldsFix constant contains ITOS rewrite (#2799) blob | commitdiff | raw | diff to current
2018-12-15 Andres NoetzliRevert "Move ss-combine rewrite to extended rewriter... blob | commitdiff | raw | diff to current
2018-11-22 Andres NoetzliMove ss-combine rewrite to extended rewriter (#2703) blob | commitdiff | raw | diff to current
2018-11-22 Andres NoetzliAdd rewrite for (str.substr s x y) --> "" (#2695) blob | commitdiff | raw | diff to current
2018-11-21 Andrew ReynoldsSupport string replace all (#2704) blob | commitdiff | raw | diff to current
2018-11-07 Andres NoetzliFix collectEmptyEqs in string rewriter (#2692) blob | commitdiff | raw | diff to current
2018-10-20 Andres NoetzliAdd substr, contains and equality rewrites (#2665) blob | commitdiff | raw | diff to current
2018-10-19 Andres NoetzliAdd helper to detect length one string terms (#2654) blob | commitdiff | raw | diff to current
2018-10-18 Andrew ReynoldsNon-contributing find replace rewrite (#2652) blob | commitdiff | raw | diff to current
2018-10-18 Andrew ReynoldsConstant length regular expression elimination (#2646) blob | commitdiff | raw | diff to current
2018-10-15 Andres NoetzliAdd more (str.replace x y z) rewrites (#2628) blob | commitdiff | raw | diff to current
2018-10-12 Andres Noetzli Add rewrites for str.replace in str.contains (#2623) blob | commitdiff | raw | diff to current
2018-10-12 Andrew Reynolds Fix heuristic for string length approximation (#2622) blob | commitdiff | raw | diff to current
2018-10-11 Andres NoetzliImprove reasoning about empty strings in rewriter ... blob | commitdiff | raw | diff to current
2018-10-10 Andres NoetzliAdd length-based rewrites for (str.substr _ _ _) (... blob | commitdiff | raw | diff to current
2018-10-04 Andrew ReynoldsInfrastructure for string length entailments via approx... blob | commitdiff | raw | diff to current
2018-09-30 Andrew ReynoldsAdd rewrite for solving stoi (#2532) blob | commitdiff | raw | diff to current
2018-09-28 Andres NoetzliRewrites for (= "" _) and (= (str.replace _) _) (#2546) blob | commitdiff | raw | diff to current
2018-09-27 Andrew Reynolds Fix homogeneous string constant rewrite (#2545) blob | commitdiff | raw | diff to current
2018-09-25 Andrew ReynoldsRefactor strings equality rewriting (#2513) blob | commitdiff | raw | diff to current
2018-09-24 Andres NoetzliUnify rewrites related to (str.contains x y) --> (... blob | commitdiff | raw | diff to current
2018-09-19 Andres NoetzliAdd rewrites for str.contains + str.replace/substr... blob | commitdiff | raw | diff to current
2018-09-19 Andrew ReynoldsAdd two rewrites for string contains character (#2492) blob | commitdiff | raw | diff to current
2018-09-10 Andres NoetzliAdd (str.replace (str.replace y w y) y z) rewrite ... blob | commitdiff | raw | diff to current
2018-09-05 Andrew Reynolds Extended rewriter for string equalities (#2427) blob | commitdiff | raw | diff to current
2018-09-04 Andrew ReynoldsRemove redundant strings rewrite. (#2422) blob | commitdiff | raw | diff to current
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) blob | commitdiff | raw | diff to current
2018-08-26 Andres NoetzliUse uniform length limit for String constants (#2381) blob | commitdiff | raw | diff to current
2018-08-26 Andrew ReynoldsFix unsigned integer type issues in strings (#2380) blob | commitdiff | raw | diff to current
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver... blob | commitdiff | raw | diff to current
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281) blob | commitdiff | raw | diff to current
2018-08-02 Andrew ReynoldsMake strings robust to regular expression variables... blob | commitdiff | raw | diff to current
2018-07-25 Andrew Reynolds Move reg exp rewrites from prerewrite to postrewrite... blob | commitdiff | raw | diff to current
2018-07-23 Andrew Reynolds Improve rewriter for regular expression concatenation... blob | commitdiff | raw | diff to current
2018-07-05 Andres NoetzlisygusComp2018: Improve string rewriter (#2141) blob | commitdiff | raw | diff to current
2018-07-04 Andrew ReynoldsMore cleanup in strings (#2138) blob | commitdiff | raw | diff to current
2018-07-02 Andrew ReynoldsRemove some dead code from theory strings (#2125) blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-06-13 Andrew ReynoldsFix simple regexp consume (#2066) blob | commitdiff | raw | diff to current
2018-06-12 Andrew ReynoldsFix strip constant endpoint for ITOS in strings rewrite... blob | commitdiff | raw | diff to current
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) blob | commitdiff | raw | diff to current
2018-05-07 Andrew ReynoldsAdd support for str.code (#1821) blob | commitdiff | raw | diff to current
2018-03-27 Andres NoetzliBetter normalization of string concatenation (#1719) blob | commitdiff | raw | diff to current
2018-03-26 Andres Noetzli Add reasoning for inequalities in str rewriter (#1713) blob | commitdiff | raw | diff to current
2018-03-26 Andres NoetzliRewrites for substr of strings of length one (#1712) blob | commitdiff | raw | diff to current
2018-03-21 Andrew ReynoldsMore rewrites for indexof (#1648) blob | commitdiff | raw | diff to current
2018-03-06 Andrew ReynoldsUpdate semantics for string indexof and replace (#1630) blob | commitdiff | raw | diff to current
2018-02-27 Andrew ReynoldsImprove rewriter for string indexof (#1592) blob | commitdiff | raw | diff to current
2018-02-22 Andrew ReynoldsMinor improvements to string rewriter (#1572) blob | commitdiff | raw | diff to current
2018-02-06 Andrew ReynoldsFix rewrite for string replace (#1537) blob | commitdiff | raw | diff to current
2018-01-02 Andrew ReynoldsImprove rewriter for string equality (#1427) blob | commitdiff | raw | diff to current
2017-12-04 Andrew ReynoldsFix strings rewriter for strip constant endpoint revers... blob | commitdiff | raw | diff to current
2017-12-02 Andrew ReynoldsImprove rewriter for string replace (#1416) blob | commitdiff | raw | diff to current
2017-11-28 Andrew ReynoldsImprove rewrite for string substr (#1337) blob | commitdiff | raw | diff to current
2017-11-06 Andrew ReynoldsImprove rewriting for string contains part 2 (#1300) blob | commitdiff | raw | diff to current
2017-10-28 Andrew ReynoldsImprove strings rewriter for contains (#1207) blob | commitdiff | raw | diff to current
2017-09-05 Andrew ReynoldsRemove support for conversions between uint32/uint16... blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2017-05-09 ajreynolChange str.replace for empty string. blob | commitdiff | raw | diff to current
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format blob | commitdiff | raw | diff to current
2016-09-29 ajreynolAddress some coverity warnings, add another stat. blob | commitdiff | raw | diff to current
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' blob | commitdiff | raw | diff to current
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes blob | commitdiff | raw | diff to current
2016-08-11 ajreynolMinor change to strings, introduce proxy vars only... blob | commitdiff | raw | diff to current
2016-08-10 ajreynolImprovements to strings: work on propagations for rever... blob | commitdiff | raw | diff to current
2016-07-26 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-07-26 ajreynolMinor improvements to strings related to constant split... blob | commitdiff | raw | diff to current
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-07-21 ajreynolFixes for strings, explanations for constant split... blob | commitdiff | raw | diff to current
2016-07-20 ajreynolInfer conflicts in strings based on abstracting equalit... blob | commitdiff | raw | diff to current
next