egraphs-good / egglog

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

Extract egraph-serialize features #466

Closed DaniPopes closed 1 week ago

DaniPopes commented 1 week ago

egraph-serialize's "serde" and "graphviz" features are not used in the library but are always enabled. Disable them by default and extract them into our own features that just delegate to egraph-serialize to preserve the functionality.

This is a breaking change for library users that disable default features.

codspeed-hq[bot] commented 1 week ago

CodSpeed Performance Report

Merging #466 will not alter performance

Comparing DaniPopes:serialize-features (6a830c5) with main (2c8d947)

Summary

✅ 8 untouched benchmarks