Add example of fib with outputs split into own e-classes

egraphs-good / egraph-serialize

egraph <-> json

MIT License

12 stars 4 forks source link

Closed saulshanabrook closed 10 months ago

saulshanabrook commented 1 year ago

Adds example of splitting primitive outputs nodes into own classes based on https://github.com/egraphs-good/egglog/pull/245

mwillsey commented 10 months ago

For some reason I wasn't getting notis for this repo! Sorry!

Anyway, now that I merged the other PRs, if you patch this one up I can merge as well.

saulshanabrook commented 10 months ago

@mwillsey just updated it!

No worries, I have done that before, not subscribing to a repo by accident. Thanks for all the reviews.