Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-10-17 | fix error in heuristic rewriting | Jesse Plamondon-Willard | |
2020-08-26 | add heuristic rewrite for field => const changes | Jesse Plamondon-Willard | |
2020-08-26 | rename new heuristic rewriters for clarity | Jesse Plamondon-Willard | |