runtimeverification · rv-jenkins · Feb 26, 2026 · Feb 26, 2026 · Feb 26, 2026 · Feb 26, 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 @@
-9a7810914a338dfc2533b04bdb14b19c1943fdb8
+cab07e2d7848e887a1cacdb947703b298a99bc69
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/9a7810914a338dfc2533b04bdb14b19c1943fdb8";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/cab07e2d7848e887a1cacdb947703b298a99bc69";
     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 = '9a7810914a338dfc2533b04bdb14b19c1943fdb8'
+__smir_version__: Final = 'cab07e2d7848e887a1cacdb947703b298a99bc69'
diff --git a/kmir/uv.lock b/kmir/uv.lock
+80 −0		CHANGELOG.md
+1 −1		Cargo.lock
+2 −2		Cargo.toml
+58 −0		docs/adr/001-index-first-graph-architecture.md
+54 −0		docs/adr/002-declarative-pipeline-with-allocmap-coherence.md
+1 −5		src/mk_graph/output/dot.rs
+391 −205		src/printer.rs
+0 −6		tests/ui/failing.tsv
+6 −0		tests/ui/passing.tsv