Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement mir_load_module #1863

Merged
merged 1 commit into from
May 10, 2023
Merged

Implement mir_load_module #1863

merged 1 commit into from
May 10, 2023

Commits on May 10, 2023

  1. Implement mir_load_module 

    This implements an experimental `mir_load_module` command, the first SAW
command dedicated to MIR (Rust) code. I have added a basic test case to kick
the tires and ensure that everything works as you would expect. You can't do
much with the resulting MIR module yet (besides printing it in the SAW REPL),
but more functionality for verifying the MIR code will come in future patches.

Note that in order to produce a MIR JSON file suitable for SAW's needs, you
must build your Rust code with one of the two `mir-json` tools added in
GaloisInc/mir-json#41.

This checks off one box in #1859.
    @RyanGlScott
    RyanGlScott committed May 10, 2023
    Configuration menu
    Copy the full SHA
    7bb990f View commit details
    Browse the repository at this point in the history