Rewrite-rule generation using serialized EGraph

gussmith23 / churchroad

MIT License

9 stars 1 forks source link

Rewrite-rule generation using serialized EGraph #67

Open thiskappaisgrey opened 6 months ago

thiskappaisgrey commented 6 months 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 6 months ago

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

thiskappaisgrey commented 6 months ago

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