Age | Commit message (Expand) | Author |
---|---|---|
2020-06-17 | Do not traverse WITNESS for partial substitutions in extended rewriter (#4630) | Andrew Reynolds |
2018-08-27 | Refactor extended rewriter, move rewrites to aggressive (#2387) | Andrew Reynolds |
2018-08-16 | Refactor extended rewriter preprocessing pass (#2324) | Haniel Barbosa |