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 #1962

Merged
merged 13 commits into from
Jul 26, 2023
Merged

Update dependency: deps/pyk_release #1962

Show file tree
Hide file tree
Changes from 12 commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
4a47301
deps/pyk_release: Set Version v0.1.377
Jul 24, 2023
163cd54
Set Version: 1.0.237
Jul 24, 2023
2bd11f2
kevm-pyk/: sync poetry files pyk version v0.1.377
Jul 24, 2023
ba4dfd1
flake.{nix,lock}: update Nix derivations
Jul 24, 2023
cf7a4b8
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
Jul 24, 2023
b35188d
deps/pyk_release: Set Version v0.1.378
Jul 24, 2023
f8d8113
Set Version: 1.0.238
Jul 24, 2023
ead818f
kevm-pyk/: sync poetry files pyk version v0.1.378
Jul 24, 2023
ee75bb7
flake.{nix,lock}: update Nix derivations
Jul 24, 2023
8fcc78c
extend lines with a str of the summary
anvacaru Jul 25, 2023
0d7ffd3
Merge branch 'master' into _update-deps/runtimeverification/pyk
ehildenb Jul 25, 2023
7b5c26a
Set Version: 1.0.239
Jul 25, 2023
237557d
Update kevm-pyk/src/kevm_pyk/foundry.py
ehildenb Jul 25, 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/pyk_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.376
v0.1.378
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 @@ -17,7 +17,7 @@
ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
ethereum-legacytests.flake = false;
haskell-backend.follows = "k-framework/haskell-backend";
pyk.url = "github:runtimeverification/pyk/v0.1.376";
pyk.url = "github:runtimeverification/pyk/v0.1.378";
pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent release
Expand Down
82 changes: 42 additions & 40 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.238"
version = "1.0.239"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
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.376" }
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.378" }
tomlkit = "^0.11.6"

[tool.poetry.group.dev.dependencies]
Expand Down
2 changes: 1 addition & 1 deletion kevm-pyk/src/kevm_pyk/foundry.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -675,7 +675,7 @@ def foundry_list(foundry_root: Path) -> list[str]:
proof_digest = foundry.proof_digest(contract_name, test_name)
if APRProof.proof_exists(proof_digest, apr_proofs_dir):
apr_proof = APRProof.read_proof(proof_digest, apr_proofs_dir)
lines.extend(apr_proof.summary)
lines.extend(str(apr_proof.summary))
ehildenb marked this conversation as resolved.
Show resolved Hide resolved
ehildenb marked this conversation as resolved.
Show resolved Hide resolved
lines.append('')
if len(lines) > 0:
lines = lines[0:-1]
Expand Down
2 changes: 1 addition & 1 deletion package/debian/changelog
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
kevm (1.0.238) unstable; urgency=medium
kevm (1.0.239) unstable; urgency=medium

* Initial Release.

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.238
1.0.239