Merge branch 'master' into natspec-precs

palinatolmach · web-flow · commit 66afe8dc2b7b · 2025-09-01T12:49:42.000+03:00
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.280
+7.1.282
diff --git a/deps/kevm_release b/deps/kevm_release
@@ -1 +1 @@
-1.0.861
+1.0.863
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";
 
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.861";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.863";
     kevm.inputs.nixpkgs.follows = "nixpkgs";
 
     k-framework.follows = "kevm/k-framework";
diff --git a/pyproject.toml b/pyproject.toml
@@ -8,7 +8,7 @@ version = "1.0.0"
 description = "Foundry integration for KEVM"
 requires-python = "~=3.10"
 dependencies = [
-    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.861#subdirectory=kevm-pyk",
+    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.863#subdirectory=kevm-pyk",
     "eth-utils>=5,<6",
     "pycryptodome>=3.20.0,<4",
     "pyevmasm>=0.2.3,<0.3",
diff --git a/uv.lock b/uv.lock
