Issues

• libs: Patch PartialOrd impl for slices to avoid transmute that crucible-mir doesn't support

  enhancementstandard libraries
  GaloisInc/mir-json#340 · Filter by author RyanGlScott opened on Nov 6, 2026

• cargo crux-test behaves differently when compiling proc macro that uses cfg!

  bug
  GaloisInc/mir-json#333 · Filter by author RyanGlScott opened on Oct 18, 2026
  3

• Make cargo saw-build and cargo crux-test respect the --verbose option

  enhancement
  GaloisInc/mir-json#332 · Filter by author RyanGlScott opened on Oct 18, 2026

• mir-json-dce doesn't print anything useful with RUST_LOG=debug

  bug
  GaloisInc/mir-json#331 · Filter by author RyanGlScott opened on Oct 18, 2026
  1

• libs: Support deriving Symbolic/BoundedSymbolic for fields whose types lack impls

  enhancementstandard libraries
  GaloisInc/mir-json#329 · Filter by author RyanGlScott opened on Oct 16, 2026

• mir-json-up: Allow installation from a custom 'mir-json' source directory.

  GaloisInc/mir-json#322 · Filter by author aschwerdfeger-galois opened on Sep 23, 2026
  

• mir-json-up: Allow '=' as a separator for named arguments.

  GaloisInc/mir-json#321 · Filter by author aschwerdfeger-galois opened on Sep 23, 2026
  

• mir-json-up: Eliminate the use of 'set -e'.

  GaloisInc/mir-json#320 · Filter by author aschwerdfeger-galois opened on Sep 23, 2026
  2

  

• Make the crucible crate re-export crucible_proc_macros for easier Symbolic deriving

  enhancementstandard libraries
  GaloisInc/mir-json#319 · Filter by author RyanGlScott opened on Sep 2, 2026
  1

• Make schema a bit more precise

  enhancement
  GaloisInc/mir-json#316 · Filter by author yav opened on Aug 26, 2026

• Improved counterexample printing of symbolic arrays

  enhancementstandard libraries
  GaloisInc/mir-json#310 · Filter by author podhrmic opened on Aug 14, 2026

• libs: Add Symbolic impl for char

  enhancementstandard libraries
  GaloisInc/mir-json#306 · Filter by author RyanGlScott opened on Aug 12, 2026

• Support Windows

  enhancement
  GaloisInc/mir-json#275 · Filter by author RyanGlScott opened on Jun 8, 2026

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

  enhancement
  GaloisInc/mir-json#260 · Filter by author RyanGlScott opened on Apr 7, 2026

• Support constant references with non-zero offsets

  breaking changeenhancement
  GaloisInc/mir-json#241 · Filter by author RyanGlScott opened on Jan 30, 2026
  3

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

  enhancement
  GaloisInc/mir-json#239 · Filter by author RyanGlScott opened on Jan 30, 2026

• libs: new module for testing crucible-mir intrinsics

  enhancementstandard libraries
  GaloisInc/mir-json#236 · Filter by author samcowger opened on Jan 26, 2026
  1

  

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

  enhancementstandard libraries
  GaloisInc/mir-json#229 · Filter by author RyanGlScott opened on Jan 21, 2026
  2

• Support constant, custom DSTs

  bug
  GaloisInc/mir-json#210 · Filter by author RyanGlScott opened on Dec 13, 2025
  8

• Support creating clone shims for Coroutines

  enhancement
  GaloisInc/mir-json#196 · Filter by author RyanGlScott opened on Nov 24, 2025
  2

• There are multiple, incompatible JSON schemas for array constants

  breaking changebug
  GaloisInc/mir-json#185 · Filter by author RyanGlScott opened on Nov 9, 2025
  2

• Time to replace JSON with a binary format?

  enhancement
  GaloisInc/mir-json#167 · Filter by author podhrmic opened on Sep 9, 2025
  4

• Incorrect trait item DefIds in vtable entries

  bug
  GaloisInc/mir-json#127 · Filter by author spernsteiner opened on Jun 26, 2025
  4

• Consistent .linked-mir.json path

  enhancement
  GaloisInc/mir-json#115 · Filter by author qsctr opened on May 20, 2025
  2

• Support TerminatorKind::TailCall

  enhancement
  GaloisInc/mir-json#110 · Filter by author RyanGlScott opened on May 16, 2025