search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Switch back to main bril #435

Closed ajpal closed 7 months ago

ajpal commented 7 months ago

Now that https://github.com/sampsyo/bril/pull/315 is merged, we shouldn't depend on my fork anymore.