Include this by adding the following to your
[dependencies.bril-rs] version = "0.1.0" path = "../bril-rs" features = ["ssa", "memory", "float", "speculate"]
Each of the extensions to Bril core is feature gated. To ignore an extension, remove its corresponding string from the
There are two helper functions,
load_program, which will read a valid Bril program from stdin, and
output_program which writes your Bril program to stdout. Otherwise, this library can be treated like any other serde JSON representation.
There is currently a very trivial example that uses this interface to create a rust implementation of
bril2txt. Run it with
cargo run --example bril2txt.
To maintain consistency and cleanliness, run:
cargo fmt cargo clippy