summaryrefslogtreecommitdiff
path: root/src/theory/strings
AgeCommit message (Expand)Author
2018-12-07Strings: Make EXTF_d inference more conservative (#2740)Andres Noetzli
2018-11-28Optimize re-elim for re.allchar components (#2725)Andrew Reynolds
2018-11-28Improve skolem caching by normalizing skolem args (#2723)Andres Noetzli
2018-11-27Make (T)NodeTrie a general utility (#2489)Andrew Reynolds
2018-11-21Move ss-combine rewrite to extended rewriter (#2703)Andres Noetzli
2018-11-21Add rewrite for (str.substr s x y) --> "" (#2695)Andres Noetzli
2018-11-21Support string replace all (#2704)Andrew Reynolds
2018-11-07Fix collectEmptyEqs in string rewriter (#2692)Andres Noetzli
2018-11-07 Fix for itos reduction (#2691)Andrew Reynolds
2018-10-20Add substr, contains and equality rewrites (#2665)Andres Noetzli
2018-10-19Add helper to detect length one string terms (#2654)Andres Noetzli
2018-10-18Non-contributing find replace rewrite (#2652)Andrew Reynolds
2018-10-18Improve reduction for str.to.int (#2636)Andrew Reynolds
2018-10-18Constant length regular expression elimination (#2646)Andrew Reynolds
2018-10-17 Fix context-dependent for positive contains reduction (#2644)Andrew Reynolds
2018-10-16Improve strings reductions including skolem caching for contains (#2641)Andrew Reynolds
2018-10-16Improve reduction for int.to.str (#2629)Andrew Reynolds
2018-10-15Add more (str.replace x y z) rewrites (#2628)Andres Noetzli
2018-10-12 Add rewrites for str.replace in str.contains (#2623)Andres Noetzli
2018-10-11 Fix heuristic for string length approximation (#2622)Andrew Reynolds
2018-10-11Improve reasoning about empty strings in rewriter (#2615)Andres Noetzli
2018-10-11 Fix string ext inference for rewrites that introduce negation (#2618)Andrew Reynolds
2018-10-10Fix compiler warnings (#2602)Andres Noetzli
2018-10-10Optimize regular expression elimination (#2612)Andrew Reynolds
2018-10-10Add length-based rewrites for (str.substr _ _ _) (#2610)Andres Noetzli
2018-10-08 Fix string register extended terms (#2597)Andrew Reynolds
2018-10-04Infrastructure for string length entailments via approximations (#2514)Andrew Reynolds
2018-10-04Fix end constraint for regexp elimination (#2571)Andrew Reynolds
2018-10-04Clean remaining references to getNextDecisionRequest and simplify (#2500)Andrew Reynolds
2018-09-30Add rewrite for solving stoi (#2532)Andrew Reynolds
2018-09-28Rewrites for (= "" _) and (= (str.replace _) _) (#2546)Andres Noetzli
2018-09-26 Fix homogeneous string constant rewrite (#2545)Andrew Reynolds
2018-09-24Refactor strings equality rewriting (#2513)Andrew Reynolds
2018-09-24Unify rewrites related to (str.contains x y) --> (= x y) (#2512)Andres Noetzli
2018-09-22cmake: Remove unused CMakeLists.txtMathias Preiner
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-19Add rewrites for str.contains + str.replace/substr (#2496)Andres Noetzli
2018-09-18Add two rewrites for string contains character (#2492)Andrew Reynolds
2018-09-18 Refactor strings extended functions inferences (#2480)Andrew Reynolds
2018-09-18Decision strategy: incorporate strings fmf. (#2485)Andrew Reynolds
2018-09-18More aggressive caching of string skolems. (#2491)Andrew Reynolds
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback