search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

make nightly fast #541

Closed ryan-berger closed 4 months ago

ryan-berger commented 4 months ago

@oflatt Looks like this probably should get closed? Git conflict shows that you've changed the max runs to a smaller number

ryan-berger commented 4 months ago

I'll close for now and can reopen if we want it, but I'm not sure this does anything substantive