Skip to content

Commit 098070a

Browse files
rv-jenkinsrv-auditorPetar MaksimovicehildenbPetarMax
authored
Update dependency: deps/kevm_release (#812)
* deps/kevm_release: Set Version 1.0.712 * Sync Poetry files: kevm-pyk version 1.0.712 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.713 * Sync Poetry files: kevm-pyk version 1.0.713 * deps/k_release: sync release file version 7.1.136 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.714 * Sync Poetry files: kevm-pyk version 1.0.714 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.715 * Sync Poetry files: kevm-pyk version 1.0.715 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.716 * Sync Poetry files: kevm-pyk version 1.0.716 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.717 * Sync Poetry files: kevm-pyk version 1.0.717 * deps/k_release: sync release file version 7.1.139 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.718 * Sync Poetry files: kevm-pyk version 1.0.718 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.719 * Sync Poetry files: kevm-pyk version 1.0.719 * flake.{nix,lock}: update Nix derivations * removing chop reasoning that has been upstreamed * Sync Poetry files: kevm-pyk version 1.0.719 * deps/kevm_release: Set Version 1.0.720 * Sync Poetry files: kevm-pyk version 1.0.720 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.721 * Sync Poetry files: kevm-pyk version 1.0.721 * deps/k_release: sync release file version 7.1.142 * flake.{nix,lock}: update Nix derivations * Sync Poetry files: kevm-pyk version 1.0.721 * deps/kevm_release: Set Version 1.0.722 * Sync Poetry files: kevm-pyk version 1.0.722 * flake.{nix,lock}: update Nix derivations * clean-up of asWord-related simplifications * Sync Poetry files: kevm-pyk version 1.0.722 * Sync Poetry files: kevm-pyk version 1.0.722 * update expected output * deps/kevm_release: Set Version 1.0.724 * Sync Poetry files: kevm-pyk version 1.0.724 * deps/k_release: sync release file version 7.1.143 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.725 * Sync Poetry files: kevm-pyk version 1.0.725 * flake.{nix,lock}: update Nix derivations * some expected outputs * deps/kevm_release: Set Version 1.0.726 * Sync Poetry files: kevm-pyk version 1.0.726 * deps/k_release: sync release file version 7.1.145 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.727 * Sync Poetry files: kevm-pyk version 1.0.727 * flake.{nix,lock}: update Nix derivations * CSE and minimize tests * other expected outputs * different output --------- Co-authored-by: devops <[email protected]> Co-authored-by: Petar Maksimovic <[email protected]> Co-authored-by: Everett Hildenbrandt <[email protected]> Co-authored-by: Petar Maksimović <[email protected]> Co-authored-by: Andrei <[email protected]>
1 parent 55c9023 commit 098070a

File tree

50 files changed

+505
-423
lines changed

Some content is hidden

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

50 files changed

+505
-423
lines changed

‎deps/k_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.1.132
1+
7.1.145

‎deps/kevm_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
1.0.711
1+
1.0.727

‎flake.lock

Lines changed: 42 additions & 42 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.711";
5+
kevm.url = "github:runtimeverification/evm-semantics/v1.0.727";
66
nixpkgs.follows = "kevm/nixpkgs";
77
k-framework.follows = "kevm/k-framework";
88
flake-utils.follows = "kevm/flake-utils";

0 commit comments

Comments
 (0)