Age | Commit message (Expand) | Author |
---|---|---|
2018-10-12 | Improvements to rewrite rules from inputs (#2625) | Andrew Reynolds |
2018-10-10 | Synthesize rewrite rules from inputs (#2608) | Andrew Reynolds |
2018-10-02 | Make registration of preprocessing passes explicit (#2564) | Andres Noetzli |
2018-10-01 | Refactor preprocessing pass registration (#2468) | Andres Noetzli |
2018-06-27 | Synthesize candidate-rewrites from standard inputs (#1918) | Andrew Reynolds |