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

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>

Author: 3 people

.github/workflows/update-dependencies.yml

@@ -49,7 +49,8 @@ jobs:
           git fetch --all
           git checkout "${VERSION}"
           cd ../..
-          git add deps/stable-mir-json
+          sed -i 's!__smir_version__: Final = '"'[0-9a-f]*'"'!__smir_version__: Final = '"'${VERSION}'"'!' kmir/src/kmir/__init__.py
+          git add deps/stable-mir-json kmir/src/kmir/__init__.py
           git commit -m "deps/stable-mir-json: sync submodule ${VERSION}" || true
       - name: 'Update Nix flake inputs'
         run: |

deps/stable-mir-json

@@ -1 +1 @@
-e9395d9b763f1e78ed19ee106c6ab4f0128566a7
+a5b714d89d0c12c7f4b00602a95ad2d3a34530f0

deps/stable-mir-json_release

@@ -6,7 +6,7 @@
 
     flake-utils.url = "github:numtide/flake-utils";
 
-    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/e9395d9b763f1e78ed19ee106c6ab4f0128566a7";
+    stable-mir-json-flake.url = "github:runtimeverification/stable-mir-json/a5b714d89d0c12c7f4b00602a95ad2d3a34530f0";
     stable-mir-json-flake = {
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";

flake.lock

@@ -1,3 +1,5 @@
+from importlib.metadata import version
 from typing import Final
 
-VERSION: Final = '0.3.181'
+__version__: Final = version('kmir')
+__smir_version__: Final = 'a5b714d89d0c12c7f4b00602a95ad2d3a34530f0'

flake.nix

@@ -70,29 +70,25 @@ def dedent(s: str) -> str:
     return dedent(s).strip()
 
 
-KORE_TEMPLATE: Final = Template(
-    dedent(
-        r"""
-            Lbl'-LT-'generatedTop'-GT-'{}(
-                Lbl'-LT-'kmir'-GT-'{}(
-                    Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortEvaluation{}, SortKItem{}}($evaluation), dotk{}())),
-                    Lbl'-LT-'retVal'-GT-'{}(LblnoReturn'Unds'KMIR-CONFIGURATION'Unds'RetVal{}()),
-                    Lbl'-LT-'currentFunc'-GT-'{}(Lblty{}(\dv{SortInt{}}("-1"))),
-                    Lbl'-LT-'currentFrame'-GT-'{}(
-                        Lbl'-LT-'currentBody'-GT-'{}(Lbl'Stop'List{}()),
-                        Lbl'-LT-'caller'-GT-'{}(Lblty{}(\dv{SortInt{}}("-1"))),
-                        Lbl'-LT-'dest'-GT-'{}(Lblplace{}(Lbllocal{}(\dv{SortInt{}}("-1")),LblProjectionElems'ColnColn'empty{}())),
-                        Lbl'-LT-'target'-GT-'{}(LblnoBasicBlockIdx'Unds'BODY'Unds'MaybeBasicBlockIdx{}()),
-                        Lbl'-LT-'unwind'-GT-'{}(LblUnwindAction'ColnColn'Unreachable{}()),
-                        Lbl'-LT-'locals'-GT-'{}(Lbl'Stop'List{}())
-                    ),
-                    Lbl'-LT-'stack'-GT-'{}(Lbl'Stop'List{}()),
-                ),
-                Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0"))
-            )
-        """
+KORE_TEMPLATE: Final = Template(dedent(r"""
+    Lbl'-LT-'generatedTop'-GT-'{}(
+        Lbl'-LT-'kmir'-GT-'{}(
+            Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortEvaluation{}, SortKItem{}}($evaluation), dotk{}())),
+            Lbl'-LT-'retVal'-GT-'{}(LblnoReturn'Unds'KMIR-CONFIGURATION'Unds'RetVal{}()),
+            Lbl'-LT-'currentFunc'-GT-'{}(Lblty{}(\dv{SortInt{}}("-1"))),
+            Lbl'-LT-'currentFrame'-GT-'{}(
+                Lbl'-LT-'currentBody'-GT-'{}(Lbl'Stop'List{}()),
+                Lbl'-LT-'caller'-GT-'{}(Lblty{}(\dv{SortInt{}}("-1"))),
+                Lbl'-LT-'dest'-GT-'{}(Lblplace{}(Lbllocal{}(\dv{SortInt{}}("-1")),LblProjectionElems'ColnColn'empty{}())),
+                Lbl'-LT-'target'-GT-'{}(LblnoBasicBlockIdx'Unds'BODY'Unds'MaybeBasicBlockIdx{}()),
+                Lbl'-LT-'unwind'-GT-'{}(LblUnwindAction'ColnColn'Unreachable{}()),
+                Lbl'-LT-'locals'-GT-'{}(Lbl'Stop'List{}())
+            ),
+            Lbl'-LT-'stack'-GT-'{}(Lbl'Stop'List{}()),
+        ),
+        Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0"))
     )
-)
+"""))
 
 
 class _TestData(NamedTuple):