Skip to content

Commit

Permalink
Update dependency: deps/kevm_release (#579)
Browse files Browse the repository at this point in the history
* deps/kevm_release: Set Version 1.0.568

* Set Version: 0.1.285

* Sync Poetry files: kevm-pyk version 1.0.568

* deps/k_release: sync release file version 7.0.85

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.569

* Sync Poetry files: kevm-pyk version 1.0.569

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.570

* Sync Poetry files: kevm-pyk version 1.0.570

* deps/k_release: sync release file version 7.0.89

* flake.{nix,lock}: update Nix derivations

* Remove `llvm_library` arg in `kevm_kompile` call

* Sync Poetry files: kevm-pyk version 1.0.570

* flake.lock: manually update macos solc hash

* Set Version: 0.1.286

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.571

* Sync Poetry files: kevm-pyk version 1.0.571

* flake.{nix,lock}: update Nix derivations

* `flake.lock`: manually updated `solc-macos-amd64` hash

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: palinatolmach <[email protected]>
  • Loading branch information
3 people authored May 27, 2024
1 parent 6da632c commit 36e6994
Show file tree
Hide file tree
Showing 9 changed files with 59 additions and 96 deletions.
2 changes: 1 addition & 1 deletion deps/k_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.0.83
7.0.89
2 changes: 1 addition & 1 deletion deps/kevm_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.0.567
1.0.571
118 changes: 41 additions & 77 deletions flake.lock

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
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "Kontrol";

inputs = {
kevm.url = "github:runtimeverification/evm-semantics/v1.0.567";
kevm.url = "github:runtimeverification/evm-semantics/v1.0.571";
nixpkgs.follows = "kevm/nixpkgs";
nixpkgs-pyk.follows = "kevm/nixpkgs-pyk";
k-framework.follows = "kevm/k-framework";
Expand Down
2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.285
0.1.286
22 changes: 11 additions & 11 deletions poetry.lock

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

4 changes: 2 additions & 2 deletions pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -4,15 +4,15 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kontrol"
version = "0.1.285"
version = "0.1.286"
description = "Foundry integration for KEVM"
authors = [
"Runtime Verification, Inc. <[email protected]>",
]

[tool.poetry.dependencies]
python = "^3.10"
kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.567", subdirectory = "kevm-pyk" }
kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.571", subdirectory = "kevm-pyk" }

[tool.poetry.group.dev.dependencies]
autoflake = "*"
Expand Down
2 changes: 1 addition & 1 deletion src/kontrol/__init__.py
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@
if TYPE_CHECKING:
from typing import Final

VERSION: Final = '0.1.285'
VERSION: Final = '0.1.286'
1 change: 0 additions & 1 deletion src/kontrol/kompile.py
Original file line number Diff line number Diff line change
Expand Up @@ -154,7 +154,6 @@ def update_kompilation_digest() -> None:
includes=includes,
emit_json=True,
ccopts=options.ccopts,
llvm_library=foundry.llvm_library,
debug=options.debug,
verbose=options.verbose,
)
Expand Down

0 comments on commit 36e6994

Please sign in to comment.