Skip to content

Commit ea28adc

Browse files
rv-jenkinsrv-auditorehildenbBaltoli
authored
Update dependency: deps/pyk_release (#1527)
* deps/pyk_release: v0.1.93 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.95 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.96 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.97 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.98 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * kevm-pyk/gst_to_kore: simplify how chainid is expressed * kevm_pyk/__main__: use new upstream KCFGExplore class * Add fmt * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.99 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.100 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.101 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * deps/pyk_release: v0.1.102 * kevm-pyk/: sync poetry files * flake.{nix,lock}: update Nix derivations * .github/Dockerfile: update Foundry image used on CI Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
1 parent 4d8fd02 commit ea28adc

File tree

8 files changed

+208
-96
lines changed

8 files changed

+208
-96
lines changed

‎.github/workflows/Dockerfile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
ARG K_COMMIT
22
ARG Z3_VERSION
3-
FROM ghcr.io/foundry-rs/foundry:nightly-8fd5930c74d352bb8e8c7dffc3e7fd7839ecb535 as FOUNDRY
3+
FROM ghcr.io/foundry-rs/foundry:nightly-aeba75e4799f1e11e3daba98d967b83e286b0c4a as FOUNDRY
44

55
ARG K_COMMIT
66
ARG Z3_VERSION

‎deps/pyk_release

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

‎flake.lock

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

‎flake.nix

Lines changed: 2 additions & 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.92";
21+
pyk.url = "github:runtimeverification/pyk/v0.1.102";
2222
pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
2323
pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
2424

@@ -37,6 +37,7 @@
3737
clang
3838
llvmPackages.llvm
3939
cryptopp.dev
40+
fmt
4041
gmp
4142
# graphviz
4243
mpfr

0 commit comments

Comments
 (0)