PR #4841: feat(tactic/rewrite_search): Automatically sear...

Stream: triage

[Random Issue Bot]

Today I chose PR 4841 for discussion!

feat(tactic/rewrite_search): Automatically searching for chains of rewrites
Created by @Kevin Lacker (@lacker) on 2020-10-30
Labels: awaiting-review, meta

Is this PR still relevant? Any recent updates? Anyone making progress?

[Rob Lewis]

This is still on my radar to review but the last few weeks have been very complicated!

[Rob Lewis]

I'll get there.