diff --git a/deps/k_release b/deps/k_release index d0e16dbb5..41622ff50 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.104 +7.1.105 diff --git a/deps/kevm_release b/deps/kevm_release index 901ef9811..625ed12ee 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.682 +1.0.685 diff --git a/flake.lock b/flake.lock index 4384340d6..17e38dfa8 100644 --- a/flake.lock +++ b/flake.lock @@ -251,16 +251,16 @@ ] }, "locked": { - "lastModified": 1723490551, - "narHash": "sha256-KjdZ5Z6o8YEbYdm4P6KEA7lg7+72R6Y9PvVVDTnLSLo=", + "lastModified": 1723622670, + "narHash": "sha256-UCwCFO1LpmvoF5qSviNip69LCDS3ROTc3hvEjhfp3D8=", "owner": "runtimeverification", "repo": "k", - "rev": "34892bf1cc18db30fded1aabd1b6ce5efbba66b5", + "rev": "13aad50dab1be810bff4b722281a2f6bc56e6c62", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.104", + "ref": "v7.1.105", "repo": "k", "type": "github" } @@ -302,16 +302,16 @@ ] }, "locked": { - "lastModified": 1723556518, - "narHash": "sha256-WItZ3FiS5vaXf/k6lxlMCcsd1X0GXmKMVe6ik9A92Nk=", + "lastModified": 1723634579, + "narHash": "sha256-suumF4b77ho5tbDy1M2VWRxMmCVrsgZ3t9dAExjcooc=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "cb91fb4c746c1ca1afd020783ca9bd1e14666f11", + "rev": "017018ee3209500611bfa21d77b955e29ab62231", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.682", + "ref": "v1.0.685", "repo": "evm-semantics", "type": "github" } @@ -534,17 +534,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1723490551, - "narHash": "sha256-KjdZ5Z6o8YEbYdm4P6KEA7lg7+72R6Y9PvVVDTnLSLo=", + "lastModified": 1723622670, + "narHash": "sha256-UCwCFO1LpmvoF5qSviNip69LCDS3ROTc3hvEjhfp3D8=", "owner": "runtimeverification", "repo": "k", - "rev": "34892bf1cc18db30fded1aabd1b6ce5efbba66b5", + "rev": "13aad50dab1be810bff4b722281a2f6bc56e6c62", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.104", + "ref": "v7.1.105", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index c96e68723..70456150e 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.682"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.685"; nixpkgs.follows = "kevm/nixpkgs"; nixpkgs-pyk.follows = "kevm/nixpkgs-pyk"; k-framework.follows = "kevm/k-framework"; diff --git a/poetry.lock b/poetry.lock index 6d08ece2c..5b2fd7d65 100644 --- a/poetry.lock +++ b/poetry.lock @@ -665,7 +665,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.682" +version = "1.0.685" description = "" optional = false python-versions = "^3.10" @@ -673,26 +673,26 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.104" +kframework = "7.1.105" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.682" -resolved_reference = "cb91fb4c746c1ca1afd020783ca9bd1e14666f11" +reference = "v1.0.685" +resolved_reference = "017018ee3209500611bfa21d77b955e29ab62231" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.104" +version = "7.1.105" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.104-py3-none-any.whl", hash = "sha256:a623575b4404ec4725d2269eafa9cd9d11468cef5f184e1c4db268d3bcf74d7e"}, - {file = "kframework-7.1.104.tar.gz", hash = "sha256:5ee957523716d1f7e5964a77d09ec6432486ac886fed5fa0175bfc02d20f20e1"}, + {file = "kframework-7.1.105-py3-none-any.whl", hash = "sha256:cb133d4e250034eff8cedcfb64bfb76d345b14bb9c5553ca75fd47f70a4607c6"}, + {file = "kframework-7.1.105.tar.gz", hash = "sha256:2acb1ac8204d5b6eb30a8af5a84766bf63bde55ed14be4ddb31e5fe73eba5765"}, ] [package.dependencies] @@ -1014,17 +1014,17 @@ test = ["enum34", "ipaddress", "mock", "pywin32", "wmi"] [[package]] name = "pybind11" -version = "2.13.2" +version = "2.13.3" description = "Seamless operability between C++11 and Python" optional = false python-versions = ">=3.7" files = [ - {file = "pybind11-2.13.2-py3-none-any.whl", hash = "sha256:a5376617f8475f812183ba9117ae1c9eedff6d045f2252ab76fa5c31b5a04cc4"}, - {file = "pybind11-2.13.2.tar.gz", hash = "sha256:f050e703fb596df2fa8cdbe1175c13856ec96d8dace878a642bcea3875356cfe"}, + {file = "pybind11-2.13.3-py3-none-any.whl", hash = "sha256:23f2e842ae2f37babec486d372f2545198a506df785a5fefccf6f0ad3f72a5fb"}, + {file = "pybind11-2.13.3.tar.gz", hash = "sha256:84b1314ca72397f79854161cf852466629dd374bb0efce0c6501d745699d9a43"}, ] [package.extras] -global = ["pybind11-global (==2.13.2)"] +global = ["pybind11-global (==2.13.3)"] [[package]] name = "pycodestyle" @@ -1249,18 +1249,18 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "72.1.0" +version = "72.2.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-72.1.0-py3-none-any.whl", hash = "sha256:5a03e1860cf56bb6ef48ce186b0e557fdba433237481a9a625176c2831be15d1"}, - {file = "setuptools-72.1.0.tar.gz", hash = "sha256:8d243eff56d095e5817f796ede6ae32941278f542e0f941867cc05ae52b162ec"}, + {file = "setuptools-72.2.0-py3-none-any.whl", hash = "sha256:f11dd94b7bae3a156a95ec151f24e4637fb4fa19c878e4d191bfb8b2d82728c4"}, + {file = "setuptools-72.2.0.tar.gz", hash = "sha256:80aacbf633704e9c8bfa1d99fa5dd4dc59573efcf9e4042c13d3bcef91ac2ef9"}, ] [package.extras] core = ["importlib-metadata (>=6)", "importlib-resources (>=5.10.2)", "jaraco.text (>=3.7)", "more-itertools (>=8.8)", "ordered-set (>=3.1.1)", "packaging (>=24)", "platformdirs (>=2.6.2)", "tomli (>=2.0.1)", "wheel (>=0.43.0)"] -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"] +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", "towncrier (<24.7)"] 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.11.*)", "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.4)", "pytest-ruff (>=0.2.1)", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] @@ -1403,4 +1403,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b44773e84b533b28c3b02a30d8e045e691483028ad859027fa0140abf6e9b6da" +content-hash = "49d4f6d25e929280c78078a6cbec39c5023fe05052847d5d082b862ff23afd1e" diff --git a/pyproject.toml b/pyproject.toml index 661fe638a..f9f14893f 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.682", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.685", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0"