You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, if you run cargo mir-json on an unbuilt repository, you'll get a .mir file out, as well as target binaries. If you run it on an already-built repository (even if built with cargo build instead of cargo mir-json) then the JSON translation doesn't happen. If we consistently pass the -Zno-trans flag throughout, we'll avoid the time taken to build native code as well as the problem of re-running the translation.
The text was updated successfully, but these errors were encountered:
Currently, if you run
cargo mir-json
on an unbuilt repository, you'll get a.mir
file out, as well as target binaries. If you run it on an already-built repository (even if built withcargo build
instead ofcargo mir-json
) then the JSON translation doesn't happen. If we consistently pass the-Zno-trans
flag throughout, we'll avoid the time taken to build native code as well as the problem of re-running the translation.The text was updated successfully, but these errors were encountered: