search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
458 stars 54 forks source link

Prepare for v0.3.0 #425

Closed yihozhang closed 1 month ago

yihozhang commented 2 months ago

Pending https://github.com/egraphs-good/egraph-serialize/pull/17

saulshanabrook commented 2 months ago

Thank you @yihozhang! Just a note, the latest commit in the e-graph serialize repo needs this PR to work with this repo: https://github.com/egraphs-good/egglog/pull/424 So it should probably be reviewed before we cut a release.

yihozhang commented 1 month ago

Thanks! @saulshanabrook