Update dependency: deps/stable-mir-json_release (#938)

rv-jenkins · rv-auditor · github-actions[bot] · web-flow · commit 59ba85c39612 · 2026-02-21T14:04:52.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: github-actions[bot] &lt;github-actions[bot]@users.noreply.github.com&gt;
Co-authored-by: dkcumming &lt;daniel.cumming@runtimeverification.com&gt;
diff --git a/deps/stable-mir-json b/deps/stable-mir-json
@@ -1 +1 @@
-Subproject commit a5b714d89d0c12c7f4b00602a95ad2d3a34530f0
+Subproject commit 9a7810914a338dfc2533b04bdb14b19c1943fdb8
diff --git a/deps/stable-mir-json_release b/deps/stable-mir-json_release
@@ -1 +1 @@
-a5b714d89d0c12c7f4b00602a95ad2d3a34530f0
+9a7810914a338dfc2533b04bdb14b19c1943fdb8
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/a5b714d89d0c12c7f4b00602a95ad2d3a34530f0";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/9a7810914a338dfc2533b04bdb14b19c1943fdb8";
     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 = 'a5b714d89d0c12c7f4b00602a95ad2d3a34530f0'
+__smir_version__: Final = '9a7810914a338dfc2533b04bdb14b19c1943fdb8'
diff --git a/kmir/src/tests/integration/data/prove-rs/show/offset-u8-fail.main.expected b/kmir/src/tests/integration/data/prove-rs/show/offset-u8-fail.main.expected
@@ -3,9 +3,9 @@
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
 │   span: 0
 │
-│  (34 steps)
+│  (35 steps)
 └─ 3 (stuck, leaf)
-    #traverseProjection ( toLocal ( 1 ) , thunk ( #decodeConstant ( constantKindAllo
+    #traverseProjection ( toAlloc ( allocId ( 0 ) ) , StringVal ( "123" ) , .Project
     span: 48
 
 
diff --git a/kmir/uv.lock b/kmir/uv.lock

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-a5b714d89d0c12c7f4b00602a95ad2d3a34530f0`
	`1`	`+9a7810914a338dfc2533b04bdb14b19c1943fdb8`