Skip to content

Commit 71ee4b5

Browse files
rv-jenkinsrv-auditorehildenb
authored
Update dependency: deps/pyk_release (#1903)
* deps/pyk_release: Set Version v0.1.331 * Set Version: 1.0.210 * kevm-pyk/: sync poetry files pyk version v0.1.331 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.332 * kevm-pyk/: sync poetry files pyk version v0.1.332 * deps/k_release: sync release file version 5.6.129 * deps/k: sync K submodule version v5.6.129 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.333 * kevm-pyk/: sync poetry files pyk version v0.1.333 * deps/k_release: sync release file version 5.6.130 * deps/k: sync K submodule version v5.6.130 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.334 * kevm-pyk/: sync poetry files pyk version v0.1.334 * deps/k_release: sync release file version 5.6.131 * deps/k: sync K submodule version v5.6.131 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.335 * kevm-pyk/: sync poetry files pyk version v0.1.335 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.211 * kevm-pyk/: sync poetry files pyk version v0.1.335 * deps/pyk_release: Set Version v0.1.336 * kevm-pyk/: sync poetry files pyk version v0.1.336 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.337 * kevm-pyk/: sync poetry files pyk version v0.1.337 * deps/k_release: sync release file version 5.6.133 * deps/k: sync K submodule version v5.6.133 * flake.{nix,lock}: update Nix derivations * kevm-pyk/: adjust for new NodePrinter architecture * Makefile: formatting * kevm-pyk/: sync poetry files pyk version v0.1.337 * tests/foundry: update expected output * tests/specs/mcd/verification: remove proj attribute * kevm-pyk/: sync poetry files pyk version v0.1.337 * .github/*: update to macos-13 * deps/pyk_release: Set Version v0.1.338 * kevm-pyk/: sync poetry files pyk version v0.1.338 * flake.{nix,lock}: update Nix derivations * tests/specs: remove unknown attribute matching * deps/pyk_release: Set Version v0.1.340 * kevm-pyk/: sync poetry files pyk version v0.1.340 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.341 * Set Version: 1.0.212 * Set Version: 1.0.212 * kevm-pyk/: sync poetry files pyk version v0.1.341 * flake.{nix,lock}: update Nix derivations * kevm-pyk/{__main__,foundry}, Makefile: use pending/failing rather than frontier/stuck * kevm-pyk/{__main__,foundry}: switch from KCFGShow => APRProofShow * kevm-pyk/foundry: update for removed target/init nodes * deps/pyk_release: Set Version v0.1.342 * kevm-pyk/: sync poetry files pyk version v0.1.342 * flake.{nix,lock}: update Nix derivations * kevm-pyk/utils: update to use failing instead of stuck * tests/foundry: update expected output * deps/pyk_release: Set Version v0.1.343 * kevm-pyk/: sync poetry files pyk version v0.1.343 * flake.{nix,lock}: update Nix derivations * kevm-pyk/__main__: update to use APRProofViewer instead of KCFGViewer * kevm-pyk/: sync poetry files pyk version v0.1.343 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]>
1 parent 1d645eb commit 71ee4b5

49 files changed

Lines changed: 1743 additions & 1513 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎Makefile‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -499,7 +499,7 @@ tests/foundry/out/kompiled/foundry.k.prove: tests/foundry/out/kompiled/timestamp
499499
tests/foundry/out/kompiled/foundry.k.bmc-prove: tests/foundry/out/kompiled/timestamp
500500
$(KEVM) foundry-prove --foundry-project-root $(foundry_dir) \
501501
-j$(FOUNDRY_PAR) --no-simplify-init --max-depth 1000 \
502-
--bmc-depth 3 \
502+
--bmc-depth 3 \
503503
$(KEVM_OPTS) $(KPROVE_OPTS) \
504504
$(addprefix --test , $(shell cat tests/foundry/bmc-tests))
505505

@@ -515,7 +515,7 @@ foundry-fail: tests/foundry/out/kompiled/timestamp
515515
$(KEVM_OPTS) $(KPROVE_OPTS) \
516516
$(addprefix --test , $(foundry_diff_tests)) || true
517517

518-
foundry_show_opts := --to-module --omit-unstable-output --frontier --stuck --sort-collections
518+
foundry_show_opts := --to-module --omit-unstable-output --pending --failing --sort-collections
519519

520520
$(foundry_golden)/%.check: $(foundry_golden)/%.out
521521
$(CHECK) $(foundry_golden)/$*.out $(foundry_golden)/$*.expected

‎deps/k‎

Submodule k updated 241 files

‎deps/k_release‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
5.6.125
1+
5.6.133

‎deps/pyk_release‎

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

0 commit comments

Comments
 (0)