Search results

Don't use macros to derive ToJson impls

enhancement

Status: Open.

#72 In GaloisInc/mir-json;

· RyanGlScott opened on Jul 18, 2024

Add CI

ciContinuous integrationContinuous integration

Status: Open.

#42 In GaloisInc/mir-json;

· RyanGlScott opened on Apr 24, 2023

mir-json-rustc-wrapper produced linked MIR with too many dots in the file name

bug

Status: Closed (completed).

#38 In GaloisInc/mir-json;

· by RyanGlScott was closed on May 1, 2023

Add cargo saw-build command for producing MIR JSON files without testing them

enhancement

Status: Closed (completed).

#39 In GaloisInc/mir-json;

· by RyanGlScott was closed on May 1, 2023

Rename CRUX_RUST_LIBRARY_PATH to RUST_LIBRARY_PATH

enhancement

Status: Closed (completed).

#43 In GaloisInc/mir-json;

· by RyanGlScott was closed on May 5, 2023

Document the zoo of executables

documentation

Status: Closed (completed).

#40 In GaloisInc/mir-json;

· by RyanGlScott was closed on May 1, 2023

Add a schema version to JSON

enhancement

Status: Closed (completed).

#45 In GaloisInc/mir-json;

· by RyanGlScott was closed on Sep 10, 2024

Improve dependency tracking for dead code elimination

enhancement

Status: Open.

#36 In GaloisInc/mir-json;

· RyanGlScott opened on Mar 29, 2023

saw-rustc --version panics (but crux-rustc --version doesn't)

bug

Status: Open.

#50 In GaloisInc/mir-json;

· RyanGlScott opened on Aug 15, 2023

saw-rustc doesn't work with struct newtypes

bug

Status: Closed (completed).

#53 In GaloisInc/mir-json;

· by RyanGlScott was closed on Aug 29, 2023

Modernize outdated references to mir-verifier

documentation

Status: Closed (completed).

#37 In GaloisInc/mir-json;

· by RyanGlScott was closed on May 1, 2023

Handle mixed monomorphic and polymorphic code with saw-rustc

bug

Status: Closed (completed).

#52 In GaloisInc/mir-json;

· by RyanGlScott was closed on Aug 29, 2023