Skip to content

Commit dc6ce1a

Browse files
rv-jenkinsrv-auditorehildenb
authored
Update dependency: deps/pyk_release (#1440)
* deps/pyk_release: v0.1.35 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.36 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.37 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.40 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.43 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.46 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.50 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.51 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.52 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.53 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.54 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * kevm-pyk/: rename KEVM.execute() => KEVM.sharp_execute() * kevm-pyk/: adjust for new import structure * kevm-pyk/__main__: adjust kevm run --pyk to use new _krun method * kevm-pyk/*: minimize imports * kevm-pyk/__main__: correct way to get KRunOutput * kevm-pyk/__main__: correct type for definition_dir Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
1 parent 4843b4a commit dc6ce1a

File tree

9 files changed

+163
-221
lines changed

9 files changed

+163
-221
lines changed

‎deps/pyk_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
v0.1.34
1+
v0.1.54

‎flake.lock

Lines changed: 28 additions & 145 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
@@ -18,7 +18,7 @@
1818
"github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
1919
ethereum-legacytests.flake = false;
2020
haskell-backend.follows = "k-framework/haskell-backend";
21-
pyk.url = "github:runtimeverification/pyk/v0.1.34";
21+
pyk.url = "github:runtimeverification/pyk/v0.1.54";
2222
pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
2323
pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
2424

0 commit comments

Comments
 (0)