From d64fd172ec40fa2679916fe986e45e58ab0c91c1 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 16:36:40 +0000 Subject: [PATCH 01/19] deps/pyk_release: Set Version v0.1.687 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index c25df638b1..7dd14bb496 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.685 +v0.1.687 From 036bb63ec0f560ee5393b97379d336269e1be9b5 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 16:41:36 +0000 Subject: [PATCH 02/19] kevm-pyk/: sync poetry files pyk version v0.1.687 --- kevm-pyk/poetry.lock | 20 ++++++++++---------- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 2ad21825e2..8a1256f642 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -1,4 +1,4 @@ -# This file is automatically @generated by Poetry 1.7.1 and should not be changed by hand. +# This file is automatically @generated by Poetry 1.8.2 and should not be changed by hand. [[package]] name = "attrs" @@ -390,22 +390,22 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "importlib-metadata" -version = "7.0.1" +version = "7.0.2" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-7.0.1-py3-none-any.whl", hash = "sha256:4805911c3a4ec7c3966410053e9ec6a1fecd629117df5adee56dfc9432a1081e"}, - {file = "importlib_metadata-7.0.1.tar.gz", hash = "sha256:f238736bb06590ae52ac1fab06a3a9ef1d8dce2b7a35b5ab329371d6c8f5d2cc"}, + {file = "importlib_metadata-7.0.2-py3-none-any.whl", hash = "sha256:f4bc4c0c070c490abf4ce96d715f68e95923320370efb66143df00199bb6c100"}, + {file = "importlib_metadata-7.0.2.tar.gz", hash = "sha256:198f568f3230878cb1b44fbd7975f87906c22336dba2e4a7f05278c281fbd792"}, ] [package.dependencies] zipp = ">=0.5" [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (<7.2.5)", "sphinx (>=3.5)", "sphinx-lint"] +docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] perf = ["ipython"] -testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-black (>=0.3.7)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy (>=0.9.1)", "pytest-perf (>=0.9.2)", "pytest-ruff"] +testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy", "pytest-perf (>=0.9.2)", "pytest-ruff (>=0.2.1)"] [[package]] name = "iniconfig" @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.685" +version = "0.1.687" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.685" -resolved_reference = "03a8ca03c8f93dcc78aecc335a262c4f1524edb2" +reference = "v0.1.687" +resolved_reference = "d876aa15fc33a189bf8dcc1fcd667acbd46d267b" [[package]] name = "pyperclip" @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "a8485dc68762ea3d5a7e880dd2d663e3b1800b490924d97eeee9b4939c53f1ce" +content-hash = "eef7848f895ce91df0197cccdfbed118d570acea61a5a45309ee968e903c81f7" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 4cd626bb18..807efed294 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.685" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.687" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From cb7548254159b3f970068f256e4e2cafaa12d403 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 16:41:36 +0000 Subject: [PATCH 03/19] deps/k_release: sync release file version 6.3.28 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c73b21b805..3906e50a7a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.25 +6.3.28 From 99e82565694aa5fc07b62ac51108b0e26f564a2e Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 16:43:31 +0000 Subject: [PATCH 04/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 32 ++++++++++++++++---------------- flake.nix | 4 ++-- 2 files changed, 18 insertions(+), 18 deletions(-) diff --git a/flake.lock b/flake.lock index f30acdf8e0..518b707ab4 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1709250127, - "narHash": "sha256-FQt90pGfL9rfEvPpME5JLg/1HMsObNZRTo1F7CrCpK4=", + "lastModified": 1709307733, + "narHash": "sha256-ys1ajyEhjC9iV9FSG/PsG/PEEWoerdhvLAPmlDRBVVc=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1f693f02af6f706bcb061b573f1ac50d41e5233e", + "rev": "fd230760909a00c0d0dc591c7fcd20ef072592bc", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1f693f02af6f706bcb061b573f1ac50d41e5233e", + "rev": "fd230760909a00c0d0dc591c7fcd20ef072592bc", "type": "github" } }, @@ -232,17 +232,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1709046454, - "narHash": "sha256-ZCuQ7Mi99OkUocDJ+FKZQI5NZQjyEKPks7lg7b/rTKc=", + "lastModified": 1709251475, + "narHash": "sha256-1F5e9DGmS2YeWirHkc5PsG3xFH4EsNRGYbagUv2EP2I=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "62a3e13dc5c681a536271b834b11098aae9bce35", + "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "62a3e13dc5c681a536271b834b11098aae9bce35", + "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", "type": "github" } }, @@ -277,16 +277,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1709554158, - "narHash": "sha256-OnVgXOsw6JFtkg8RDnRgtmBP6VGLfB+bmkDjt9S7NKA=", + "lastModified": 1709760184, + "narHash": "sha256-eBCgIYKuxF2NaGxeP5UipvvHaqMVy0e3vRUXU77BLb8=", "owner": "runtimeverification", "repo": "k", - "rev": "aceff4aac9bdd69b4443cce5fb5c96ca6c15c761", + "rev": "dd93684d91c9be1d75ff95fa095787c29b6b884b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.3.25", + "ref": "v6.3.28", "repo": "k", "type": "github" } @@ -529,16 +529,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1709746007, - "narHash": "sha256-PLrAz6xjASwjyXcvd+ooNAyhJTI+ORRf3ZZhUU2U7A4=", + "lastModified": 1709828849, + "narHash": "sha256-NElVFZQXq4Q1pbKcKwXupj3IXwGzh6ABYaJICLmnaCQ=", "owner": "runtimeverification", "repo": "pyk", - "rev": "03a8ca03c8f93dcc78aecc335a262c4f1524edb2", + "rev": "d876aa15fc33a189bf8dcc1fcd667acbd46d267b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.685", + "ref": "v0.1.687", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 80b7efda8f..33aad4e39a 100644 --- 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.3.25"; + k-framework.url = "github:runtimeverification/k/v6.3.28"; 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.685"; + pyk.url = "github:runtimeverification/pyk/v0.1.687"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From 530a6a1fe56306e56a6a4428caf8f1a04841850f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 18:34:14 +0000 Subject: [PATCH 05/19] deps/pyk_release: Set Version v0.1.688 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 7dd14bb496..88bc7d8ff6 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.687 +v0.1.688 From 078b2c0c1df133c76dad690a0c28aacb1f19d0b3 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 18:36:25 +0000 Subject: [PATCH 06/19] kevm-pyk/: sync poetry files pyk version v0.1.688 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 8a1256f642..a919269aaa 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.687" +version = "0.1.688" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.687" -resolved_reference = "d876aa15fc33a189bf8dcc1fcd667acbd46d267b" +reference = "v0.1.688" +resolved_reference = "0eb8d49e4aea90cf01ed1937a6ff61dc5f875301" [[package]] name = "pyperclip" @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "eef7848f895ce91df0197cccdfbed118d570acea61a5a45309ee968e903c81f7" +content-hash = "20f65f6c02fd153eebaf83d330cd2da5f37815550cc0bd99988d760da2a59785" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 807efed294..ea91291b2d 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.687" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.688" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 078a3f4bfd578b40ca92ca4aba000ffbad998a8d Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 18:38:15 +0000 Subject: [PATCH 07/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 518b707ab4..53907a7691 100644 --- a/flake.lock +++ b/flake.lock @@ -529,16 +529,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1709828849, - "narHash": "sha256-NElVFZQXq4Q1pbKcKwXupj3IXwGzh6ABYaJICLmnaCQ=", + "lastModified": 1709836045, + "narHash": "sha256-AoZmtmgbfgarAKmcumMkGzhvAK0GF/4KheyLtzlzGck=", "owner": "runtimeverification", "repo": "pyk", - "rev": "d876aa15fc33a189bf8dcc1fcd667acbd46d267b", + "rev": "0eb8d49e4aea90cf01ed1937a6ff61dc5f875301", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.687", + "ref": "v0.1.688", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 33aad4e39a..3d7b6fd480 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ 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.687"; + pyk.url = "github:runtimeverification/pyk/v0.1.688"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From 28c1fc314a3590c37a6e3976a37b71dc5274b8de Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 19:50:57 +0000 Subject: [PATCH 08/19] deps/pyk_release: Set Version v0.1.689 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 88bc7d8ff6..3d5a43c194 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.688 +v0.1.689 From f1255d906c7975ee4faa2c5509c48b4d2e57d8dd Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 19:53:42 +0000 Subject: [PATCH 09/19] kevm-pyk/: sync poetry files pyk version v0.1.689 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index a919269aaa..f0eb8d0363 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.688" +version = "0.1.689" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.688" -resolved_reference = "0eb8d49e4aea90cf01ed1937a6ff61dc5f875301" +reference = "v0.1.689" +resolved_reference = "728662c0b074c09247b63d3a59af0fde8c455f99" [[package]] name = "pyperclip" @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "20f65f6c02fd153eebaf83d330cd2da5f37815550cc0bd99988d760da2a59785" +content-hash = "8ab4ee67c47797fa03387dcaf074a44315afb19da46879b04d299e599a94f13f" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index ea91291b2d..5e32ea77b2 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.688" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.689" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 66ea3480b97c920a7bab2a9f9aa80173c7d78e4b Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 19:53:43 +0000 Subject: [PATCH 10/19] deps/k_release: sync release file version 6.3.29 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 3906e50a7a..c6acbd069a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.28 +6.3.29 From 1f0e1cb0a3a7fc5b200bde78bce2cc7771717a1c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 19:55:40 +0000 Subject: [PATCH 11/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 53907a7691..6046e196cf 100644 --- a/flake.lock +++ b/flake.lock @@ -277,16 +277,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1709760184, - "narHash": "sha256-eBCgIYKuxF2NaGxeP5UipvvHaqMVy0e3vRUXU77BLb8=", + "lastModified": 1709827372, + "narHash": "sha256-/olarrcbIhIhcRlwRSMuAv7DyyO2YhtbSkucKN52nB0=", "owner": "runtimeverification", "repo": "k", - "rev": "dd93684d91c9be1d75ff95fa095787c29b6b884b", + "rev": "bea8cf38cf5963aa47bef31250edcfcadf2905c5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.3.28", + "ref": "v6.3.29", "repo": "k", "type": "github" } @@ -529,16 +529,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1709836045, - "narHash": "sha256-AoZmtmgbfgarAKmcumMkGzhvAK0GF/4KheyLtzlzGck=", + "lastModified": 1709840581, + "narHash": "sha256-HH4wkqpGh+v8+lpsxJ4QRw0B5ItsTVUVQM3sUA0HFkI=", "owner": "runtimeverification", "repo": "pyk", - "rev": "0eb8d49e4aea90cf01ed1937a6ff61dc5f875301", + "rev": "728662c0b074c09247b63d3a59af0fde8c455f99", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.688", + "ref": "v0.1.689", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 3d7b6fd480..5e99d21550 100644 --- 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.3.28"; + k-framework.url = "github:runtimeverification/k/v6.3.29"; 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.688"; + pyk.url = "github:runtimeverification/pyk/v0.1.689"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From d1b6f874ae9387e49218401db331bb3b3926aff5 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 22:22:18 +0000 Subject: [PATCH 12/19] kevm-pyk/: sync poetry files pyk version v0.1.689 --- kevm-pyk/poetry.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index f0eb8d0363..ab1967b815 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -918,17 +918,17 @@ dev = ["pre-commit", "pytest-asyncio", "tox"] [[package]] name = "pytest-timeout" -version = "2.2.0" +version = "2.3.1" description = "pytest plugin to abort hanging tests" optional = false python-versions = ">=3.7" files = [ - {file = "pytest-timeout-2.2.0.tar.gz", hash = "sha256:3b0b95dabf3cb50bac9ef5ca912fa0cfc286526af17afc806824df20c2f72c90"}, - {file = "pytest_timeout-2.2.0-py3-none-any.whl", hash = "sha256:bde531e096466f49398a59f2dde76fa78429a09a12411466f88a07213e220de2"}, + {file = "pytest-timeout-2.3.1.tar.gz", hash = "sha256:12397729125c6ecbdaca01035b9e5239d4db97352320af155b3f5de1ba5165d9"}, + {file = "pytest_timeout-2.3.1-py3-none-any.whl", hash = "sha256:68188cb703edfc6a18fad98dc25a3c61e9f24d644b0b70f33af545219fc7813e"}, ] [package.dependencies] -pytest = ">=5.0.0" +pytest = ">=7.0.0" [[package]] name = "pytest-xdist" From 7bea72c1fe58360c0e281dc42923f8788df603c2 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 23:24:38 +0000 Subject: [PATCH 13/19] deps/pyk_release: Set Version v0.1.690 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 3d5a43c194..078d3d27f9 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.689 +v0.1.690 From 392c442413d1f4da7295f61c7a790f5350c71e72 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 23:26:49 +0000 Subject: [PATCH 14/19] kevm-pyk/: sync poetry files pyk version v0.1.690 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index ab1967b815..e9c4cb4327 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.689" +version = "0.1.690" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.689" -resolved_reference = "728662c0b074c09247b63d3a59af0fde8c455f99" +reference = "v0.1.690" +resolved_reference = "be8907fcd1e404e5042d7c0e218010c50591ca0d" [[package]] name = "pyperclip" @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "8ab4ee67c47797fa03387dcaf074a44315afb19da46879b04d299e599a94f13f" +content-hash = "b96e45e50e706270eff7095679f66a77ff51ae577a0b013580f4673aa2383bbb" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 5e32ea77b2..ba597486c7 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.689" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.690" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From adbbc8d0018f0e1f7f545845b31c7356408ab654 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 23:28:39 +0000 Subject: [PATCH 15/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 6046e196cf..f9e852c5db 100644 --- a/flake.lock +++ b/flake.lock @@ -529,16 +529,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1709840581, - "narHash": "sha256-HH4wkqpGh+v8+lpsxJ4QRw0B5ItsTVUVQM3sUA0HFkI=", + "lastModified": 1709853145, + "narHash": "sha256-swNclqk/8KD3lnDt1r2FHTmieBh55nVcwEoz/1mah5s=", "owner": "runtimeverification", "repo": "pyk", - "rev": "728662c0b074c09247b63d3a59af0fde8c455f99", + "rev": "be8907fcd1e404e5042d7c0e218010c50591ca0d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.689", + "ref": "v0.1.690", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 5e99d21550..115eac6ae7 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ 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.689"; + pyk.url = "github:runtimeverification/pyk/v0.1.690"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From 31a1af9aa3ac0c93b2ffad5805ed4c8bf0b0ae9f Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 8 Mar 2024 01:07:38 +0000 Subject: [PATCH 16/19] deps/pyk_release: Set Version v0.1.691 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 078d3d27f9..2ad1b69ebf 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.690 +v0.1.691 From 410083fed17f6a014f25ceb3208583a2c5daf17e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 8 Mar 2024 14:29:37 +0000 Subject: [PATCH 17/19] Set Version: 1.0.490 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index ba597486c7..21f0123bbc 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.489" +version = "1.0.490" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 0f1ce6ba9d..a78a28de51 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.489' +VERSION: Final = '1.0.490' diff --git a/package/version b/package/version index eb9688348e..7021ba06ec 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.489 +1.0.490 From 1b8d2a7d2761659421d995c1e77be08822cf29b6 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 8 Mar 2024 14:31:53 +0000 Subject: [PATCH 18/19] kevm-pyk/: sync poetry files pyk version v0.1.691 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index e9c4cb4327..be26a87c43 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.690" +version = "0.1.691" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.690" -resolved_reference = "be8907fcd1e404e5042d7c0e218010c50591ca0d" +reference = "v0.1.691" +resolved_reference = "e8537c085944d51c35fdd2ea50de46375c3b9d59" [[package]] name = "pyperclip" @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b96e45e50e706270eff7095679f66a77ff51ae577a0b013580f4673aa2383bbb" +content-hash = "b1d772d719acb370ce5a01f969bf4b2513a4fd7273a45478c85b19556c072eb2" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 21f0123bbc..1efd7776cd 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.690" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.691" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 105c19f2ae6c0c379ea952f21f18c93faca16e29 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 8 Mar 2024 14:33:46 +0000 Subject: [PATCH 19/19] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index f9e852c5db..32ccd73360 100644 --- a/flake.lock +++ b/flake.lock @@ -529,16 +529,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1709853145, - "narHash": "sha256-swNclqk/8KD3lnDt1r2FHTmieBh55nVcwEoz/1mah5s=", + "lastModified": 1709859653, + "narHash": "sha256-p8DZ6hJkhdxu79YNp1wwzcrtt3fIC1aD5g4J+OviW4Y=", "owner": "runtimeverification", "repo": "pyk", - "rev": "be8907fcd1e404e5042d7c0e218010c50591ca0d", + "rev": "e8537c085944d51c35fdd2ea50de46375c3b9d59", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.690", + "ref": "v0.1.691", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 115eac6ae7..aee8bc0155 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ 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.690"; + pyk.url = "github:runtimeverification/pyk/v0.1.691"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = {