egraphs-good / egglog

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

Add `get_sort` back #453

Closed yihozhang closed 4 weeks ago

yihozhang commented 4 weeks ago

https://github.com/egraphs-good/egglog/pull/442/files/8ae1427f67040e833526495678fa91351a17af00#r1807931895

codspeed-hq[bot] commented 4 weeks ago

CodSpeed Performance Report

Merging #453 will not alter performance

Comparing yihozhang-patch-3 (38b34d9) with main (af49ae2)

Summary

✅ 8 untouched benchmarks