egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Brilift integration #408

Closed Alex-Fischman closed 5 months ago

Alex-Fischman commented 6 months ago

Adds RunType::Compile and Interpretable::Executable to util.rs, which calls into brilift to compile and run the program.

Resolves #385.