search

uwplse / ruler

Rewrite Rule Inference Using Equality Saturation
https://dl.acm.org/doi/10.1145/3485496
MIT License
119 stars 9 forks source link

no div no implies #200

Closed ajpal closed 1 year ago

ajpal commented 1 year ago

we're not using these ops in the enumo recipe so we shouldn't use them in the ruler1 baseline