Search results

mir-json-translate-libs: Prompt user to delete and recreate rlibs directory if it already exists

enhancement

Status: Open.

#260 In GaloisInc/mir-json;

· RyanGlScott opened on Apr 7, 2026

Emit layout information for unsized types

Status: Open.

#257 In GaloisInc/mir-json;

· spernsteiner opened on Mar 30, 2026

UI: add scripted interface for (re)building tools/libraries

enhancement

Status: Open.

#252 In GaloisInc/mir-json;

· samcowger opened on Mar 9, 2026

Support constant references with non-zero offsets

breaking changeChanges that will require backwards-incompatible updates to the schemaChanges that will require backwards-incompatible updates to the schema

enhancement

Status: Open.

#241 In GaloisInc/mir-json;

· RyanGlScott opened on Jan 30, 2026

Emit vtables for "trivial" trait objects that only contain auto traits

enhancement

Status: Open.

#239 In GaloisInc/mir-json;

· RyanGlScott opened on Jan 30, 2026

libs: new module for testing crucible-mir intrinsics

enhancement

standard librariesIssues involving mir-json's modified versions of the Rust standard librariesIssues involving mir-json's modified versions of the Rust standard libraries

Status: Open.

#236 In GaloisInc/mir-json;

· samcowger opened on Jan 26, 2026

libs: Make Drop impl for std::io::Error more Crucible-friendly

enhancement

standard librariesIssues involving mir-json's modified versions of the Rust standard librariesIssues involving mir-json's modified versions of the Rust standard libraries

Status: Open.

#229 In GaloisInc/mir-json;

· RyanGlScott opened on Jan 21, 2026

mir-json internal error with constant, custom DSTs (entered unreachable code: slice type should not occur here)

bug

Status: Open.

#210 In GaloisInc/mir-json;

· RyanGlScott opened on Dec 13, 2025

Properly support constant union values

enhancement

Status: Open.

#209 In GaloisInc/mir-json;

· RyanGlScott opened on Dec 12, 2025

Support creating clone shims for Coroutines

enhancement

Status: Open.

#196 In GaloisInc/mir-json;

· RyanGlScott opened on Nov 24, 2025

There are multiple, incompatible JSON schemas for array constants

breaking changeChanges that will require backwards-incompatible updates to the schemaChanges that will require backwards-incompatible updates to the schema

bug

Status: Open.

#185 In GaloisInc/mir-json;

· RyanGlScott opened on Nov 9, 2025

Emit layout information for fields of ADTs

breaking changeChanges that will require backwards-incompatible updates to the schemaChanges that will require backwards-incompatible updates to the schema

enhancement

Status: Open.

#184 In GaloisInc/mir-json;

· RyanGlScott opened on Nov 4, 2025