Update dependency: deps/kmir_release

deps/kmir_release

@@ -1 +1 @@
-0.4.10
+0.4.88

package/version

@@ -1 +1 @@
-0.1.6
+0.1.7

pyproject.toml

@@ -4,19 +4,19 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kompass"
-version = "0.1.6"
+version = "0.1.7"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
-    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.10#subdirectory=kmir",
+    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.88#subdirectory=kmir",
 ]
 
 [[project.authors]]
 name = "Runtime Verification, Inc."
 email = "contact@runtimeverification.com"
 
 [tool.uv.sources]
-kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.10", subdirectory = "kmir" }
+kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.88", subdirectory = "kmir" }
 
 [project.scripts]
 kompass = "kompass.__main__:main"

src/kompass/__init__.py

@@ -1,3 +1,3 @@
 from typing import Final
 
-VERSION: Final = '0.1.6'
+VERSION: Final = '0.1.7'