Skip to content

Commit f1e5b4b

Browse files
rv-jenkinsrv-auditoranvacarutothtamas28
authored
Update dependency: deps/k_release (#2751)
* deps/k_release: Set Version 7.1.245 * kevm-pyk/: sync poetry files pyk version 7.1.245 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.246 * kevm-pyk/: sync poetry files pyk version 7.1.246 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.247 * kevm-pyk/: sync poetry files pyk version 7.1.247 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.248 * kevm-pyk/: sync poetry files pyk version 7.1.248 * flake.{nix,lock}: update Nix derivations * kevm-pyk/: sync poetry files pyk version 7.1.248 * deps/k_release: Set Version 7.1.249 * kevm-pyk/: sync poetry files pyk version 7.1.249 * flake.{nix,lock}: update Nix derivations * Fix imports * kevm-pyk/: sync poetry files pyk version 7.1.249 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>
1 parent 671ef75 commit f1e5b4b

File tree

9 files changed

+33
-116
lines changed

9 files changed

+33
-116
lines changed

‎deps/k_release‎

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

‎flake.lock‎

Lines changed: 8 additions & 8 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 = "A flake for the KEVM Semantics";
33

44
inputs = {
5-
k-framework.url = "github:runtimeverification/k/v7.1.244";
5+
k-framework.url = "github:runtimeverification/k/v7.1.249";
66
nixpkgs.follows = "k-framework/nixpkgs";
77
flake-utils.follows = "k-framework/flake-utils";
88
rv-utils.follows = "k-framework/rv-utils";

‎kevm-pyk/poetry.lock‎

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

‎kevm-pyk/pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ authors = [
1313
[tool.poetry.dependencies]
1414
python = "^3.10"
1515
pathos = "*"
16-
kframework = "7.1.244"
16+
kframework = "7.1.249"
1717
tomlkit = "^0.11.6"
1818
frozendict = "^2.4.6"
1919

‎kevm-pyk/src/kevm_pyk/kevm.py‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -20,17 +20,17 @@
2020
top_down,
2121
)
2222
from pyk.kast.manip import abstract_term_safely, flatten_label, set_cell
23+
from pyk.kast.prelude.bytes import BYTES, pretty_bytes
24+
from pyk.kast.prelude.kint import INT, gtInt, intToken, ltInt
25+
from pyk.kast.prelude.ml import mlEqualsFalse, mlEqualsTrue
26+
from pyk.kast.prelude.string import stringToken
27+
from pyk.kast.prelude.utils import token
2328
from pyk.kast.pretty import paren
2429
from pyk.kcfg.kcfg import KCFGExtendResult, Step
2530
from pyk.kcfg.semantics import DefaultSemantics
2631
from pyk.kcfg.show import NodePrinter
2732
from pyk.ktool.kprove import KProve
2833
from pyk.ktool.krun import KRun
29-
from pyk.prelude.bytes import BYTES, pretty_bytes
30-
from pyk.prelude.kint import INT, gtInt, intToken, ltInt
31-
from pyk.prelude.ml import mlEqualsFalse, mlEqualsTrue
32-
from pyk.prelude.string import stringToken
33-
from pyk.prelude.utils import token
3434
from pyk.proof.reachability import APRProof
3535
from pyk.proof.show import APRProofNodePrinter
3636

‎kevm-pyk/src/kevm_pyk/summarizer.py‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,13 +13,13 @@
1313
from pyk.kast.att import Atts
1414
from pyk.kast.inner import KApply, KRewrite, KSequence, KToken, KVariable, Subst, top_down
1515
from pyk.kast.outer import KDefinition, KFlatModule, KImport, KRequire, KRule, KSort
16+
from pyk.kast.prelude.k import DOTS
17+
from pyk.kast.prelude.kbool import andBool
18+
from pyk.kast.prelude.kint import addInt, eqInt, euclidModInt, leInt, ltInt
19+
from pyk.kast.prelude.ml import mlEquals, mlEqualsFalse, mlEqualsTrue, mlNot
1620
from pyk.kcfg import KCFG, KCFGExplore
1721
from pyk.kdist import kdist
1822
from pyk.kore.rpc import KoreClient
19-
from pyk.prelude.k import DOTS
20-
from pyk.prelude.kbool import andBool
21-
from pyk.prelude.kint import addInt, eqInt, euclidModInt, leInt, ltInt
22-
from pyk.prelude.ml import mlEquals, mlEqualsFalse, mlEqualsTrue, mlNot
2323
from pyk.proof import APRProof
2424
from pyk.proof.show import APRProofShow
2525
from pyk.utils import ensure_dir_path

‎kevm-pyk/src/kevm_pyk/utils.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,11 +16,11 @@
1616
split_config_and_constraints,
1717
split_config_from,
1818
)
19+
from pyk.kast.prelude.ml import is_bottom, is_top
1920
from pyk.kcfg import KCFGExplore
2021
from pyk.kore.rpc import KoreExecLogFormat
2122
from pyk.ktool import TypeInferenceMode
2223
from pyk.ktool.claim_loader import ClaimLoader
23-
from pyk.prelude.ml import is_bottom, is_top
2424
from pyk.proof import APRProof, APRProver
2525
from pyk.proof.implies import EqualityProof, ImpliesProver
2626
from pyk.proof.proof import parallel_advance_proof

‎kevm-pyk/src/tests/unit/test_kevm.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010

1111
from pyk.cterm.cterm import CTerm
1212
from pyk.kast.inner import KApply, KToken, KVariable
13-
from pyk.prelude.utils import token
13+
from pyk.kast.prelude.utils import token
1414

1515
from kevm_pyk.kevm import KEVM, KEVMSemantics, compute_jumpdests
1616

0 commit comments

Comments
 (0)