From f191cb25d0d2d465e6991a8bb6af186f302985d9 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 1 Jul 2024 14:29:24 +0000 Subject: [PATCH 1/8] deps/kevm_release: Set Version 1.0.625 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index f846f3977..136921ebf 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.624 +1.0.625 From f140839052848e19c3c57a8a707140ea752cf7ab Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 1 Jul 2024 14:29:39 +0000 Subject: [PATCH 2/8] Set Version: 0.1.330 --- 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 e475b7285..29ba87d86 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.329 +0.1.330 diff --git a/pyproject.toml b/pyproject.toml index 89e401336..fb8e39e53 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kontrol" -version = "0.1.329" +version = "0.1.330" description = "Foundry integration for KEVM" authors = [ "Runtime Verification, Inc. ", diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py index ac888d2fd..a7b13e17c 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.329' +VERSION: Final = '0.1.330' From 49a77a0e447aa8aa2cb1a3ec77c2fa241c5dab75 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 1 Jul 2024 14:32:51 +0000 Subject: [PATCH 3/8] Sync Poetry files: kevm-pyk version 1.0.625 --- poetry.lock | 30 +++++++++++++++--------------- pyproject.toml | 2 +- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/poetry.lock b/poetry.lock index 433750765..b72451670 100644 --- a/poetry.lock +++ b/poetry.lock @@ -317,17 +317,17 @@ dev = ["coverage", "hypothesis", "hypothesmith (>=0.2)", "pre-commit", "pytest", [[package]] name = "flake8-comprehensions" -version = "3.14.0" +version = "3.15.0" description = "A flake8 plugin to help you write better list/set/dict comprehensions." optional = false python-versions = ">=3.8" files = [ - {file = "flake8_comprehensions-3.14.0-py3-none-any.whl", hash = "sha256:7b9d07d94aa88e62099a6d1931ddf16c344d4157deedf90fe0d8ee2846f30e97"}, - {file = "flake8_comprehensions-3.14.0.tar.gz", hash = "sha256:81768c61bfc064e1a06222df08a2580d97de10cb388694becaf987c331c6c0cf"}, + {file = "flake8_comprehensions-3.15.0-py3-none-any.whl", hash = "sha256:b7e027bbb52be2ceb779ee12484cdeef52b0ad3c1fcb8846292bdb86d3034681"}, + {file = "flake8_comprehensions-3.15.0.tar.gz", hash = "sha256:923c22603e0310376a6b55b03efebdc09753c69f2d977755cba8bb73458a5d4d"}, ] [package.dependencies] -flake8 = ">=3.0,<3.2.0 || >3.2.0" +flake8 = ">=3,<3.2 || >3.2" [[package]] name = "flake8-quotes" @@ -390,13 +390,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.104.1" +version = "6.104.2" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.104.1-py3-none-any.whl", hash = "sha256:a0a898fa78ecaefe76ad248901dc274e598f29198c6015b3053f7f7827670e0e"}, - {file = "hypothesis-6.104.1.tar.gz", hash = "sha256:4033898019a6149823d2feeb8d214921b4ac2d342a05d6b02e40a3ca4be07eea"}, + {file = "hypothesis-6.104.2-py3-none-any.whl", hash = "sha256:8b52b7e2462e552c75b819495d5cb6251a2b840accc79cf2ce52588004c915d9"}, + {file = "hypothesis-6.104.2.tar.gz", hash = "sha256:6f2a1489bc8fe1c87ffd202707319b66ec46b2bc11faf6e0161e957b8b9b1eab"}, ] [package.dependencies] @@ -467,7 +467,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.624" +version = "1.0.625" description = "" optional = false python-versions = "^3.10" @@ -475,26 +475,26 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.33" +kframework = "7.1.39" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.624" -resolved_reference = "1060bfe0f96aed9dc519dcbdbd0b942cae5e712e" +reference = "v1.0.625" +resolved_reference = "a82be984e45ccd4cb0d49ba37c99bf63d0be52be" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.33" +version = "7.1.39" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.33-py3-none-any.whl", hash = "sha256:a15562f6223494e9959a881548be445948fa562db5d70e70620cb39fa01cc663"}, - {file = "kframework-7.1.33.tar.gz", hash = "sha256:5e79abeccf65f170bae06301c07b16639ffcda8e78354e2dfdac9f471cc03a01"}, + {file = "kframework-7.1.39-py3-none-any.whl", hash = "sha256:5109530433659aba562fa6b501d9356afe9c05c9498d3925da62c6054d170e69"}, + {file = "kframework-7.1.39.tar.gz", hash = "sha256:6877ac3987b59935f43a916c8df0621b35821e3334cc36bb429eff763e965040"}, ] [package.dependencies] @@ -1152,4 +1152,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c1954d36cde6ce641fc162d302b163fd6f250cd0c7febc53135d1d28e9986588" +content-hash = "b658c218385632952d1e53baae41fd9188fafffb90897a930703a45efba83994" diff --git a/pyproject.toml b/pyproject.toml index fb8e39e53..1472594d0 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.624", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.625", subdirectory = "kevm-pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From ef42d05611c0bfbd89f1e0a7e6a427228357e409 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 1 Jul 2024 14:32:52 +0000 Subject: [PATCH 4/8] deps/k_release: sync release file version 7.1.39 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ce63b3e76..7a39598a5 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.33 +7.1.39 From b81b767194c80c24fb5e232a508f86ff0b3adde3 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 1 Jul 2024 14:33:03 +0000 Subject: [PATCH 5/8] flake.{nix,lock}: update Nix derivations --- flake.lock | 40 ++++++++++++++++++++-------------------- flake.nix | 2 +- 2 files changed, 21 insertions(+), 21 deletions(-) diff --git a/flake.lock b/flake.lock index bd46a9727..e48328f66 100644 --- a/flake.lock +++ b/flake.lock @@ -191,16 +191,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1719218678, - "narHash": "sha256-7FVcMNEGulpwvzwrlPwqgd+qhArW3mE6TA/e6oSF0m4=", + "lastModified": 1719489268, + "narHash": "sha256-J480ZO5k/WjMbwCIfrhy+Kg4p+r5qgbIbCunkn1DhnA=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a6f5646a160c277e6e252552eee86563309a9776", + "rev": "e82bc74a95ce6a78c6f8fec7cb255a36aa99e0c6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.19", + "ref": "v0.1.25", "repo": "haskell-backend", "type": "github" } @@ -236,16 +236,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719417706, - "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=", + "lastModified": 1719568968, + "narHash": "sha256-UPtfSNmbXhyhKBAtXWI8RMur8wpbQl2C5sFX22zoaGQ=", "owner": "runtimeverification", "repo": "k", - "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f", + "rev": "63a8d62fcb6a9b4ce95169e25bd3376129521513", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.33", + "ref": "v7.1.39", "repo": "k", "type": "github" } @@ -287,16 +287,16 @@ ] }, "locked": { - "lastModified": 1719601325, - "narHash": "sha256-bjcPcn68QFOxT8zsd/V76mwQj5SSjYuYSB5NDbZDUqM=", + "lastModified": 1719842808, + "narHash": "sha256-1KuluzEahyZepjqG9xzpcg0qUeshbg+beQfjaOv3LRs=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "1060bfe0f96aed9dc519dcbdbd0b942cae5e712e", + "rev": "a82be984e45ccd4cb0d49ba37c99bf63d0be52be", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.624", + "ref": "v1.0.625", "repo": "evm-semantics", "type": "github" } @@ -340,16 +340,16 @@ ] }, "locked": { - "lastModified": 1718910118, - "narHash": "sha256-E2utS5SGK3B7IjHRBlyKSB6TR/gLli14m+7d8AAmp0I=", + "lastModified": 1719488252, + "narHash": "sha256-f6ppPl1kYpFX8MY3Jji6ky6BDpY6QrvQJ4wy0PCjqp4=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "6671fe4b8de164ac2d141dcce869a06b628ed560", + "rev": "9dfc379039bfa3a257d92feac6323eb246a8e995", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.51", + "ref": "v0.1.52", "repo": "llvm-backend", "type": "github" } @@ -504,17 +504,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719417706, - "narHash": "sha256-VSgnO2+nAE7T3uNFN4L5Mc9DOUjAPn2FKjdeO71W4qE=", + "lastModified": 1719568968, + "narHash": "sha256-UPtfSNmbXhyhKBAtXWI8RMur8wpbQl2C5sFX22zoaGQ=", "owner": "runtimeverification", "repo": "k", - "rev": "a8dc6070e3d84d5ab009eb748b25a9aa2a51671f", + "rev": "63a8d62fcb6a9b4ce95169e25bd3376129521513", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.33", + "ref": "v7.1.39", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 0e42d92ae..bd3dc064d 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.624"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.625"; nixpkgs.follows = "kevm/nixpkgs"; nixpkgs-pyk.follows = "kevm/nixpkgs-pyk"; k-framework.follows = "kevm/k-framework"; From 3f5b02468332a73b7eb6b2896b46c68b3cba584e Mon Sep 17 00:00:00 2001 From: Andrei <16517508+anvacaru@users.noreply.github.com> Date: Tue, 2 Jul 2024 11:17:56 +0300 Subject: [PATCH 6/8] update bug_report_id --- src/kontrol/prove.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py index 5b560fbc8..2c8d2a357 100644 --- a/src/kontrol/prove.py +++ b/src/kontrol/prove.py @@ -339,11 +339,12 @@ def create_kcfg_explore() -> KCFGExplore: ('localhost', server.port(), TransportType.SINGLE_SOCKET), ], } + bug_report_id = None if options.bug_report is None else test.id client = KoreClient( 'localhost', server.port(), bug_report=options.bug_report, - bug_report_id=test.id, + bug_report_id=bug_report_id, dispatch=dispatch, ) cterm_symbolic = CTermSymbolic( From 394a357d36f0371e763aba176376c87de9d98394 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 08:21:03 +0000 Subject: [PATCH 7/8] Sync Poetry files: kevm-pyk version 1.0.625 --- poetry.lock | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index b72451670..670af0ed3 100644 --- a/poetry.lock +++ b/poetry.lock @@ -1010,18 +1010,18 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "70.1.1" +version = "70.2.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-70.1.1-py3-none-any.whl", hash = "sha256:a58a8fde0541dab0419750bcc521fbdf8585f6e5cb41909df3a472ef7b81ca95"}, - {file = "setuptools-70.1.1.tar.gz", hash = "sha256:937a48c7cdb7a21eb53cd7f9b59e525503aa8abaf3584c730dc5f7a5bec3a650"}, + {file = "setuptools-70.2.0-py3-none-any.whl", hash = "sha256:b8b8060bb426838fbe942479c90296ce976249451118ef566a5a0b7d8b78fb05"}, + {file = "setuptools-70.2.0.tar.gz", hash = "sha256:bd63e505105011b25c3c11f753f7e3b8465ea739efddaccef8f0efac2137bac1"}, ] [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] -testing = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] +doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] +test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] name = "sortedcontainers" From b3df6985b2872fed345e46d3caf498b0e53e110a Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 09:03:16 +0000 Subject: [PATCH 8/8] Set Version: 0.1.331 --- 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 29ba87d86..bbe63f296 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.330 +0.1.331 diff --git a/pyproject.toml b/pyproject.toml index 1472594d0..6655cec59 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kontrol" -version = "0.1.330" +version = "0.1.331" description = "Foundry integration for KEVM" authors = [ "Runtime Verification, Inc. ", diff --git a/src/kontrol/__init__.py b/src/kontrol/__init__.py index a7b13e17c..76c27eea3 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.330' +VERSION: Final = '0.1.331'