Improve memory usage of extraction, move some benchmarks to passing

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Closed oflatt closed 4 months ago

oflatt commented 4 months ago

This PR also, unfortunately, has to disable the function inlining code which has a performance bug