projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
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 Reynolds
Move cardinality inference scheme to base solver in...
blob
|
commitdiff
|
raw
2020-02-16
Andres Noetzli
Activate reverse variant of F-Split inference (#3745)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-11
Andres Noetzli
Refactor `CoreSolver::processSimpleNEq()` (#3736)
blob
|
commitdiff
|
raw
|
diff to current
2019-12-23
Andrew Reynolds
Initial support for string reverse (#3581)
blob
|
commitdiff
|
raw
|
diff to current
2019-12-07
Andres Noetzli
Simplify rewrite for character matching (#3545)
blob
|
commitdiff
|
raw
|
diff to current
2019-12-03
Andres Noetzli
Rewrite `str.contains` used for character matching...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-23
Andrew Reynolds
Fixes for SyGuS + regular expressions (#3313)
blob
|
commitdiff
|
raw
|
diff to current
2019-10-14
Andrew Reynolds
Minor refactor in strings rewriter (#3387)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-30
Andres Noetzli
Add rewrite for splitting equalities (#2957)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-13
Andrew Reynolds
Add string rewrite involving allchar stars (#3167)
blob
|
commitdiff
|
raw
|
diff to current
2019-07-30
Andrew Reynolds
Minor 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 Reynolds
Basic rewrites for tolower/toupper (#3095)
blob
|
commitdiff
|
raw
|
diff to current
2019-07-17
Andrew Reynolds
Minor clean in strings. (#3093)
blob
|
commitdiff
|
raw
|
diff to current
2019-07-16
Andrew Reynolds
Add 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 Reynolds
Fix rewriter for regular expression consume (#3029)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-30
Andrew Reynolds
Remove stoi solve rewrite (#2985)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2019-03-23
Andres Noetzli
Strip non-matching beginning from indexof operator...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-22
Andres Noetzli
Fix stripConstantEndpoints in strings rewriter (#2883)
blob
|
commitdiff
|
raw
|
diff to current
2019-02-13
Andres Noetzli
Rewrite simple regexp pattern to str.contains (#2827)
blob
|
commitdiff
|
raw
|
diff to current
2019-02-05
Andres Noetzli
Make stripConstantEndpoints() less aggressive (#2830)
blob
|
commitdiff
|
raw
|
diff to current
2019-02-04
Andres Noetzli
Add rewrite for contains + const strings replace (...
blob
|
commitdiff
|
raw
|
diff to current
2019-02-02
Andres Noetzli
Fix corner case in stripConstantEndpoints (#2824)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-29
Andres Noetzli
Strings: Remove redundant replace rewrite (#2822)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-23
Andres Noetzli
Strings: Strengthen multiset reasoning (#2817)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-18
Andres Noetzli
Strings: Introduce checkEntailContains() (#2809)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-16
Andrew Reynolds
Fix constant contains ITOS rewrite (#2799)
blob
|
commitdiff
|
raw
|
diff to current
2018-12-15
Andres Noetzli
Revert "Move ss-combine rewrite to extended rewriter...
blob
|
commitdiff
|
raw
|
diff to current
2018-11-22
Andres Noetzli
Move ss-combine rewrite to extended rewriter (#2703)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-22
Andres Noetzli
Add rewrite for (str.substr s x y) --> "" (#2695)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-21
Andrew Reynolds
Support string replace all (#2704)
blob
|
commitdiff
|
raw
|
diff to current
2018-11-07
Andres Noetzli
Fix collectEmptyEqs in string rewriter (#2692)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-20
Andres Noetzli
Add substr, contains and equality rewrites (#2665)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-19
Andres Noetzli
Add helper to detect length one string terms (#2654)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-18
Andrew Reynolds
Non-contributing find replace rewrite (#2652)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-18
Andrew Reynolds
Constant length regular expression elimination (#2646)
blob
|
commitdiff
|
raw
|
diff to current
2018-10-15
Andres Noetzli
Add 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 Noetzli
Improve reasoning about empty strings in rewriter ...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-10
Andres Noetzli
Add length-based rewrites for (str.substr _ _ _) (...
blob
|
commitdiff
|
raw
|
diff to current
2018-10-04
Andrew Reynolds
Infrastructure for string length entailments via approx...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-30
Andrew Reynolds
Add rewrite for solving stoi (#2532)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-28
Andres Noetzli
Rewrites 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 Reynolds
Refactor strings equality rewriting (#2513)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-24
Andres Noetzli
Unify rewrites related to (str.contains x y) --> (...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-19
Andres Noetzli
Add rewrites for str.contains + str.replace/substr...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-19
Andrew Reynolds
Add two rewrites for string contains character (#2492)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-10
Andres Noetzli
Add (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 Reynolds
Remove redundant strings rewrite. (#2422)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-30
Andrew Reynolds
Add regular expression elimination module (#2400)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-26
Andres Noetzli
Use uniform length limit for String constants (#2381)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-26
Andrew Reynolds
Fix 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 Reynolds
Make 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 Noetzli
sygusComp2018: Improve string rewriter (#2141)
blob
|
commitdiff
|
raw
|
diff to current
2018-07-04
Andrew Reynolds
More cleanup in strings (#2138)
blob
|
commitdiff
|
raw
|
diff to current
2018-07-02
Andrew Reynolds
Remove some dead code from theory strings (#2125)
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Updated copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-06-13
Andrew Reynolds
Fix simple regexp consume (#2066)
blob
|
commitdiff
|
raw
|
diff to current
2018-06-12
Andrew Reynolds
Fix strip constant endpoint for ITOS in strings rewrite...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-08
Andrew Reynolds
Support for str.<= and str.< (#1882)
blob
|
commitdiff
|
raw
|
diff to current
2018-05-07
Andrew Reynolds
Add support for str.code (#1821)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-27
Andres Noetzli
Better 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 Noetzli
Rewrites for substr of strings of length one (#1712)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-21
Andrew Reynolds
More rewrites for indexof (#1648)
blob
|
commitdiff
|
raw
|
diff to current
2018-03-06
Andrew Reynolds
Update semantics for string indexof and replace (#1630)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-27
Andrew Reynolds
Improve rewriter for string indexof (#1592)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-22
Andrew Reynolds
Minor improvements to string rewriter (#1572)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-06
Andrew Reynolds
Fix rewrite for string replace (#1537)
blob
|
commitdiff
|
raw
|
diff to current
2018-01-02
Andrew Reynolds
Improve rewriter for string equality (#1427)
blob
|
commitdiff
|
raw
|
diff to current
2017-12-04
Andrew Reynolds
Fix strings rewriter for strip constant endpoint revers...
blob
|
commitdiff
|
raw
|
diff to current
2017-12-02
Andrew Reynolds
Improve rewriter for string replace (#1416)
blob
|
commitdiff
|
raw
|
diff to current
2017-11-28
Andrew Reynolds
Improve rewrite for string substr (#1337)
blob
|
commitdiff
|
raw
|
diff to current
2017-11-06
Andrew Reynolds
Improve rewriting for string contains part 2 (#1300)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-28
Andrew Reynolds
Improve strings rewriter for contains (#1207)
blob
|
commitdiff
|
raw
|
diff to current
2017-09-05
Andrew Reynolds
Remove support for conversions between uint32/uint16...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2017-05-09
ajreynol
Change str.replace for empty string.
blob
|
commitdiff
|
raw
|
diff to current
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
|
diff to current
2016-10-01
Tim King
Merge pull request #93 from timothy-king/clang-format
blob
|
commitdiff
|
raw
|
diff to current
2016-09-29
ajreynol
Address some coverity warnings, add another stat.
blob
|
commitdiff
|
raw
|
diff to current
2016-08-24
PaulMeng
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2016-08-12
guykatzz
Merge pull request #90 from 4tXJ7f/fewer_preproc_holes
blob
|
commitdiff
|
raw
|
diff to current
2016-08-11
ajreynol
Minor change to strings, introduce proxy vars only...
blob
|
commitdiff
|
raw
|
diff to current
2016-08-10
ajreynol
Improvements to strings: work on propagations for rever...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-26
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-07-26
ajreynol
Minor improvements to strings related to constant split...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-25
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-07-21
ajreynol
Fixes for strings, explanations for constant split...
blob
|
commitdiff
|
raw
|
diff to current
2016-07-20
ajreynol
Infer conflicts in strings based on abstracting equalit...
blob
|
commitdiff
|
raw
|
diff to current
next