summaryrefslogtreecommitdiff
path: root/src/theory/strings/theory_strings.cpp
AgeCommit message (Expand)Author
2019-04-30Merge branch 'master' into cav2019stringsAndres Noetzli
2019-04-30revert diffAndres Noetzli
2019-04-23Refactor normal forms in strings (#2897)Andrew Reynolds
2019-04-17mergeAndres Noetzli
2019-04-17Fix extended function decomposition (#2960)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2019-03-26Fix a few warnings (#2898)Andrew Reynolds
2019-03-24 Split regular expression solver (#2891)Andrew Reynolds
2019-03-22Revisit strings extended function decomposition (#2892)Andrew Reynolds
2019-03-21 Fix bad comparison in RE solver's addMembership (#2880)Andrew Reynolds
2019-03-14Fix function term set for theory strings compute care graph. (#2862)Andrew Reynolds
2019-01-18mergeAndres Noetzli
2019-01-15Strings: Add option to change loop process mode (#2794)Andres Noetzli
2019-01-14Merge remote-tracking branch 'fork/loopProcessOpts' into cav2019stringsAndres Noetzli
2019-01-14Strings: Add option to change loop process modeAndres Noetzli
2018-12-20different lemmaAndres Noetzli
2018-12-20eager stringsAndres Noetzli
2018-12-20flipAndres Noetzli
2018-12-20adv splitAndres Noetzli
2018-12-20indexof splittingAndres Noetzli
2018-12-15simplifyAndres Noetzli
2018-12-07Strings: Make EXTF_d inference more conservative (#2740)Andres Noetzli
2018-11-27Make (T)NodeTrie a general utility (#2489)Andrew Reynolds
2018-11-21Support string replace all (#2704)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-11 Fix string ext inference for rewrites that introduce negation (#2618)Andrew Reynolds
2018-10-08 Fix string register extended terms (#2597)Andrew Reynolds
2018-09-30Add rewrite for solving stoi (#2532)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-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-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-06Make flat form inferences optional in strings (#2277)Andrew Reynolds
2018-08-02Make strings robust to regular expression variables. (#2255)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-02Remove some dead code from theory strings (#2125)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback