Issues

• Inconsistent KMIR versions across project

  runtimeverification/mir-semantics#1078 · Filter by author dkcumming opened on Apr 24, 2026

• Decode constant call arguments before storing them in callee locals

  runtimeverification/mir-semantics#1070 · Filter by author Stevengre opened on Apr 18, 2026
  2

• Reloading proof crashes on with nix installation

  bug
  Bug

  runtimeverification/mir-semantics#1067 · Filter by author dkcumming opened on Apr 16, 2026

• Unify #traverseProjection value representation to eliminate singleton Range round-trips

  area:semanticskind:refactorpriority:p1status:triagetype:task
  runtimeverification/mir-semantics#1011 · Filter by author Stevengre opened on Apr 1, 2026
  1

• feat: add address allocation model for pointer-to-integer semantics

  status:ready
  runtimeverification/mir-semantics#1002 · Filter by author Stevengre opened on Mar 26, 2026

• Nested transparent wrapper pointer casts produce incorrect projection chains

  runtimeverification/mir-semantics#997 · Filter by author Stevengre opened on Mar 20, 2026

• No-LLVM-kompile approach causes 5x prove performance regression due to kore-rpc fallback

  area:semanticskind:perfpriority:p2status:iceboxtype:bug
  runtimeverification/mir-semantics#992 · Filter by author Stevengre opened on Mar 18, 2026
  1

• Inline Ty indices: replace ty(Int) references with actual type data

  area:semanticsarea:typespriority:p2status:triagetype:feature
  runtimeverification/mir-semantics#991 · Filter by author Stevengre opened on Mar 17, 2026

• [FEAT] Add performance benchmarking and profiling infrastructure

  runtimeverification/mir-semantics#970 · Filter by author Stevengre opened on Mar 4, 2026
  3

• Incrementally integrate external Rust test suites into mir-semantics CI

  runtimeverification/mir-semantics#964 · Filter by author Stevengre opened on Mar 2, 2026

• Remove mutability tracking from MIR semantics

  runtimeverification/mir-semantics#949 · Filter by author Stevengre opened on Feb 26, 2026
  1

  

• Semantics of iterator core code

  bug
  runtimeverification/mir-semantics#914 · Filter by author dkcumming opened on Jan 19, 2026

• feat: support panic

  runtimeverification/mir-semantics#899 · Filter by author Stevengre opened on Dec 17, 2025

• Better cheatcodes

  runtimeverification/mir-semantics#890 · Filter by author Stevengre opened on Dec 10, 2025

• [FEAT] Tackle impossible cases with minimal requirements

  runtimeverification/mir-semantics#889 · Filter by author Stevengre opened on Dec 10, 2025

• Add simplifications for plausible custom overflow criteria

  runtimeverification/mir-semantics#866 · Filter by author jberthold opened on Nov 25, 2025

• Decoding failing for enum with negative discriminant type

  runtimeverification/mir-semantics#848 · Filter by author dkcumming opened on Nov 15, 2025

• [BUG] ndbranches in exec-smir/pointers/pointer-cast-zst.rs

  runtimeverification/mir-semantics#841 · Filter by author Stevengre opened on Nov 13, 2025

• [FEAT] General symbolic data approach

  runtimeverification/mir-semantics#832 · Filter by author Stevengre opened on Nov 11, 2025

• [BUG] ndbranches in interior-mut3-fail.main.expected

  runtimeverification/mir-semantics#831 · Filter by author Stevengre opened on Nov 11, 2025
  1

• Compilation of Unreduced Semantics Sometimes Fails

  runtimeverification/mir-semantics#829 · Filter by author sskeirik opened on Nov 11, 2025

• [BUG] thunk ( #decodeConstant ( constantKindZeroSized

  runtimeverification/mir-semantics#825 · Filter by author Stevengre opened on Nov 10, 2025
  1

• [TEST] More tests fior zero-sized data

  runtimeverification/mir-semantics#823 · Filter by author Stevengre opened on Nov 10, 2025

• Collection of failing rust programs

  bug
  runtimeverification/mir-semantics#814 · Filter by author Stevengre opened on Nov 7, 2025

• Incorrect handling of drop for RefCell (borrow flag modified during drop)

  bug
  runtimeverification/mir-semantics#807 · Filter by author Stevengre opened on Nov 7, 2025