Skip to content

Update dependency: deps/pyk_release #2287

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

Merged
merged 13 commits into from
Feb 9, 2024
Merged

Update dependency: deps/pyk_release #2287

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
f128e70
deps/pyk_release: Set Version v0.1.616
rv-auditor Feb 7, 2024
2660917
kevm-pyk/: sync poetry files pyk version v0.1.616
rv-auditor Feb 7, 2024
49fbe2b
flake.{nix,lock}: update Nix derivations
rv-auditor Feb 7, 2024
c12f368
Set Version: 1.0.446
rv-auditor Feb 7, 2024
8825fb4
deps/pyk_release: Set Version v0.1.617
rv-auditor Feb 7, 2024
614c28a
kevm-pyk/: sync poetry files pyk version v0.1.617
rv-auditor Feb 7, 2024
326b916
flake.{nix,lock}: update Nix derivations
rv-auditor Feb 7, 2024
441876c
Merge branch 'master' into _update-deps/runtimeverification/pyk
rv-jenkins Feb 7, 2024
8fa3575
Set Version: 1.0.447
rv-auditor Feb 7, 2024
7180dd2
Merge branch 'master' into _update-deps/runtimeverification/pyk
anvacaru Feb 8, 2024
e6cd703
Set Version: 1.0.448
rv-auditor Feb 8, 2024
7741d33
Turn off `fast_check_subsumption` by default
palinatolmach Feb 9, 2024
b1617af
Bump `pyk` version to v0.1.618
palinatolmach Feb 9, 2024
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/pyk_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.614
v0.1.618
8 changes: 4 additions & 4 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.

2 changes: 1 addition & 1 deletion flake.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.614";
pyk.url = "github:runtimeverification/pyk/v0.1.618";
nixpkgs-pyk.follows = "pyk/nixpkgs";
poetry2nix.follows = "pyk/poetry2nix";
blockchain-k-plugin = {
Expand Down
14 changes: 7 additions & 7 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.447"
version = "1.0.448"
description = ""
authors = [
"Runtime Verification, Inc. <contact@runtimeverification.com>",
Expand All @@ -13,7 +13,7 @@ authors = [
[tool.poetry.dependencies]
python = "^3.10"
pathos = "*"
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.614" }
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.618" }
tomlkit = "^0.11.6"

[tool.poetry.group.dev.dependencies]
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.447'
VERSION: Final = '1.0.448'
2 changes: 1 addition & 1 deletion kevm-pyk/src/kevm_pyk/__main__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -299,7 +299,7 @@ def exec_prove(
auto_abstract_gas: bool = False,
fail_fast: bool = False,
always_check_subsumption: bool = True,
fast_check_subsumption: bool = True,
fast_check_subsumption: bool = False,
fallback_on: Iterable[FallbackReason] | None = None,
Comment on lines -302 to 303
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@palinatolmach @tothtamas28 @anvacaru let's make sure when we switch a CLI option like this one, we also switch the default in cli.py as well to match it

evm-semantics/kevm-pyk/src/kevm_pyk/cli.py

Line 70 in 9e88278

args.add_argument(

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Possibly related: runtimeverification/kontrol#298 (review)

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Right, thanks! I created an issue so that I don't forget to address it within the next few days: #2295, and I'll check with @nwatson22 on whether we might incorporate runtimeverification/kontrol#298 (review) in fixing that as well.

interim_simplification: int | None = None,
post_exec_simplify: bool = True,
Expand Down
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.447
1.0.448