egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Add Rust to Bril #412

Closed ajpal closed 5 months ago

ajpal commented 6 months ago

Usage: cargo run -- --run-mode rust-to-bril <rust file> Expected output: Prints a bril program that is equivalent to the Rust input program

oflatt commented 5 months ago

Sounds like we should merge this with a bril branch for now