Skip to content

Commit 2310dd7

Browse files
rv-jenkinsrv-auditorpalinatolmach
authored
Update dependency: deps/kevm_release (#1008)
* deps/kevm_release: Set Version 1.0.815 * Sync Poetry files: kevm-pyk version 1.0.815 * flake.{nix,lock}: update Nix derivations * Sync Poetry files: kevm-pyk version 1.0.815 * deps/kevm_release: Set Version 1.0.816 * Sync Poetry files: kevm-pyk version 1.0.816 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.817 * Sync Poetry files: kevm-pyk version 1.0.817 * deps/k_release: sync release file version 7.1.235 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.818 * Sync Poetry files: kevm-pyk version 1.0.818 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.819 * Sync Poetry files: kevm-pyk version 1.0.819 * deps/k_release: sync release file version 7.1.236 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.820 * Sync Poetry files: kevm-pyk version 1.0.820 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.821 * Sync Poetry files: kevm-pyk version 1.0.821 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.822 * Sync Poetry files: kevm-pyk version 1.0.822 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.823 * Sync Poetry files: kevm-pyk version 1.0.823 * deps/k_release: sync release file version 7.1.237 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.824 * Sync Poetry files: kevm-pyk version 1.0.824 * deps/k_release: sync release file version 7.1.238 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.825 * Sync Poetry files: kevm-pyk version 1.0.825 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.826 * Sync Poetry files: kevm-pyk version 1.0.826 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.827 * Sync Poetry files: kevm-pyk version 1.0.827 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.828 * Sync Poetry files: kevm-pyk version 1.0.828 * deps/k_release: sync release file version 7.1.241 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.829 * Sync uv files: kevm-pyk version 1.0.829 * flake.{nix,lock}: update Nix derivations * Fix code quality checks * Update expected output files * deps/kevm_release: Set Version 1.0.830 * Sync uv files: kevm-pyk version 1.0.830 * deps/k_release: sync release file version 7.1.244 * flake.{nix,lock}: update Nix derivations * Sync uv files: kevm-pyk version 1.0.830 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.831 * Sync uv files: kevm-pyk version 1.0.831 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.834 * Sync uv files: kevm-pyk version 1.0.834 * deps/k_release: sync release file version 7.1.249 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.835 * Sync uv files: kevm-pyk version 1.0.835 * flake.{nix,lock}: update Nix derivations * Update imports to move `pyk.prelude` into `pyk.kast` * Sync uv files: kevm-pyk version 1.0.835 * Fix missing update to `pyk.prelude` imports * Experimental: add `concrete` attribute to `prank`, `expectRevert` rules * deps/kevm_release: Set Version 1.0.836 * Sync uv files: kevm-pyk version 1.0.836 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.837 * Sync uv files: kevm-pyk version 1.0.837 * flake.{nix,lock}: update Nix derivations * Revert adding `concrete` in prank, expectrevert cheatcodes * Sync uv files: kevm-pyk version 1.0.837 * deps/kevm_release: Set Version 1.0.839 * Sync uv files: kevm-pyk version 1.0.839 * flake.{nix,lock}: update Nix derivations * Update expected output files --------- Co-authored-by: devops <[email protected]> Co-authored-by: Palina <[email protected]>
1 parent 291a70f commit 2310dd7

23 files changed

+11253
-915
lines changed

‎deps/k_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.1.232
1+
7.1.249

‎deps/kevm_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
1.0.814
1+
1.0.839

‎flake.lock

Lines changed: 20 additions & 20 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎flake.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
description = "Kontrol";
33

44
inputs = {
5-
kevm.url = "github:runtimeverification/evm-semantics/v1.0.814";
5+
kevm.url = "github:runtimeverification/evm-semantics/v1.0.839";
66
nixpkgs.follows = "kevm/nixpkgs";
77
k-framework.follows = "kevm/k-framework";
88
flake-utils.follows = "kevm/flake-utils";

‎pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ version = "1.0.0"
88
description = "Foundry integration for KEVM"
99
requires-python = "~=3.10"
1010
dependencies = [
11-
"kevm-pyk@git+https://github.com/runtimeverification/[email protected].814#subdirectory=kevm-pyk",
11+
"kevm-pyk@git+https://github.com/runtimeverification/[email protected].839#subdirectory=kevm-pyk",
1212
"eth-utils>=4.1.1,<5",
1313
"pycryptodome>=3.20.0,<4",
1414
"pyevmasm>=0.2.3,<0.3",

‎src/kontrol/display.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,9 +11,9 @@
1111
from pyk.kast.inner import KApply, KToken, KVariable
1212
from pyk.kast.manip import collect, extract_lhs, flatten_label
1313
from pyk.kast.outer import KDefinition, KFlatModule, KImport, KRequire
14+
from pyk.kast.prelude.kint import INT
1415
from pyk.kcfg import KCFG
1516
from pyk.kcfg.minimize import KCFGMinimizer
16-
from pyk.prelude.kint import INT
1717
from pyk.proof.reachability import APRProof
1818
from pyk.proof.show import APRProofNodePrinter, APRProofShow
1919
from pyk.proof.tui import APRProofViewer

‎src/kontrol/foundry.py

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -28,14 +28,14 @@
2828
top_down,
2929
)
3030
from pyk.kast.outer import KRule
31+
from pyk.kast.prelude.bytes import bytesToken
32+
from pyk.kast.prelude.collections import map_empty
33+
from pyk.kast.prelude.k import DOTS, GENERATED_TOP_CELL
34+
from pyk.kast.prelude.kbool import notBool
35+
from pyk.kast.prelude.kint import INT, intToken
36+
from pyk.kast.prelude.ml import mlEqualsFalse, mlEqualsTrue
3137
from pyk.kcfg.kcfg import Step
3238
from pyk.kdist import kdist
33-
from pyk.prelude.bytes import bytesToken
34-
from pyk.prelude.collections import map_empty
35-
from pyk.prelude.k import DOTS, GENERATED_TOP_CELL
36-
from pyk.prelude.kbool import notBool
37-
from pyk.prelude.kint import INT, intToken
38-
from pyk.prelude.ml import mlEqualsFalse, mlEqualsTrue
3939
from pyk.proof.proof import Proof
4040
from pyk.proof.reachability import APRFailureInfo, APRProof
4141
from pyk.utils import ensure_dir_path, hash_str, run_process_2, single, unique

‎src/kontrol/prove.py

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -16,16 +16,16 @@
1616
from pyk.cterm import CTerm, CTermSymbolic
1717
from pyk.kast.inner import KApply, KSequence, KSort, KVariable, Subst
1818
from pyk.kast.manip import flatten_label, free_vars, set_cell
19+
from pyk.kast.prelude.bytes import bytesToken
20+
from pyk.kast.prelude.collections import list_empty, map_empty, map_item, set_empty
21+
from pyk.kast.prelude.k import GENERATED_TOP_CELL
22+
from pyk.kast.prelude.kbool import FALSE, TRUE, boolToken, notBool
23+
from pyk.kast.prelude.kint import eqInt, intToken, leInt, ltInt
24+
from pyk.kast.prelude.ml import mlEqualsFalse, mlEqualsTrue
25+
from pyk.kast.prelude.utils import token
1926
from pyk.kcfg import KCFG, KCFGExplore
2027
from pyk.kcfg.minimize import KCFGMinimizer
2128
from pyk.kore.rpc import KoreClient, kore_server
22-
from pyk.prelude.bytes import bytesToken
23-
from pyk.prelude.collections import list_empty, map_empty, map_item, set_empty
24-
from pyk.prelude.k import GENERATED_TOP_CELL
25-
from pyk.prelude.kbool import FALSE, TRUE, boolToken, notBool
26-
from pyk.prelude.kint import eqInt, intToken, leInt, ltInt
27-
from pyk.prelude.ml import mlEqualsFalse, mlEqualsTrue
28-
from pyk.prelude.utils import token
2929
from pyk.proof import ProofStatus
3030
from pyk.proof.proof import Proof
3131
from pyk.proof.reachability import APRFailureInfo, APRProof

‎src/kontrol/solc_to_k.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@
99

1010
from kevm_pyk.kevm import KEVM
1111
from pyk.kast.inner import KApply, KLabel, KSort, KVariable
12-
from pyk.prelude.kbool import TRUE
13-
from pyk.prelude.kint import eqInt, intToken, ltInt
12+
from pyk.kast.prelude.kbool import TRUE
13+
from pyk.kast.prelude.kint import eqInt, intToken, ltInt
1414
from pyk.utils import hash_str, single
1515

1616
from .utils import _read_digest_file

‎src/kontrol/state_record.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,9 +7,9 @@
77

88
from eth_utils import to_checksum_address
99
from kevm_pyk.kevm import KEVM
10-
from pyk.prelude.collections import map_empty, map_of
11-
from pyk.prelude.kint import intToken
12-
from pyk.prelude.string import stringToken
10+
from pyk.kast.prelude.collections import map_empty, map_of
11+
from pyk.kast.prelude.kint import intToken
12+
from pyk.kast.prelude.string import stringToken
1313
from pyk.utils import ensure_dir_path
1414

1515
from .utils import hex_string_to_int, read_contract_names

0 commit comments

Comments
 (0)