From 65628e85e2dfffcf40f8cc8edda9d4eb877684fb Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 17 Jun 2024 05:22:41 -0600 Subject: [PATCH] Update dependency: deps/kwasm_release (#287) * deps/kwasm_release: Set Version 0.1.63 * Set Version: 0.1.80 * kmultiversx/: sync poetry files 0.1.63 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.81 * kmultiversx/: sync poetry files 0.1.63 --------- Co-authored-by: devops Co-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com> --- deps/kwasm_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- kmultiversx/poetry.lock | 28 ++++++++++++++-------------- kmultiversx/pyproject.toml | 4 ++-- package/version | 2 +- 6 files changed, 23 insertions(+), 23 deletions(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index fbde3d5a..abf5cfcd 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.62 +0.1.63 diff --git a/flake.lock b/flake.lock index 5cb59818..b672cfcd 100644 --- a/flake.lock +++ b/flake.lock @@ -1159,16 +1159,16 @@ ] }, "locked": { - "lastModified": 1718260123, - "narHash": "sha256-rz8EvAzWD4wXC4L12wLuHc9Sy5iureholWDtmkqcbQY=", + "lastModified": 1718292341, + "narHash": "sha256-LBJK7QF4squlT2c5qD+i5gF8mLF7fT7/Ufyefr3CApI=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "1cd40684278953bbf617a0896c931bc4f8f32834", + "rev": "da84992337b4d4cd9b8798722d294c4c12d410e3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.62", + "ref": "v0.1.63", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index f4a6c021..cc6b0b6c 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of MultiversX"; inputs = { - wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.62"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.63"; k-framework.url = "github:runtimeverification/k/v7.0.120"; pyk.url = "github:runtimeverification/k/v7.0.120?dir=pyk"; nixpkgs.follows = "k-framework/nixpkgs"; diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 3b375022..45699e66 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -387,18 +387,18 @@ typing = ["typing-extensions (>=4.8)"] [[package]] name = "flake8" -version = "7.0.0" +version = "7.1.0" description = "the modular source code checker: pep8 pyflakes and co" optional = false python-versions = ">=3.8.1" files = [ - {file = "flake8-7.0.0-py2.py3-none-any.whl", hash = "sha256:a6dfbb75e03252917f2473ea9653f7cd799c3064e54d4c8140044c5c065f53c3"}, - {file = "flake8-7.0.0.tar.gz", hash = "sha256:33f96621059e65eec474169085dc92bf26e7b2d47366b70be2f67ab80dc25132"}, + {file = "flake8-7.1.0-py2.py3-none-any.whl", hash = "sha256:2e416edcc62471a64cea09353f4e7bdba32aeb079b6e360554c659a122b1bc6a"}, + {file = "flake8-7.1.0.tar.gz", hash = "sha256:48a07b626b55236e0fb4784ee69a465fbf59d79eec1f5b4785c3d3bc57d17aa5"}, ] [package.dependencies] mccabe = ">=0.7.0,<0.8.0" -pycodestyle = ">=2.11.0,<2.12.0" +pycodestyle = ">=2.12.0,<2.13.0" pyflakes = ">=3.2.0,<3.3.0" [[package]] @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.103.1" +version = "6.103.2" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.103.1-py3-none-any.whl", hash = "sha256:d3c959fab6233e78867499e2117ae9db8dc40eeed936d71a2cfc7b6094972e74"}, - {file = "hypothesis-6.103.1.tar.gz", hash = "sha256:d299d5c21d6408eab3be670c94c974f3acf0b511c61fe81804b09091e393ee1f"}, + {file = "hypothesis-6.103.2-py3-none-any.whl", hash = "sha256:629b7cdeca8c225933739f99879caba21949000d2c919c8b4585e01048b3bc73"}, + {file = "hypothesis-6.103.2.tar.gz", hash = "sha256:83504e31e90a0d7d6e8eb93e51525dc1a48d79c932a50ad6035e29f8295328cd"}, ] [package.dependencies] @@ -895,13 +895,13 @@ global = ["pybind11-global (==2.12.0)"] [[package]] name = "pycodestyle" -version = "2.11.1" +version = "2.12.0" description = "Python style guide checker" optional = false python-versions = ">=3.8" files = [ - {file = "pycodestyle-2.11.1-py2.py3-none-any.whl", hash = "sha256:44fe31000b2d866f2e41841b18528a505fbd7fef9017b04eff4e2648a0fadc67"}, - {file = "pycodestyle-2.11.1.tar.gz", hash = "sha256:41ba0e7afc9752dfb53ced5489e89f8186be00e599e712660695b7a75ff2663f"}, + {file = "pycodestyle-2.12.0-py2.py3-none-any.whl", hash = "sha256:949a39f6b86c3e1515ba1787c2022131d165a8ad271b11370a8819aa070269e4"}, + {file = "pycodestyle-2.12.0.tar.gz", hash = "sha256:442f950141b4f43df752dd303511ffded3a04c2b6fb7f65980574f0c31e6e79c"}, ] [[package]] @@ -1000,7 +1000,7 @@ subdirectory = "pyk" [[package]] name = "pykwasm" -version = "0.1.62" +version = "0.1.63" description = "" optional = false python-versions = "^3.10" @@ -1016,8 +1016,8 @@ pyk = {git = "https://github.com/runtimeverification/k.git", tag = "v7.0.120", s [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.62" -resolved_reference = "1cd40684278953bbf617a0896c931bc4f8f32834" +reference = "v0.1.63" +resolved_reference = "da84992337b4d4cd9b8798722d294c4c12d410e3" subdirectory = "pykwasm" [[package]] @@ -1294,4 +1294,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "7972bd74e566c0266416c2a3de7c954f77d861e912a29b8f2cdab93321573716" +content-hash = "b718bab1de1bee850d5bfbddf3e6b69c796f6eef541d123dd6fbca9d024abbb3" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index d400f91e..f254f355 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmultiversx" -version = "0.1.80" +version = "0.1.81" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", @@ -20,7 +20,7 @@ mx-semantics = "kmultiversx.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.62", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.63", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" diff --git a/package/version b/package/version index 8c1c54a7..962d1c10 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.80 +0.1.81