search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Rebase Brillvm on to main #546

Closed oflatt closed 6 months ago

oflatt commented 6 months ago

This PR replaces #542

oflatt commented 6 months ago

As far as I can tell, this PR is blocked on three things:

  1. The scary LLVM error 
    cargo test --release mod_inv
You should get:
LLVM ERROR: Instruction Combining did not reach a fixpoint after 1 iterations
  2. CI isn't working at the moment with the new llvm builds
  3. Linux install instructions for eggcc in the README
oflatt commented 6 months ago

Blockers 1 and 2 fixed Lets fix 3 in a follow up PR