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 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 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"; 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/poetry.lock b/poetry.lock index 433750765..670af0ed3 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] @@ -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" @@ -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..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. ", @@ -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 = "*" 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' diff --git a/src/kontrol/prove.py b/src/kontrol/prove.py index ddbf043a0..94eed580e 100644 --- a/src/kontrol/prove.py +++ b/src/kontrol/prove.py @@ -343,11 +343,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(