From 63006fa2d107b558b3132fa6ed8f87466fdbec9a Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 26 Sep 2023 00:26:24 -0600
Subject: [PATCH] Update dependency: deps/pyk_release (#2087)

* deps/pyk_release: Set Version v0.1.448

* Set Version: 1.0.305

* kevm-pyk/: sync poetry files pyk version v0.1.448

* flake.{nix,lock}: update Nix derivations

* Set Version: 1.0.306

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/pyk_release                  |  2 +-
 flake.lock                        |  8 ++++----
 flake.nix                         |  2 +-
 kevm-pyk/poetry.lock              | 14 +++++++-------
 kevm-pyk/pyproject.toml           |  4 ++--
 kevm-pyk/src/kevm_pyk/__init__.py |  2 +-
 package/version                   |  2 +-
 7 files changed, 17 insertions(+), 17 deletions(-)

diff --git a/deps/pyk_release b/deps/pyk_release
index 24c3dee6b9..b2762b40d3 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.447
+v0.1.448
diff --git a/flake.lock b/flake.lock
index 3f84c21e99..92726bfef0 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1604,16 +1604,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1695214177,
-        "narHash": "sha256-xnyKMWk8B+Fl9H1kD0AHeLmAitreG1MTrTmkfErbFMc=",
+        "lastModified": 1695658775,
+        "narHash": "sha256-o3DRBtLwa7+mSU1FeGs2mDBelpQ4yuDx1AmMEWkSy6o=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "abed8298b54de758d33494d1b802a8869c728554",
+        "rev": "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.447",
+        "ref": "v0.1.448",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index a7a0d1a09f..926d6eafb6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -17,7 +17,7 @@
     ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
     ethereum-legacytests.flake = false;
     haskell-backend.follows = "k-framework/haskell-backend";
-    pyk.url = "github:runtimeverification/pyk/v0.1.447";
+    pyk.url = "github:runtimeverification/pyk/v0.1.448";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
     foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index fbb256706f..a7c94d8cec 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -790,7 +790,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.447"
+version = "0.1.448"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -810,8 +810,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.447"
-resolved_reference = "abed8298b54de758d33494d1b802a8869c728554"
+reference = "v0.1.448"
+resolved_reference = "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b"
 
 [[package]]
 name = "pyperclip"
@@ -927,13 +927,13 @@ testing = ["filelock"]
 
 [[package]]
 name = "pyupgrade"
-version = "3.12.0"
+version = "3.13.0"
 description = "A tool to automatically upgrade syntax for newer versions."
 optional = false
 python-versions = ">=3.8.1"
 files = [
-    {file = "pyupgrade-3.12.0-py2.py3-none-any.whl", hash = "sha256:c6f9c129560b9538e75b93fb0aee20508faae454714e8373d462e408985bd96a"},
-    {file = "pyupgrade-3.12.0.tar.gz", hash = "sha256:defc292ffaf402942b8fccaa97491964063e343fc1993230e44890b971dc1234"},
+    {file = "pyupgrade-3.13.0-py2.py3-none-any.whl", hash = "sha256:8add43ca1fea6eaeb6815b0b987d1f6ff49ec48085169b2a32e9a797e2d2f8fd"},
+    {file = "pyupgrade-3.13.0.tar.gz", hash = "sha256:92220ef0408ff5898bce8ce7845c33bf7bb79c8ff852c5a1dc4305e6333cd60b"},
 ]
 
 [package.dependencies]
@@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "5c198aab6e1f8f04c6bab2d2f4c97cc629d31e2dacaa5e38b58f10b9a63959ac"
+content-hash = "0989e521a276d5702a2cb5da02927f97d6ca77864edcf175f0ffc9cdaffffcaa"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index e97e69e740..68676aad36 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.305"
+version = "1.0.306"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -17,7 +17,7 @@ packages = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.447" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.448" }
 tomlkit = "^0.11.6"
 xdg-base-dirs = "^6.0.0"
 
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index 2d1849c21c..a104d67ab7 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.305'
+VERSION: Final = '1.0.306'
diff --git a/package/version b/package/version
index ef6675fd8e..8e9bc515ce 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.305
+1.0.306