summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-03-12less aggressiverewInferAndres Noetzli
2019-03-12minorAndres Noetzli
2019-03-12rewrite infAndres Noetzli
2019-02-05Make stripConstantEndpoints() less aggressiveAndres Noetzli
2019-02-04mergeAndres Noetzli
2019-02-04Formatajreynol
2019-02-04Minorajreynol
2019-02-04Generalize sygus rr verify feature.ajreynol
2019-02-03Add rewrite for contains + const strings replace (#2828)Andres Noetzli
2019-02-03Merge branch 'REtoCtn' into cav2019stringsAndres Noetzli
2019-02-03Merge branch 'ctnRew' into cav2019stringsAndres Noetzli
2019-02-03Fix issueAndres Noetzli
2019-02-03Add rewrite for contains + const strings replaceAndres Noetzli
2019-02-03Rewrite simple regexp pattern to str.containsAndres Noetzli
2019-02-02Fix corner case in stripConstantEndpoints (#2824)Andres Noetzli
2019-01-29Fix warning due to catching polymorphic exceptions (#2821)Andres Noetzli
2019-01-29TestAndres Noetzli
2019-01-29New C++ API: Fix checks for mkTerm. (#2820)Aina Niemetz
2019-01-29Strings: Remove redundant replace rewrite (#2822)Andres Noetzli
2019-01-29Merge branch 'fixStripConstantEndpoints' into cav2019stringsAndres Noetzli
2019-01-29Fix corner case in stripConstantEndpointsAndres Noetzli
2019-01-25Add approx optAndres Noetzli
2019-01-25Revert adding rewritesAndres Noetzli
2019-01-25Merge branch 'disableRewrite' into cav2019stringsAndres Noetzli
2019-01-25Strings: Remove redundant replace rewriteAndres Noetzli
2019-01-24Extended DRAT signature to operational DRAT (#2815)Alex Ozdemir
2019-01-23Merge branch 'strongerContainsRew' into cav2019stringsAndres Noetzli
2019-01-23Revert "Minor"Andres Noetzli
2019-01-23Merge branch 'strongerContainsRew' into cav2019stringsAndres Noetzli
2019-01-23MinorstrongerContainsRewAndres Noetzli
2019-01-23Merge branch 'strongerContainsRew' into cav2019stringsAndres Noetzli
2019-01-23FixAndres Noetzli
2019-01-23Merge branch 'strongerContainsRew' into cav2019stringsAndres Noetzli
2019-01-23MinorAndres Noetzli
2019-01-23Merge branch 'strongerContainsRew' into cav2019stringsAndres Noetzli
2019-01-23Strengthen contains rewritesAndres Noetzli
2019-01-23Add trace statementsAndres Noetzli
2019-01-23Avoid using ProofManager in non-proof CMS build (#2814)Andres Noetzli
2019-01-23mergeAndres Noetzli
2019-01-23FixAndres Noetzli
2019-01-22Strings: Strengthen multiset reasoning (#2817)Andres Noetzli
2019-01-22Add option for stripping constant endpoints, fixing entail contains checksAndres Noetzli
2019-01-22Add multiset reasoning optionAndres Noetzli
2019-01-22Merge branch 'overapproxMultiset' into cav2019stringsAndres Noetzli
2019-01-22Merge branch 'master' into overapproxMultisetAndres Noetzli
2019-01-22Address commentsAndres Noetzli
2019-01-22 Fix tuple and record CVC printing (#2818)Andrew Reynolds
2019-01-22 Fix parsing of overloaded parametric datatype selectors (#2819)Andrew Reynolds
2019-01-22New README (markdown). (#2797)Aina Niemetz
2019-01-22Strings: Strengthen multiset reasoningAndres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback