Merge remote-tracking branch 'origin/master' into release

rv-auditor · rv-auditor · commit 8e013c13f39d · 2025-11-14T19:25:24.000Z
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.301
+7.1.302
diff --git a/deps/pyproject-build-systems b/deps/pyproject-build-systems
@@ -1 +1 @@
-dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5
+795a980d25301e5133eca37adae37283ec3c8e66
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -5,7 +5,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    k-framework.url = "github:runtimeverification/k/v7.1.301";
+    k-framework.url = "github:runtimeverification/k/v7.1.302";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     blockchain-k-plugin = {
@@ -24,7 +24,7 @@
     nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
     uv2nix.inputs.nixpkgs.follows = "nixpkgs-unstable";
     # uv2nix.inputs.nixpkgs.follows = "nixpkgs";
-    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5";
+    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/795a980d25301e5133eca37adae37283ec3c8e66";
     pyproject-build-systems = {
       inputs.nixpkgs.follows = "uv2nix/nixpkgs";
       inputs.uv2nix.follows = "uv2nix";
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -10,7 +10,7 @@ readme = "README.md"
 requires-python = ">=3.10"
 dependencies = [
     "frozendict>=2.4.6,<3",
-    "kframework==7.1.301",
+    "kframework==7.1.302",
     "pathos",
     "tomlkit>=0.11.6",
 ]
diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5`
	`1`	`+795a980d25301e5133eca37adae37283ec3c8e66`
Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ readme = "README.md"`
`10`	`10`	`requires-python = ">=3.10"`
`11`	`11`	`dependencies = [`
`12`	`12`	`"frozendict>=2.4.6,<3",`
`13`		`- "kframework==7.1.301",`
	`13`	`+ "kframework==7.1.302",`
`14`	`14`	`"pathos",`
`15`	`15`	`"tomlkit>=0.11.6",`
`16`	`16`	`]`