summaryrefslogtreecommitdiff
path: root/src/theory/strings/rewrites
AgeCommit message (Expand)Author
2021-10-05tmpproof-new-dslAndres Noetzli
2021-07-22Minorajreynol
2021-07-20A few more missing rewritesajreynol
2021-07-20Add some remaining rewrite rules for Amazon benchmarksajreynol
2021-07-08More rule, word equation clash now scalesajreynol
2021-06-30More rewritesajreynol
2021-06-30Merge branch 'proof-new' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-06-30More rewrites, debugajreynol
2021-06-30[DSL] Fix comparison of `CInt`Andres Noetzli
2021-06-29A few more DSL rulesajreynol
2021-06-29Rewriter as oracle for eager pruning, add more rules, down to 127 unproven on...ajreynol
2021-06-29Rename utility, tweak rewrite ruleajreynol
2021-06-29Merge branch 'proof-new' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-06-29More dsl rulesajreynol
2021-06-28[DSL] Fix `App` comparison, make CSE more strictAndres Noetzli
2021-06-28Merge branch 'proof-new' of https://github.com/CVC4/CVC4 into proof-newajreynol
2021-06-28Sketching more DSL rulesajreynol
2021-06-28[DSL] Support for RegLan and check for list varsAndres Noetzli
2021-06-25[DSL] List attributesAndres Noetzli
2021-06-25[DSL] Support for more operatorsAndres Noetzli
2021-06-25[DSL] Fix support for commentsAndres Noetzli
2021-06-25Working on rewrite term processor, incorporate null terminators, fix unused a...ajreynol
2021-06-25Update internal string kinds, add support for str.replace to DSL to testajreynol
2021-06-25Maintain user names for DSL proof rule argumentsajreynol
2021-06-24local variable definitionsAndres Noetzli
2021-06-24Generate definitions for common subexpressionsAndres Noetzli
2021-06-23Simple DSL rulesAndres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback