Halide recipe that gets 64% derivability.

uwplse / ruler

Rewrite Rule Inference Using Equality Saturation

https://dl.acm.org/doi/10.1145/3485496

MIT License

119 stars 9 forks source link

Closed vee-effekt closed 1 year ago

vee-effekt commented 1 year ago

Also, changes to the logger so you can choose not to attempt derivability.