Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dependency: deps/pyk_release #2149

Merged
merged 24 commits into from
Nov 7, 2023
Merged

Update dependency: deps/pyk_release #2149

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
f91ef6f
deps/pyk_release: Set Version v0.1.488
Oct 31, 2023
df3ec7b
Set Version: 1.0.333
Oct 31, 2023
a17528f
kevm-pyk/: sync poetry files pyk version v0.1.488
Oct 31, 2023
bb837fe
deps/k_release: sync release file version 6.0.186
Oct 31, 2023
23cfb05
flake.{nix,lock}: update Nix derivations
Oct 31, 2023
6a9f8a2
deps/pyk_release: Set Version v0.1.489
Nov 1, 2023
6ff1c44
kevm-pyk/: sync poetry files pyk version v0.1.489
Nov 1, 2023
fc7a4a1
deps/k_release: sync release file version 6.0.187
Nov 1, 2023
1448002
flake.{nix,lock}: update Nix derivations
Nov 1, 2023
17bd6ca
Merge branch 'master' into _update-deps/runtimeverification/pyk
anvacaru Nov 2, 2023
35676af
Set Version: 1.0.334
Nov 2, 2023
6a5a92f
deps/pyk_release: Set Version v0.1.490
Nov 2, 2023
c4cd563
kevm-pyk/: sync poetry files pyk version v0.1.490
Nov 2, 2023
89df261
deps/k_release: sync release file version 6.0.189
Nov 2, 2023
c6bc257
flake.{nix,lock}: update Nix derivations
Nov 2, 2023
0ebe762
Merge branch 'master' into _update-deps/runtimeverification/pyk
anvacaru Nov 3, 2023
c3aec41
Set Version: 1.0.336
Nov 3, 2023
0754af7
deps/pyk_release: Set Version v0.1.491
Nov 3, 2023
8027b43
kevm-pyk/: sync poetry files pyk version v0.1.491
Nov 3, 2023
5ccf2a8
deps/k_release: sync release file version 6.0.190
Nov 3, 2023
715dbc1
flake.{nix,lock}: update Nix derivations
Nov 3, 2023
d6dba59
Merge branch 'master' into _update-deps/runtimeverification/pyk
ehildenb Nov 6, 2023
9119cb7
Set Version: 1.0.338
Nov 7, 2023
ecb8a71
flake.{nix,lock}: update Nix derivations
Nov 7, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/k_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
6.0.174
6.0.190
2 changes: 1 addition & 1 deletion deps/pyk_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.486
v0.1.491
54 changes: 27 additions & 27 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,11 @@
description = "A flake for the KEVM Semantics";

inputs = {
k-framework.url = "github:runtimeverification/k/v6.0.174";
k-framework.url = "github:runtimeverification/k/v6.0.190";
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.486";
pyk.url = "github:runtimeverification/pyk/v0.1.491";
nixpkgs-pyk.follows = "pyk/nixpkgs";
poetry2nix.follows = "pyk/poetry2nix";
blockchain-k-plugin = {
Expand Down
20 changes: 10 additions & 10 deletions kevm-pyk/poetry.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions kevm-pyk/pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kevm-pyk"
version = "1.0.337"
version = "1.0.338"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand All @@ -17,7 +17,7 @@ packages = [
[tool.poetry.dependencies]
python = "^3.10"
pathos = "*"
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.486" }
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.491" }
tomlkit = "^0.11.6"
xdg-base-dirs = "^6.0.0"

Expand Down
2 changes: 1 addition & 1 deletion kevm-pyk/src/kevm_pyk/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,4 @@
from typing import Final


VERSION: Final = '1.0.337'
VERSION: Final = '1.0.338'
2 changes: 1 addition & 1 deletion package/version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.0.337
1.0.338