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

BV4 baseline reversion. #199

Closed vee-effekt closed 1 year ago

vee-effekt commented 1 year ago

The new one that's fancy is still there but now we have the old, dumb one, too.

ajpal commented 1 year ago

The other bv files import the bv4 rules (ex: https://github.com/uwplse/ruler/blob/main/tests/bv64.rs#L67) I think with your change they will now import the simpler recipe, which is not what we want. Maybe make a new file under tests/recipes (similar to how we have two versions for rational) so that we can import the right thing from the other bv tests