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

simple scheduler for derive #194

Closed oflatt closed 1 year ago

oflatt commented 1 year ago

don't merge until clean nightly!

oflatt commented 1 year ago

This no longer is relavent