egraphs-good / eggcc

MIT License
42 stars 8 forks source link

brillvm #542

Closed ryan-berger closed 4 months ago

ryan-berger commented 4 months ago

@oflatt This is "ready" but needs 1. a README to install brillvm stuff locally (essentially just brew install llvm@18 for y'all) and 2. needs to be pushed up to nightly or else it will continue to fail. I don't think it will be as easy as "only enable on local" as I thought, but I can do it if we really, really need it.

I think the best course of action is to fast track this all onto the nightly box if we can.

@ajpal do you have ssh creds to the nightly box by chance?

oflatt commented 4 months ago

closing, rebased in #546