search

uwplse / ruler

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

Add Szalinski eval; parameterize match limits #187

Closed rtjoa closed 1 year ago

rtjoa commented 1 year ago

@ajpal Am I good to merge?