eqsat: An Equality Saturation Dialect for Non-destructive Rewriting

(arxiv.org)

2 points | by matt_d 6 hours ago ago