{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.100

Author: rv-auditor

pyproject.toml

@@ -8,15 +8,15 @@ version = "0.1.8"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
-    "kmir@git+https://github.com/runtimeverification/[email protected].98#subdirectory=kmir",
+    "kmir@git+https://github.com/runtimeverification/[email protected].100#subdirectory=kmir",
 ]
 
 [[project.authors]]
 name = "Runtime Verification, Inc."
 email = "[email protected]"
 
 [tool.uv.sources]
-kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.98", subdirectory = "kmir" }
+kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.100", subdirectory = "kmir" }
 
 [project.scripts]
 kompass = "kompass.__main__:main"