Rewrite-rule generation using serialized EGraph

uwsampl / churchroad

MIT License

5 stars 1 forks source link

Rewrite-rule generation using serialized EGraph #67

Open thiskappaisgrey opened 1 month ago

thiskappaisgrey commented 1 month ago

This PR adds the rewrite rule generation from Serialized Egraph. It's a WIP right now (still need to generate the module defs), but the LHS is mostly done.

gussmith23 commented 1 month ago

@thiskappaisgrey can you fix clippy warnings? cargo clippy --fix

thiskappaisgrey commented 1 month ago

@gussmith23 I did but clippy --fix only affected tests/interpreter_tests.rs which I didn't touch in my PR.