From 87ed054d3c5ec1be2882a2384326cc6f710e28ef Mon Sep 17 00:00:00 2001 From: Lev Livnev Date: Fri, 12 Jun 2020 00:00:17 +0100 Subject: [PATCH 1/3] bump evm-semantics to latest --- evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evm-semantics b/evm-semantics index 0bbee05f..1958128c 160000 --- a/evm-semantics +++ b/evm-semantics @@ -1 +1 @@ -Subproject commit 0bbee05fb3ce15e3313604ed3679e2c08d8e4c35 +Subproject commit 1958128c17a82821bd090083b4e91bf6ac70aa95 From 722d3abc70887209d731abe46eb5b411ddcb6a1a Mon Sep 17 00:00:00 2001 From: Lev Livnev Date: Fri, 12 Jun 2020 00:04:30 +0100 Subject: [PATCH 2/3] shell.nix: add which --- shell.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/shell.nix b/shell.nix index c68e2a6c..7031d113 100644 --- a/shell.nix +++ b/shell.nix @@ -36,6 +36,7 @@ pkgs.stdenv.mkDerivation { time unzip wget + which z3 zstd ]; From 97c62edaaa184a2b75fb1e09a693b347ebefc198 Mon Sep 17 00:00:00 2001 From: Lev Livnev Date: Sat, 13 Jun 2020 11:17:43 +0100 Subject: [PATCH 3/3] Makefile: recursively update submodules of evm-semantics --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 5382cafb..e03671c2 100644 --- a/Makefile +++ b/Makefile @@ -19,12 +19,12 @@ default: deps clean: rm -fdR out/* evm-semantics git submodule sync --recursive - git submodule update --init evm-semantics + git submodule update --init --recursive evm-semantics deps: deps-kevm deps-npm deps-kevm: - git submodule update --init evm-semantics + git submodule update --init --recursive evm-semantics cd evm-semantics \ && make k-deps tangle-deps -B \ && make build-java -B