Update dependency: deps/k_release (#138)

rv-jenkins · rv-auditor · web-flow · commit a8608d92a8e6 · 2025-07-24T11:12:48.000+02:00
Update `kframework` to `7.1.280`.

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.267
+7.1.280
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.117
+0.1.118
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,12 +4,12 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.117"
+version = "0.1.118"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==7.1.267",
+    "kframework==7.1.280",
     "filelock>=3.14.0,<4",
     "pyelftools>=0.26",
     "pyyaml>=6.0.1,<7",
diff --git a/uv.lock b/uv.lock
