runtimeverification · rv-jenkins · Mar 22, 2026 · Mar 22, 2026 · Mar 22, 2026 · Mar 22, 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 @@
-7da8e3bcd0aee1410be9c63cb92dd499f70e8fcc
+885ab4a9f6dd1b5416b57e914082fbb341c89f97
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/7da8e3bcd0aee1410be9c63cb92dd499f70e8fcc";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/885ab4a9f6dd1b5416b57e914082fbb341c89f97";
     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 = '7da8e3bcd0aee1410be9c63cb92dd499f70e8fcc'
+__smir_version__: Final = '885ab4a9f6dd1b5416b57e914082fbb341c89f97'
+31 −0		.github/scripts/install-yq.sh
+48 −18		.github/workflows/test.yml
+162 −18		Makefile
+0 −6		rust-toolchain.toml
+32 −43		src/bin/cargo_stable_mir_json.rs
+10 −0		src/printer/collect.rs
+2 −3		src/printer/items.rs
+2 −3		src/printer/schema.rs
+60 −4		src/printer/ty_visitor.rs
+30 −16		tests/ui/ensure_rustc_commit.sh