runtimeverification · automergerpr-permission-manager · Mar 9, 2026 · Mar 3, 2026 · Mar 3, 2026 · Mar 3, 2026
diff --git a/deps/stable-mir-json b/deps/stable-mir-json
diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release
@@ -1 +1 @@
-047ca6ac01786e1b616e13a216d70268b9785e17
+7da8e3bcd0aee1410be9c63cb92dd499f70e8fcc
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -6,7 +6,7 @@
 
     flake-utils.url = "github:numtide/flake-utils";
 
-    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/047ca6ac01786e1b616e13a216d70268b9785e17";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/7da8e3bcd0aee1410be9c63cb92dd499f70e8fcc";
     stable-mir-json-flake = {
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";

diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py
@@ -2,4 +2,4 @@
 from typing import Final
 
 __version__: Final = version('kmir')
-__smir_version__: Final = '047ca6ac01786e1b616e13a216d70268b9785e17'
+__smir_version__: Final = '7da8e3bcd0aee1410be9c63cb92dd499f70e8fcc'
+25 −2		.github/workflows/test.yml
+14 −0		CHANGELOG.md
+1 −1		Makefile
+53 −0		docs/adr/003-compat-layer-for-rustc-internals.md
+6 −0		rust-toolchain.toml
+95 −0		src/compat/bridge.rs
+58 −0		src/compat/mod.rs
+38 −0		src/compat/mono_collect.rs
+24 −0		src/compat/output.rs
+28 −0		src/compat/spans.rs
+131 −0		src/compat/types.rs
+2 −0		src/lib.rs
+3 −5		src/main.rs
+1 −1		src/mk_graph/context.rs
+1 −1		src/mk_graph/index.rs
+12 −18		src/mk_graph/mod.rs
+2 −2		src/mk_graph/output/d2.rs
+2 −2		src/mk_graph/output/dot.rs
+1 −1		src/mk_graph/util.rs
+82 −38		src/printer/collect.rs
+14 −81		src/printer/items.rs
+17 −27		src/printer/link_map.rs
+26 −98		src/printer/mir_visitor.rs
+10 −14		src/printer/mod.rs
+19 −16		src/printer/schema.rs
+5 −16		src/printer/ty_visitor.rs
+3 −10		src/printer/types.rs
+3 −35		src/printer/util.rs
+8 −1		tests/integration/normalise-filter.jq
+52 −52		tests/integration/programs/assert_eq.smir.json.expected
+6 −6		tests/integration/programs/closure-args.smir.json.expected
+41 −41		tests/integration/programs/fn-ptr-in-arg.smir.json.expected
+73 −0		tests/ui/ensure_rustc_commit.sh
+5 −1		tests/ui/remake_ui_tests.sh
+10 −7		tests/ui/run_ui_tests.sh