From b4eab646e225e5f729c20fa3cdd0053f172071a8 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 20 Nov 2023 19:32:51 +0000 Subject: [PATCH 1/8] deps/kevm_release: Set Version 1.0.365 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index 03dfe2976..fa8ad7668 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.364 +1.0.365 From 84f06ba12d0575af625ada1b5df43d8fbf385c52 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 20 Nov 2023 19:33:08 +0000 Subject: [PATCH 2/8] Set Version: 0.1.68 --- package/version | 2 +- pyproject.toml | 2 +- src/kontrol/__init__.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/package/version b/package/version index 5730f92c1..72052e2d8 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.67 +0.1.68 diff --git a/pyproject.toml b/pyproject.toml index fdcb61f60..8610a1ebd 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kontrol" -version = "0.1.67" +version = "0.1.68" description = "Foundry integration for KEVM" authors = [ "Runtime Verification, Inc. ", diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py index 7e28ee9b5..bdf88b743 100644 --- a/src/kontrol/__init__.py +++ b/src/kontrol/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '0.1.67' +VERSION: Final = '0.1.68' From a42bff86b6eb161addf673e752b301859492c2b5 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 20 Nov 2023 19:36:15 +0000 Subject: [PATCH 3/8] Sync Poetry files: kevm-pyk version 1.0.365 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 980f528c1..8f654ed7c 100644 --- a/poetry.lock +++ b/poetry.lock @@ -430,7 +430,7 @@ requirements-deprecated-finder = ["pip-api", "pipreqs"] [[package]] name = "kevm-pyk" -version = "1.0.364" +version = "1.0.365" description = "" optional = false python-versions = "^3.10" @@ -446,8 +446,8 @@ xdg-base-dirs = "^6.0.0" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.364" -resolved_reference = "d5fd9d3196d51c6a3f0d21c11a9b9502df639bb4" +reference = "v1.0.365" +resolved_reference = "81fc0daf7434fa431f4c4d49605840e09ed8b592" subdirectory = "kevm-pyk" [[package]] @@ -1081,4 +1081,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "3f0acf0bb19876c47cff70fa6c4e7bd1089ac256184779c83177039e3c00f019" +content-hash = "022e28940aaf5bbf7cbbd21d8bfeee766eda884d8db6c01e6ae961f488987906" diff --git a/pyproject.toml b/pyproject.toml index 8610a1ebd..d8467b9df 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -12,7 +12,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" -kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.364", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.365", subdirectory = "kevm-pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From a45ed1596a3d8e8dc5cdeb023873a7c579055885 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 20 Nov 2023 19:36:24 +0000 Subject: [PATCH 4/8] 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 6f0ec6cf6..d175ff5d1 100644 --- a/flake.lock +++ b/flake.lock @@ -337,16 +337,16 @@ ] }, "locked": { - "lastModified": 1700486787, - "narHash": "sha256-qH54K9V3ocsAy90J/Ism3KWpPsL09FKBKSXVXj9pizc=", + "lastModified": 1700506935, + "narHash": "sha256-Mz1+fCmU831Ve6SO52mXocoFRuHzrldnNzIbZus9/jY=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "d5fd9d3196d51c6a3f0d21c11a9b9502df639bb4", + "rev": "81fc0daf7434fa431f4c4d49605840e09ed8b592", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.364", + "ref": "v1.0.365", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 90eef7e11..ed7978520 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.364"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.365"; nixpkgs.follows = "kevm/nixpkgs"; nixpkgs-pyk.follows = "kevm/nixpkgs-pyk"; k-framework.follows = "kevm/k-framework"; From ee341a23c94ae36ded05de8d63474d4c3f57b8ce Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 Nov 2023 05:20:28 +0000 Subject: [PATCH 5/8] deps/kevm_release: Set Version 1.0.366 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index fa8ad7668..ffcaef1d6 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.365 +1.0.366 From a9a50a59e5d81fd80454701e45bce55f1c01b000 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 Nov 2023 05:23:49 +0000 Subject: [PATCH 6/8] Sync Poetry files: kevm-pyk version 1.0.366 --- poetry.lock | 22 +++++++++++----------- pyproject.toml | 2 +- 2 files changed, 12 insertions(+), 12 deletions(-) diff --git a/poetry.lock b/poetry.lock index 8f654ed7c..6c772310d 100644 --- a/poetry.lock +++ b/poetry.lock @@ -430,7 +430,7 @@ requirements-deprecated-finder = ["pip-api", "pipreqs"] [[package]] name = "kevm-pyk" -version = "1.0.365" +version = "1.0.366" description = "" optional = false python-versions = "^3.10" @@ -439,15 +439,15 @@ develop = false [package.dependencies] pathos = "*" -pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.506"} +pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.507"} tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.365" -resolved_reference = "81fc0daf7434fa431f4c4d49605840e09ed8b592" +reference = "v1.0.366" +resolved_reference = "9ffbad0f751190c68d66cc6f63d9dcb253f9430e" subdirectory = "kevm-pyk" [[package]] @@ -810,7 +810,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.506" +version = "0.1.507" description = "" optional = false python-versions = "^3.10" @@ -830,8 +830,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.506" -resolved_reference = "5d9e84673c79f2bad96eff4e83dacc04646e7158" +reference = "v0.1.507" +resolved_reference = "f6c9126b05d7f1e7f809aef72db029dc968af61f" [[package]] name = "pyperclip" @@ -1043,13 +1043,13 @@ test = ["coverage", "pytest", "pytest-cov"] [[package]] name = "wcwidth" -version = "0.2.10" +version = "0.2.11" description = "Measures the displayed width of unicode strings in a terminal" optional = false python-versions = "*" files = [ - {file = "wcwidth-0.2.10-py2.py3-none-any.whl", hash = "sha256:aec5179002dd0f0d40c456026e74a729661c9d468e1ed64405e3a6c2176ca36f"}, - {file = "wcwidth-0.2.10.tar.gz", hash = "sha256:390c7454101092a6a5e43baad8f83de615463af459201709556b6e4b1c861f97"}, + {file = "wcwidth-0.2.11-py2.py3-none-any.whl", hash = "sha256:c4b153acf29f1f0d7fb1b00d097cce82b73de7a2016321c8d7ca71bd76dd848b"}, + {file = "wcwidth-0.2.11.tar.gz", hash = "sha256:25eb3ecbec328cdb945f56f2a7cfe784bdf7a73a8197398c7a7c65e7fe93e9ae"}, ] [[package]] @@ -1081,4 +1081,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "022e28940aaf5bbf7cbbd21d8bfeee766eda884d8db6c01e6ae961f488987906" +content-hash = "c0bbce4685174156740d90197b07d00b86cff5ec158bdec1b7c4e6240d9042e9" diff --git a/pyproject.toml b/pyproject.toml index d8467b9df..0d05927b2 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -12,7 +12,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" -kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.365", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.366", subdirectory = "kevm-pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 2c97e98bc4455116a76bf3f4476d022f22c635f5 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 Nov 2023 05:23:49 +0000 Subject: [PATCH 7/8] deps/k_release: sync release file version 6.1.23 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ddcc72583..5197c2e97 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.21 +6.1.23 From bc047d0549243a05ee10eb09c3d5e01e95a24d76 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 Nov 2023 05:24:00 +0000 Subject: [PATCH 8/8] flake.{nix,lock}: update Nix derivations --- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/flake.lock b/flake.lock index d175ff5d1..7668c27c1 100644 --- a/flake.lock +++ b/flake.lock @@ -284,16 +284,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1700259968, - "narHash": "sha256-IZk2/j/z7wjgBrB3OCgYyxB200M6kFNOus1pny+9FdU=", + "lastModified": 1700505784, + "narHash": "sha256-4rN1LOlcCJeeD8+UC8mPy5eAwJxSL5pj0p60t5MZh6s=", "owner": "runtimeverification", "repo": "k", - "rev": "e14e50a19a67563565d116c6ecf0e84ff803a9d1", + "rev": "a509a19ed2e32a5a8eb64614d101e3b2ee345727", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.21", + "ref": "v6.1.23", "repo": "k", "type": "github" } @@ -337,16 +337,16 @@ ] }, "locked": { - "lastModified": 1700506935, - "narHash": "sha256-Mz1+fCmU831Ve6SO52mXocoFRuHzrldnNzIbZus9/jY=", + "lastModified": 1700542928, + "narHash": "sha256-PPN+ot8afTdsK1Xc3H3ofOMrWzbYmCqZNpkfGT48oEs=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "81fc0daf7434fa431f4c4d49605840e09ed8b592", + "rev": "9ffbad0f751190c68d66cc6f63d9dcb253f9430e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.365", + "ref": "v1.0.366", "repo": "evm-semantics", "type": "github" } @@ -543,16 +543,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1700269321, - "narHash": "sha256-7hNtFym1u3fBJNn7cESytT5QItwP8dxR3Jk2XYAF6rM=", + "lastModified": 1700517866, + "narHash": "sha256-0GE3ypsZt9UF7UndDaLGEkGab6vkbvbZQjaN/S974iw=", "owner": "runtimeverification", "repo": "pyk", - "rev": "5d9e84673c79f2bad96eff4e83dacc04646e7158", + "rev": "f6c9126b05d7f1e7f809aef72db029dc968af61f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.506", + "ref": "v0.1.507", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index ed7978520..ad8613d6a 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.365"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.366"; nixpkgs.follows = "kevm/nixpkgs"; nixpkgs-pyk.follows = "kevm/nixpkgs-pyk"; k-framework.follows = "kevm/k-framework";