Skip to content

Commit

Permalink
Update dependency: deps/kevm_release (#167)
Browse files Browse the repository at this point in the history 
* deps/kevm_release: Set Version 1.0.348

* Set Version: 0.1.56

* Sync Poetry files: kevm-pyk version 1.0.348

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.349

* Sync Poetry files: kevm-pyk version 1.0.349

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.350

* Sync Poetry files: kevm-pyk version 1.0.350

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.351

* Set Version: 0.1.57

* Sync Poetry files: kevm-pyk version 1.0.351

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.352

* Sync Poetry files: kevm-pyk version 1.0.352

* deps/k_release: sync release file version 6.1.5

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.353

* Sync Poetry files: kevm-pyk version 1.0.353

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.354

* Sync Poetry files: kevm-pyk version 1.0.354

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.355

* Sync Poetry files: kevm-pyk version 1.0.355

* deps/k_release: sync release file version 6.1.7

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.58

* Move `use-booster`, `kore-rpc-command` to rpc args

* Sync Poetry files: kevm-pyk version 1.0.355

* Code formatting fix

* Set Version: 0.1.59

* deps/kevm_release: Set Version 1.0.356

* Sync Poetry files: kevm-pyk version 1.0.356

* deps/k_release: sync release file version 6.1.10

* flake.{nix,lock}: update Nix derivations

* Set Version: 0.1.62

* deps/kevm_release: Set Version 1.0.357

* Sync Poetry files: kevm-pyk version 1.0.357

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Everett Hildenbrandt <[email protected]>
Co-authored-by: palinatolmach <[email protected]>
  • Loading branch information
@rv-jenkins @ehildenb @palinatolmach
4 people authored Nov 15, 2023
1 parent df313d0 commit d75ef13
Show file tree
Hide file tree
Showing 10 changed files with 136 additions and 119 deletions.
2 changes: 1 addition & 1 deletion deps/k_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
6.1.1
6.1.10
2 changes: 1 addition & 1 deletion deps/kevm_release
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
1.0.347
1.0.357
117 changes: 57 additions & 60 deletions flake.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "Kontrol";

inputs = {
kevm.url = "github:runtimeverification/evm-semantics/v1.0.347";
kevm.url = "github:runtimeverification/evm-semantics/v1.0.357";
nixpkgs.follows = "kevm/nixpkgs";
nixpkgs-pyk.follows = "kevm/nixpkgs-pyk";
k-framework.follows = "kevm/k-framework";
Expand Down
2 changes: 1 addition & 1 deletion package/version
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.61
0.1.62
Loading

0 comments on commit d75ef13

Please sign in to comment.