Update dependency: deps/k_release (#55)

rv-jenkins · rv-auditor · tothtamas28 · web-flow · commit 16eba1d2132f · 2025-10-15T09:32:02.000+02:00
Update `kframework` to `7.1.298`.

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Tamás Tóth &lt;tothtamas28@users.noreply.github.com&gt;
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.288
+7.1.298
diff --git a/examples/specs/imp-sum-spec.k b/examples/specs/imp-sum-spec.k
@@ -18,6 +18,7 @@ module IMP-SUM-SPEC
         $s |-> (S:Int => S +Int ((N +Int 1) *Int N /Int 2))
     </env>
   requires N >=Int 0
+  [circularity]
 
   claim [two-sum-spec]:
       <k>
@@ -41,5 +42,6 @@ module IMP-SUM-SPEC
     </env>
   requires N >=Int 0
    andBool M >=Int 0
+  [circularity]
 
 endmodule
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -5,7 +5,7 @@
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
     flake-utils.url = "github:numtide/flake-utils";
-    k-framework.url = "github:runtimeverification/k/v7.1.288";
+    k-framework.url = "github:runtimeverification/k/v7.1.298";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     uv2nix.url = "github:pyproject-nix/uv2nix/b6ed0901aec29583532abe65117b18d86a49b617";
     # uv2nix requires a newer version of nixpkgs
diff --git a/pyproject.toml b/pyproject.toml
@@ -9,7 +9,7 @@ description = ""
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==7.1.288",
+    "kframework==7.1.298",
 ]
 
 [[project.authors]]
diff --git a/uv.lock b/uv.lock

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ description = ""`
`9`	`9`	`readme = "README.md"`
`10`	`10`	`requires-python = "~=3.10"`
`11`	`11`	`dependencies = [`
`12`		`- "kframework==7.1.288",`
	`12`	`+ "kframework==7.1.298",`
`13`	`13`	`]`
`14`	`14`
`15`	`15`	`[[project.authors]]`