Update dependency: deps/pyk_release (#2302)

* deps/pyk_release: Set Version v0.1.663 * kevm-pyk/: sync poetry files pyk version v0.1.663 * deps/k_release: sync release file version 6.3.17 * flake.{nix,lock}: update Nix derivations * Rename syntactic list terminals in expected output * Replace `.` by `.K` in expected output * Rename module * Fix attributes * kevm-pyk/{utils,__main__}: adjustments to CTermSymbolic/KCFGExplore interface * Set Version: 1.0.466 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Tamás Tóth <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
runtimeverification · Feb 28, 2024 · f425269 · f425269
1 parent 9ad1b52
commit f425269
Show file tree

Hide file tree

Showing 18 changed files with 275 additions and 158 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.2.4
+6.3.17
diff --git a/deps/pyk_release b/deps/pyk_release
@@ -1 +1 @@
-v0.1.627
+v0.1.663
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,11 +2,11 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v6.2.4";
+    k-framework.url = "github:runtimeverification/k/v6.3.17";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
-    pyk.url = "github:runtimeverification/pyk/v0.1.627";
+    pyk.url = "github:runtimeverification/pyk/v0.1.663";
     nixpkgs-pyk.follows = "pyk/nixpkgs";
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {