From 347843445d7891b95a7d44c05822409e53874752 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 09:35:35 +0000 Subject: [PATCH 01/12] deps/pyk_release: Set Version v0.1.531 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 708d59be46..c9a9b9d5f0 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.530 +v0.1.531 From d5fc3dd7e30847ee49ec7202e1857b185d9dd5ae Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 09:36:07 +0000 Subject: [PATCH 02/12] Set Version: 1.0.386 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 35c7165f7b..18109ac4a8 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.385" +version = "1.0.386" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index e3ed45d8f1..a8bbce188b 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.385' +VERSION: Final = '1.0.386' diff --git a/package/version b/package/version index a569f17814..00d2c97993 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.385 +1.0.386 From 14c0297f78cc574df93b0779cb9a5f2a2d34955d Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 09:38:30 +0000 Subject: [PATCH 03/12] kevm-pyk/: sync poetry files pyk version v0.1.531 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 1f9e9b60ef..8f7721ed5d 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.530" +version = "0.1.531" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.530" -resolved_reference = "00e07a30cf0049a33ae1df1c28c6d3f95792e2ab" +reference = "v0.1.531" +resolved_reference = "74e828de87aaeec64154e7c38a1ffbbc43242ebd" [[package]] name = "pyperclip" @@ -1100,4 +1100,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "ad2831fc2aa85060c6681776e3de2675a2811bebbbdeea87a22ee5920c47a98e" +content-hash = "d240ce01daa13bb9aa4731bed46f4b00b4427f5759c198d19350bbf09580c36d" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 18109ac4a8..d31b830427 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.530" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.531" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 2cfdfd48e556df7716cf55a61b9578e43f383f49 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 09:38:30 +0000 Subject: [PATCH 04/12] deps/k_release: sync release file version 6.1.42 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index bde92e26df..747e2b8013 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.41 +6.1.42 From 69d64ed4565a289637e6d35b278c123248dbfe56 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 09:40:32 +0000 Subject: [PATCH 05/12] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 5991e4069d..26898c68a7 100644 --- a/flake.lock +++ b/flake.lock @@ -254,16 +254,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1701793707, - "narHash": "sha256-zYW7hB/BuRPoLUqBZRJkSbXYj7XwIi4b2XfunMRwaXc=", + "lastModified": 1701826328, + "narHash": "sha256-/mBffmg4jy+BfvSn+7NznN5myR69iMP+bPIUY8YJ6aE=", "owner": "runtimeverification", "repo": "k", - "rev": "2c4429696d1e053d80c8bfa69b0d9e85d78cc822", + "rev": "d95999edbfde902a998d2bf56aa4883307d8f347", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.41", + "ref": "v6.1.42", "repo": "k", "type": "github" } @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1701805413, - "narHash": "sha256-LmFRU+vTM87uHcMny1fBRaQSirbO3gu3hH3Vm3QXPO8=", + "lastModified": 1701854755, + "narHash": "sha256-DjvAYaWXSNxyUH34ZShqBPpMX+XMyHxhxl7WjFql41Q=", "owner": "runtimeverification", "repo": "pyk", - "rev": "00e07a30cf0049a33ae1df1c28c6d3f95792e2ab", + "rev": "74e828de87aaeec64154e7c38a1ffbbc43242ebd", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.530", + "ref": "v0.1.531", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 43a129396d..ecd521bdfc 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v6.1.41"; + k-framework.url = "github:runtimeverification/k/v6.1.42"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/pyk/v0.1.530"; + pyk.url = "github:runtimeverification/pyk/v0.1.531"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From 8b520509277cd7844bd03e310625fb8a987c86e5 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 13:46:11 +0000 Subject: [PATCH 06/12] deps/pyk_release: Set Version v0.1.532 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index c9a9b9d5f0..d2fa2a7cc2 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.531 +v0.1.532 From 65117fda95c246ccdba738818207bc1f9e8173d3 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 13:48:51 +0000 Subject: [PATCH 07/12] kevm-pyk/: sync poetry files pyk version v0.1.532 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 8f7721ed5d..a0c0a644fd 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.531" +version = "0.1.532" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.531" -resolved_reference = "74e828de87aaeec64154e7c38a1ffbbc43242ebd" +reference = "v0.1.532" +resolved_reference = "b1cd62da72b3c66f46644caa8f606f4f8b966fd5" [[package]] name = "pyperclip" @@ -1100,4 +1100,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d240ce01daa13bb9aa4731bed46f4b00b4427f5759c198d19350bbf09580c36d" +content-hash = "0a806ede3737166982f0b88782a452c1dca95384cd3d63af77ece8b5eed8ff47" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index d31b830427..b66e1250df 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.531" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.532" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 4c19a655aae5c9c2541bb8d422e8844d6f6a00c4 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 13:50:50 +0000 Subject: [PATCH 08/12] 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 26898c68a7..9087e72e9f 100644 --- a/flake.lock +++ b/flake.lock @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1701854755, - "narHash": "sha256-DjvAYaWXSNxyUH34ZShqBPpMX+XMyHxhxl7WjFql41Q=", + "lastModified": 1701869726, + "narHash": "sha256-qDUg1cd8ggpfMTEEVYrtrJPIofhO+sQe22R0dkLfZek=", "owner": "runtimeverification", "repo": "pyk", - "rev": "74e828de87aaeec64154e7c38a1ffbbc43242ebd", + "rev": "b1cd62da72b3c66f46644caa8f606f4f8b966fd5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.531", + "ref": "v0.1.532", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index ecd521bdfc..89c268e7bb 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/pyk/v0.1.531"; + pyk.url = "github:runtimeverification/pyk/v0.1.532"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From d3a7fc3c26fc0915f11b96e90c442fabe3377717 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 14:35:51 +0000 Subject: [PATCH 09/12] deps/pyk_release: Set Version v0.1.533 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index d2fa2a7cc2..fc05b3511a 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.532 +v0.1.533 From a623b6c352290890247ab03630241e51c50c8a3a Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 14:38:05 +0000 Subject: [PATCH 10/12] kevm-pyk/: sync poetry files pyk version v0.1.533 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index a0c0a644fd..0f729f55d8 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.532" +version = "0.1.533" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.532" -resolved_reference = "b1cd62da72b3c66f46644caa8f606f4f8b966fd5" +reference = "v0.1.533" +resolved_reference = "e29f8cd30c0779e42db8873a5f8d9170030aaee4" [[package]] name = "pyperclip" @@ -1100,4 +1100,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0a806ede3737166982f0b88782a452c1dca95384cd3d63af77ece8b5eed8ff47" +content-hash = "56380556c18d1a9bf48ecc9f5cfbe18bac79f782387d25895139ccd2613d2236" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index b66e1250df..84347bcd0e 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.532" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.533" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From d6177622fc3a9b811e9e3b88e990e7c2416194ac Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 14:40:05 +0000 Subject: [PATCH 11/12] 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 9087e72e9f..ef24ce4a8e 100644 --- a/flake.lock +++ b/flake.lock @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1701869726, - "narHash": "sha256-qDUg1cd8ggpfMTEEVYrtrJPIofhO+sQe22R0dkLfZek=", + "lastModified": 1701872820, + "narHash": "sha256-WvcgtD0f7c7TQQ7a9yPKtV7c9ijTWQTaJThgIVlzbZ4=", "owner": "runtimeverification", "repo": "pyk", - "rev": "b1cd62da72b3c66f46644caa8f606f4f8b966fd5", + "rev": "e29f8cd30c0779e42db8873a5f8d9170030aaee4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.532", + "ref": "v0.1.533", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 89c268e7bb..c33c1f8265 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/pyk/v0.1.532"; + pyk.url = "github:runtimeverification/pyk/v0.1.533"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From 397cd04390629a02c7035d7b33be611bf4e2a1b6 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Dec 2023 20:31:01 +0000 Subject: [PATCH 12/12] Set Version: 1.0.387 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 84347bcd0e..381ec2068c 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.386" +version = "1.0.387" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index a8bbce188b..1c817ee396 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.386' +VERSION: Final = '1.0.387' diff --git a/package/version b/package/version index 00d2c97993..1251751b76 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.386 +1.0.387