summaryrefslogtreecommitdiff
path: root/src/theory/strings
AgeCommit message (Expand)Author
2018-09-17More aggressive skolem caching for strings, document and clean preprocessor (...Andrew Reynolds
2018-09-17Make strings model construction robust to lengths that are not propagated equ...Andrew Reynolds
2018-09-14Add Skolem cache for strings, refactor length registration (#2457)Andrew Reynolds
2018-09-11Fix for when strings process loop is disabled. (#2456)Andrew Reynolds
2018-09-10Add (str.replace (str.replace y w y) y z) rewrite (#2441)Andres Noetzli
2018-09-05 Extended rewriter for string equalities (#2427)Andrew Reynolds
2018-09-04Remove redundant strings rewrite. (#2422)Andrew Reynolds
2018-08-30Add regular expression elimination module (#2400)Andrew Reynolds
2018-08-26Use uniform length limit for String constants (#2381)Andres Noetzli
2018-08-26Fix unsigned integer type issues in strings (#2380)Andrew Reynolds
2018-08-23 Fixing some coverity warnings (#2357)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-08-06Make flat form inferences optional in strings (#2277)Andrew Reynolds
2018-08-02Make strings robust to regular expression variables. (#2255)Andrew Reynolds
2018-07-25 Move reg exp rewrites from prerewrite to postrewrite (#2204)Andrew Reynolds
2018-07-23 Improve rewriter for regular expression concatenation (#2196)Andrew Reynolds
2018-07-06Split ext theory to own file and document (#1809)Andrew Reynolds
2018-07-05 Make string length lemmas more robust to rewriting (#2150)Andrew Reynolds
2018-07-05sygusComp2018: Improve string rewriter (#2141)Andres Noetzli
2018-07-04More cleanup in strings (#2138)Andrew Reynolds
2018-07-02Remove some dead code from theory strings (#2125)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-06-13Fix simple regexp consume (#2066)Andrew Reynolds
2018-06-12Fix strip constant endpoint for ITOS in strings rewriter (#2067)Andrew Reynolds
2018-05-21Infrastructure for strings strategies (#1883)Andrew Reynolds
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-07Add support for str.code (#1821)Andrew Reynolds
2018-04-16Make 256 the default cardinality for strings (#1783)Andrew Reynolds
2018-04-15Make strings fmf apply to all but internally generated Skolems (#1780)Andrew Reynolds
2018-04-15Fix type error with regexp (#1778)Andrew Reynolds
2018-04-13Disable split for negative contains. (#1774)Andrew Reynolds
2018-03-26Better normalization of string concatenation (#1719)Andres Noetzli
2018-03-26 Add reasoning for inequalities in str rewriter (#1713)Andres Noetzli
2018-03-26Rewrites for substr of strings of length one (#1712)Andres Noetzli
2018-03-25Cleanup various exit calls (#1692)Andrew Reynolds
2018-03-23Remove abstract regular expression constant (#1698)Andrew Reynolds
2018-03-23Remove unused code (#1700)Andrew Reynolds
2018-03-21More rewrites for indexof (#1648)Andrew Reynolds
2018-03-21Fix for string disequality processing (#1679)Andrew Reynolds
2018-03-19Document inferences for strings (#1642)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Update semantics for string indexof and replace (#1630)Andrew Reynolds
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-27Improve rewriter for string indexof (#1592)Andrew Reynolds
2018-02-23Fix cd-simplification for strings (#1624)Andrew Reynolds
2018-02-22Minor improvements to string rewriter (#1572)Andrew Reynolds
2018-02-06Resolving warnings from -Winconsistent-missing-override on clang. (#1563)Tim King
2018-02-06Fix rewrite for string replace (#1537)Andrew Reynolds
2018-01-10Removing throw specifiers for TypeRules. (#1501)Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback