From 381759fd829f9cafae423f059f7850745d1759f9 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 2 Nov 2020 23:20:09 +0000 Subject: [PATCH 001/116] deps/evm-semantics: 29c6e00 - Update dependency: deps/k (#912) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 5da8519..29c6e00 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 5da85195e74ca4e416e4e8218017be289af24e3a +Subproject commit 29c6e0058690ec0cc9648342a91da7d0bb7cf604 From 7ac4759d5482ab10d0bbd6416b93cd58998fc694 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 10 Nov 2020 06:20:14 +0000 Subject: [PATCH 002/116] deps/evm-semantics: 5c8249e - Update dependency: deps/k (#932) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 29c6e00..5c8249e 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 29c6e0058690ec0cc9648342a91da7d0bb7cf604 +Subproject commit 5c8249eff85bfa9967a6b5f068e3dfa39427a394 From 21178e7b0dc2a1813e5c68d6bd999cb8f918387d Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 11 Nov 2020 20:17:20 +0000 Subject: [PATCH 003/116] deps/evm-semantics: ee9e01e - Remove Web3 (#933) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 5c8249e..ee9e01e 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 5c8249eff85bfa9967a6b5f068e3dfa39427a394 +Subproject commit ee9e01eb83246f45867edf6ce10c59d5038e13f9 From 203f4459e7da65c85f6e532c0dae704a01126e3b Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 12 Nov 2020 20:15:46 +0000 Subject: [PATCH 004/116] deps/evm-semantics: 241ec10 - Update dependency: deps/plugin (#936) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index ee9e01e..241ec10 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit ee9e01eb83246f45867edf6ce10c59d5038e13f9 +Subproject commit 241ec10fcf51d7ab9cf15a89c5a280e11659a1c2 From ebe74f4a8b7349458cbff28ab6156440e8588858 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 12 Nov 2020 23:22:01 +0000 Subject: [PATCH 005/116] deps/evm-semantics: 11808d1 - Enable haskell backend on some more tests (#935) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 241ec10..11808d1 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 241ec10fcf51d7ab9cf15a89c5a280e11659a1c2 +Subproject commit 11808d1f722e39225ce1da1125d62a836f1f4d83 From 8bd02f32250bdd7643b7a5d52931ca37419d2630 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 13 Nov 2020 16:55:49 +0000 Subject: [PATCH 006/116] deps/evm-semantics: 1e512e3 - Update dependency: deps/k (#934) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 11808d1..1e512e3 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 11808d1f722e39225ce1da1125d62a836f1f4d83 +Subproject commit 1e512e3b1d32949be892f5906c20f49dfa5c1ab5 From 65970559bcc5aaeab8c200a919dc71258a339993 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 16 Nov 2020 18:14:30 +0000 Subject: [PATCH 007/116] deps/evm-semantics: 81fcf08 - deps/plugin: 5177aba - Common K functionality (#124) (#937) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 1e512e3..81fcf08 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 1e512e3b1d32949be892f5906c20f49dfa5c1ab5 +Subproject commit 81fcf0877f548f6aa7676f14cd2c9e38b3ef8a91 From 7fc1d5023608aa12f9d5cc333c25b35ab9e0f3a9 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 17 Nov 2020 01:21:57 +0000 Subject: [PATCH 008/116] deps/evm-semantics: 603a9c5 - Update dependency: deps/k (#938) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 81fcf08..603a9c5 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 81fcf0877f548f6aa7676f14cd2c9e38b3ef8a91 +Subproject commit 603a9c5a592646b3898c745607c4854673588ec9 From cf00129409f7ff18c2a476ed7e68692326312c28 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 24 Nov 2020 19:19:26 +0000 Subject: [PATCH 009/116] deps/evm-semantics: 6768346 - Generalized lemma for #asWord(BUF) >>Int N, for solc5 + ERC20 + constructor (#942) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 603a9c5..6768346 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 603a9c5a592646b3898c745607c4854673588ec9 +Subproject commit 6768346d0224677c5f983a3df1f3fb22a11c8b61 From 9a6833938b7dc4b4ab039516126adab4f22a3f81 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 2 Dec 2020 02:06:19 +0000 Subject: [PATCH 010/116] deps/evm-semantics: dec157a - Update dependency: deps/k (#939) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6768346..dec157a 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6768346d0224677c5f983a3df1f3fb22a11c8b61 +Subproject commit dec157ae521fa831663e1c71072466ffad4b2d50 From aa461608281319ec3022b7c5e360c5c0b59c8266 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 2 Dec 2020 14:05:30 +0000 Subject: [PATCH 011/116] deps/evm-semantics: 5320c1c - Switch JelloPaper website over to new website tech (#943) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index dec157a..5320c1c 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit dec157ae521fa831663e1c71072466ffad4b2d50 +Subproject commit 5320c1c65293df8a3f56c6b7cebfd410d2ea1432 From fb162fa11f70f0a6fed8bcbf5cece47c67d0e8a0 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Wed, 2 Dec 2020 18:32:10 +0000 Subject: [PATCH 012/116] algorithm-correctness: add needed simplification attributes --- algorithm-correctness/deposit-symbolic.k | 12 ++++++++++++ algorithm-correctness/imap.k | 4 ++-- 2 files changed, 14 insertions(+), 2 deletions(-) diff --git a/algorithm-correctness/deposit-symbolic.k b/algorithm-correctness/deposit-symbolic.k index 3b52247..7f334d1 100644 --- a/algorithm-correctness/deposit-symbolic.k +++ b/algorithm-correctness/deposit-symbolic.k @@ -18,21 +18,26 @@ rule tn(M, 0, I) => 0 requires I >Int M andBool isNat(M) andBool isNat(I) // andBool M <=Int 2 ^Int TREE_HEIGHT // andBool I <=Int 2 ^Int TREE_HEIGHT +[simplification] /* * By Equations 1 and 2. (\ref{eq:def:up}, \ref{eq:def:down}) */ rule up(0, M) => M requires true andBool isNat(M) +[simplification] rule down(0, M) => M requires true andBool isNat(M) +[simplification] rule down(K, M) /Int 2 => down(K +Int 1, M) requires true andBool isNat(K) andBool isNat(M) +[simplification] rule up(H, M) => 1 requires M <=Int 2 ^Int H andBool isNat(H) andBool isNat(M) +[simplification] /* * Lemma 8 (Contract Invariant). @@ -61,6 +66,7 @@ rule hash(Branch[K], tn(M, K, up(K, M +Int 1))) => tn(M, K +Int 1, up(K +Int 1, andBool isNat(K) andBool isNat(M) // andBool K tn(M, K +Int 1, up(K +Int 1, andBool isNat(K) andBool isNat(M) // andBool K tn(M, I +Int 1, down(I +Int 1, M)) andBool isNat(I) andBool isNat(M) // andBool I true andBool isNat(I) andBool isNat(M) // andBool I true requires isValidBranch(B, M -Int 1) @@ -105,11 +114,13 @@ rule isValidBranch(B[I <- tn(M, I, down(I, M))], M) => true andBool isNat(I) andBool isNat(M) // andBool I 1 // requires M Int 0 +//[simplification] /* * By Equation 2. (\ref{eq:def:down}) @@ -120,5 +131,6 @@ rule (2 ^Int (I +Int 1)) *Int down(I +Int 1, M) => M andBool isNat(I) andBool isNat(M) // andBool I V requires K0 ==Int K - rule M [ K0 <- V ] [ K ] => M [ K ] requires K0 =/=Int K + rule M [ K0 <- V ] [ K ] => V requires K0 ==Int K [simplification] + rule M [ K0 <- V ] [ K ] => M [ K ] requires K0 =/=Int K [simplification] // rule .IMap [ _ ] => 0 // syntax IntMap From accb12eda07fa471832382ae95c4b1205a22bac6 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 8 Dec 2020 17:14:38 +0000 Subject: [PATCH 013/116] deps/evm-semantics: 854c7c9 - Use k-web-theme submodule (#944) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 5320c1c..854c7c9 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 5320c1c65293df8a3f56c6b7cebfd410d2ea1432 +Subproject commit 854c7c9642e4226f598b1bd33ae09eba5317c785 From 64ff5e0cae9b1d29779c5987ef27cfaf8577a3a7 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 11 Dec 2020 22:07:26 +0000 Subject: [PATCH 014/116] deps/evm-semantics: 3346a7c - deps/plugin: d14b053 - plugin-c/json.cpp: Buffered FDStream (#126) (#947) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 854c7c9..3346a7c 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 854c7c9642e4226f598b1bd33ae09eba5317c785 +Subproject commit 3346a7ceb3f64c22c2bd177aba8f83a7e3b5a31c From 3f8c2c4b8df690fc1cdf3372d582e744eee20289 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 14 Dec 2020 21:31:06 +0000 Subject: [PATCH 015/116] deps/evm-semantics: 6a352b3 - Updates to infinite gas abstraction (#945) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 3346a7c..6a352b3 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 3346a7ceb3f64c22c2bd177aba8f83a7e3b5a31c +Subproject commit 6a352b3b4676810fc32038bb2ada5aff9b9180d3 From 8a855033d953c1b912440eaf0e5ccc4db51c134b Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 15 Dec 2020 12:58:09 +0000 Subject: [PATCH 016/116] deps/evm-semantics: dd69067 - Lemma for simplifying out vat-subui chop expression (#949) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6a352b3..dd69067 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6a352b3b4676810fc32038bb2ada5aff9b9180d3 +Subproject commit dd69067e0adea033dae889c60db03ba5a8a53735 From 0811a9877364cb8fc05b1ad9ee6a4ab5b3fdb500 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 16 Dec 2020 05:02:20 +0000 Subject: [PATCH 017/116] deps/evm-semantics: 325c1e2 - WordPack abstraction for Solidity-packed structs (#948) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index dd69067..325c1e2 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit dd69067e0adea033dae889c60db03ba5a8a53735 +Subproject commit 325c1e2b63f0c70e6f17fc1330e9450e1d6bb3ed From 23f1451410d4be62e6bc90257a36293edf2e3dda Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 16 Dec 2020 20:05:34 +0000 Subject: [PATCH 018/116] deps/evm-semantics: 48afdfa - fix: Fixed the Jenkins gh-pages build (#951) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 325c1e2..48afdfa 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 325c1e2b63f0c70e6f17fc1330e9450e1d6bb3ed +Subproject commit 48afdfa4c0cd5d06abc3d2d0d54d4677acd99443 From 44976ff6f8278d0a3bffcb3189236a8bf77d269e Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 8 Jan 2021 21:30:30 +0000 Subject: [PATCH 019/116] deps/evm-semantics: f38adeb - Improved infinite gas reasoning (#952) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 48afdfa..f38adeb 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 48afdfa4c0cd5d06abc3d2d0d54d4677acd99443 +Subproject commit f38adebcca047f1687e37891a251a4c982da491a From 6aac5cf4f71496705571b350eb057b934849c358 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 11 Jan 2021 20:57:57 +0000 Subject: [PATCH 020/116] deps/evm-semantics: fda5167 - MKR regression proofs (#954) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index f38adeb..fda5167 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit f38adebcca047f1687e37891a251a4c982da491a +Subproject commit fda51670b14d3f9ac94b65e6f36103af70352e16 From 899065191cdf9282a228f2beb40a71912c1ccadd Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 12 Jan 2021 09:19:53 +0000 Subject: [PATCH 021/116] deps/evm-semantics: eaa40f1 - Update dependency: deps/k (#950) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index fda5167..eaa40f1 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit fda51670b14d3f9ac94b65e6f36103af70352e16 +Subproject commit eaa40f1fee4091905dfb7e8308a943c2c9176488 From d5c7e1752687dfadb0f815a335ba680b6a0d7614 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 12 Jan 2021 22:24:17 +0000 Subject: [PATCH 022/116] deps/evm-semantics: d990192 - tests/specs/mcd: update to latest versions of specs (#957) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index eaa40f1..d990192 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit eaa40f1fee4091905dfb7e8308a943c2c9176488 +Subproject commit d9901929b6dfde82d60ec9043ba5b5aa2f9b00d1 From c9e02b30fc765b8b58e14e8d478e30983fb8993a Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 15 Jan 2021 17:40:40 +0000 Subject: [PATCH 023/116] deps/evm-semantics: b613ac4 - Implement #loadProgram ByteArray --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index d990192..b613ac4 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit d9901929b6dfde82d60ec9043ba5b5aa2f9b00d1 +Subproject commit b613ac431fa0e6d7d73ed51bd5cf903a51b9b8ce From 3155496eaa72cae776b677aba06a57ed197a96bf Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 15 Jan 2021 21:05:16 +0000 Subject: [PATCH 024/116] deps/evm-semantics: 64366e5 - Add missing opcodes in #asmOpCodes --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index b613ac4..64366e5 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit b613ac431fa0e6d7d73ed51bd5cf903a51b9b8ce +Subproject commit 64366e5daf7a313e849e752c48df3ef9144a8f31 From 7484732d0fe5ada6ebc33ca4638b94f65d93b571 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 16 Jan 2021 02:44:43 +0000 Subject: [PATCH 025/116] deps/evm-semantics: 26c1c3d - Update dependency: deps/plugin --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 64366e5..26c1c3d 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 64366e5daf7a313e849e752c48df3ef9144a8f31 +Subproject commit 26c1c3dd846c810fdea3372b89b7c927d3f3836a From d13e58d64a838fb2954e030f07f407cdf28cbd95 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 18 Jan 2021 21:13:04 +0000 Subject: [PATCH 026/116] deps/evm-semantics: a972045 - Update plugin submodule --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 26c1c3d..a972045 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 26c1c3dd846c810fdea3372b89b7c927d3f3836a +Subproject commit a972045df736bcbc336569b76b5e0ef5b5aec7e2 From b25d559843521fd50d6b7099ed63b45104a21afd Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 19 Jan 2021 05:45:45 +0000 Subject: [PATCH 027/116] deps/evm-semantics: 14abf5b - Update dependency: web/k-web-theme --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index a972045..14abf5b 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit a972045df736bcbc336569b76b5e0ef5b5aec7e2 +Subproject commit 14abf5bc5077da1900c46d125cf4f853f40f7fb5 From 2f29139a31b97071abb29d9c0082523c0d667d2a Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 9 Feb 2021 22:52:16 +0000 Subject: [PATCH 028/116] deps/evm-semantics: 07d47c9 - Make the lemmas for MCD proofs modular --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 14abf5b..07d47c9 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 14abf5bc5077da1900c46d125cf4f853f40f7fb5 +Subproject commit 07d47c9e500ac754649ac89885353d246f01d7af From ba7ef2258bb7b2aa08fce73f8764b61bc320b27c Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 11 Feb 2021 14:30:20 +0000 Subject: [PATCH 029/116] deps/evm-semantics: 8e885af - edsl: Workaround to make #buf act like [functional] --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 07d47c9..8e885af 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 07d47c9e500ac754649ac89885353d246f01d7af +Subproject commit 8e885af2bd4a520c4436312bfde5a9f8ca6bb745 From 9b1531404f9f66a2575a9af9cb1b6ebacb433f6b Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 11 Feb 2021 21:33:35 +0000 Subject: [PATCH 030/116] deps/evm-semantics: 6572d0e - Make G0 rules tail recursive --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 8e885af..6572d0e 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 8e885af2bd4a520c4436312bfde5a9f8ca6bb745 +Subproject commit 6572d0e714b28df04a6e1dfeb873e61a02bcb7d9 From 2d6e5f47592c9de33cfff93e7b872fd5dd31d025 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 18 Feb 2021 18:40:07 +0000 Subject: [PATCH 031/116] deps/evm-semantics: 6daec66 - fixed issue with kevm removing --debug flag before it is passed to the frontend --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6572d0e..6daec66 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6572d0e714b28df04a6e1dfeb873e61a02bcb7d9 +Subproject commit 6daec6690c7241a86bc2fca32830d09eeeaa6256 From 0df876c93eafd8772a81f6c5ef6c4b8f8c8a7fb6 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 25 Feb 2021 03:36:04 +0000 Subject: [PATCH 032/116] deps/evm-semantics: a86d05c - Update dependency: deps/k (#963) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6daec66..a86d05c 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6daec6690c7241a86bc2fca32830d09eeeaa6256 +Subproject commit a86d05c1810a713007754fad20644d4d1447dd36 From 2d13e99f336e772b003134b31854054571e763d6 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 26 Feb 2021 18:30:49 +0000 Subject: [PATCH 033/116] deps/evm-semantics: 4b70be7 - Enable more tests on Haskell backend --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index a86d05c..4b70be7 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit a86d05c1810a713007754fad20644d4d1447dd36 +Subproject commit 4b70be7aa81b8ad80a9d35d486113d72d0503289 From 83e0dd75913f2d9815576ecb3463a26ad9027865 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 4 Mar 2021 18:24:47 +0000 Subject: [PATCH 034/116] deps/evm-semantics: de25fb0 - Package KEVM with bundled K install --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 4b70be7..de25fb0 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 4b70be7aa81b8ad80a9d35d486113d72d0503289 +Subproject commit de25fb01662f4601fec04e24fe7a34b2069ece3b From 850609879a958360a6eb11f32e858261a2c754fd Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 4 Mar 2021 23:03:01 +0000 Subject: [PATCH 035/116] deps/evm-semantics: 425dfab - Jenkinsfile: failure messages to slack --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index de25fb0..425dfab 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit de25fb01662f4601fec04e24fe7a34b2069ece3b +Subproject commit 425dfab392e188338d2950c67652387b24ad777f From 089fa0ddfc2b74520ca55379b73e191f4c0f3eb8 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 8 Mar 2021 20:58:24 +0000 Subject: [PATCH 036/116] deps/evm-semantics: 270d4f7 - Fixed the documentation website footer --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 425dfab..270d4f7 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 425dfab392e188338d2950c67652387b24ad777f +Subproject commit 270d4f701cd0da6f9305a3a115852c25b15d6541 From e7740798944ce7cfe6869536c85bb71b8a3f35fc Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 9 Mar 2021 02:05:40 +0000 Subject: [PATCH 037/116] deps/evm-semantics: c052cc1 - Fix issue with associative arrays in bash 3.2 --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 270d4f7..c052cc1 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 270d4f701cd0da6f9305a3a115852c25b15d6541 +Subproject commit c052cc15ec9af7489d66a16a6dfada09f0f83989 From 029af93314c05c6907a831d61661add29f0aa172 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 9 Mar 2021 19:15:24 +0000 Subject: [PATCH 038/116] deps/evm-semantics: c028487 - Update dependency: deps/k --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index c052cc1..c028487 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit c052cc15ec9af7489d66a16a6dfada09f0f83989 +Subproject commit c028487c2d8824a8f257047816d836ed66867d88 From d64327eb59695da2fafc51c4c1598e4205f00aac Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 11 Mar 2021 18:09:09 +0000 Subject: [PATCH 039/116] deps/evm-semantics: 6b360e2 - Update dependency: web/k-web-theme (#969) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index c028487..6b360e2 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit c028487c2d8824a8f257047816d836ed66867d88 +Subproject commit 6b360e2475116db8ea8097a7a38afcc2f915c6f0 From b644b2a8f15924fbb9c79ccd20b1522dc663e61f Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 11 Mar 2021 22:07:12 +0000 Subject: [PATCH 040/116] deps/evm-semantics: fb50e89 - Include common lemma files in installed package (#978) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6b360e2..fb50e89 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6b360e2475116db8ea8097a7a38afcc2f915c6f0 +Subproject commit fb50e89e5902cd984df8f8186b2710d1079dd67a From 3e6027d4a5ad9cb2903018751f07476d3cd92502 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 27 Mar 2021 00:04:48 +0000 Subject: [PATCH 041/116] deps/evm-semantics: a722151 - Cleanups to ceil32 use, smt-preludes (#983) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index fb50e89..a722151 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit fb50e89e5902cd984df8f8186b2710d1079dd67a +Subproject commit a7221515abca189751839df253e040717630d4e3 From 39df04da763b98d59d445b89c89d488ccd38cb96 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 31 Mar 2021 21:45:34 +0000 Subject: [PATCH 042/116] deps/evm-semantics: 086101c7 - Update dependency: web/k-web-theme (#981) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index a722151..086101c 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit a7221515abca189751839df253e040717630d4e3 +Subproject commit 086101c7e4a5801f2977a781aacda33698f2ebe4 From ac24e30c16ebe0fe1aadc82666eb7cd6502bb3dd Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 2 Apr 2021 21:15:16 +0000 Subject: [PATCH 043/116] deps/evm-semantics: a3338178 - kevm runner script updates (#985) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 086101c..a333817 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 086101c7e4a5801f2977a781aacda33698f2ebe4 +Subproject commit a33381787ab4f25598136cdff34ee60e31ae5346 From 0a9dceb513c83668a4f6531ee9f2824094b80de3 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 6 Apr 2021 01:39:02 +0000 Subject: [PATCH 044/116] deps/evm-semantics: c9809ba9 - Focal package and Dockerhub images (#986) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index a333817..c9809ba 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit a33381787ab4f25598136cdff34ee60e31ae5346 +Subproject commit c9809ba976e8f31e51d82f15b2b0dfbcc212cd91 From 410e4ffb59f2052eb0718cb20edd2cbe080d7269 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 10 Apr 2021 22:32:35 +0000 Subject: [PATCH 045/116] deps/evm-semantics: 589a4d84 - Improve SEO and fixed few broken links (#982) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index c9809ba..589a4d8 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit c9809ba976e8f31e51d82f15b2b0dfbcc212cd91 +Subproject commit 589a4d8496e69904e5e478866c95348acb7e337f From ed962a1217fc5fa80090ab4e171b1607a3bf7cd8 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 14 Apr 2021 02:25:08 +0000 Subject: [PATCH 046/116] deps/evm-semantics: 5e346827 - KEVM runner script can kompile (#989) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 589a4d8..5e34682 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 589a4d8496e69904e5e478866c95348acb7e337f +Subproject commit 5e3468271f590ba4e2c141db610913a385594714 From 8125a1d1f77ff337245398892ca247e1caad387e Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 17 Apr 2021 20:05:12 +0000 Subject: [PATCH 047/116] deps/evm-semantics: 1134fd7 - Update dependency: deps/k (#980) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 5e34682..1134fd7 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 5e3468271f590ba4e2c141db610913a385594714 +Subproject commit 1134fd703cceb7eead074ca94d61bf9225979704 From 028ee777f0d6c40ed35f4cd34995c08cf54dd210 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 27 Apr 2021 16:36:47 +0000 Subject: [PATCH 048/116] deps/evm-semantics: 060c901 - kevm: allowing passing K options through to Makefile KEVM (#992) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 1134fd7..060c901 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 1134fd703cceb7eead074ca94d61bf9225979704 +Subproject commit 060c90113fd79c69e10edc7adaad8b82ba87d555 From 49797e44ca04331d5c1992be3d6d74c3c42bc78f Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 12 May 2021 21:05:16 +0000 Subject: [PATCH 049/116] deps/evm-semantics: 0cd73705 - Update dependency: deps/k (#990) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 060c901..0cd7370 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 060c90113fd79c69e10edc7adaad8b82ba87d555 +Subproject commit 0cd737052c5d7d8e84617a3dd32d922891c2fb62 From 15416c3536f456412d7df7f9eb803f8ad34b2d26 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 17 May 2021 17:04:18 +0000 Subject: [PATCH 050/116] deps/evm-semantics: a7908e20 - Update dependency: deps/k (#997) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 0cd7370..a7908e2 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 0cd737052c5d7d8e84617a3dd32d922891c2fb62 +Subproject commit a7908e20c0d56c85f022020379296034abd38987 From 6ee8b89a1b342db5cf2daabe18e4bd6995956f84 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 3 Jun 2021 06:57:41 +0000 Subject: [PATCH 051/116] deps/evm-semantics: 53abcc89 - macos-friendly translation of `install -D` (#1017) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index a7908e2..53abcc8 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit a7908e20c0d56c85f022020379296034abd38987 +Subproject commit 53abcc898167f4fe327185da55f762b5d5cc297c From 3e3028527dee1f5d592560bb699efe089945b793 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 3 Jun 2021 11:30:37 +0000 Subject: [PATCH 052/116] deps/evm-semantics: 1d424c9c - Cleanups for automatic optimizer (#1003) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 53abcc8..1d424c9 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 53abcc898167f4fe327185da55f762b5d5cc297c +Subproject commit 1d424c9cad1e4928ac7d7906380490e91d859202 From 7df3b0ad4555e3fa7acdd43f61aaa85d2e7e3a68 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 3 Jun 2021 15:34:10 +0000 Subject: [PATCH 053/116] deps/evm-semantics: 50c609de - Fix bytes abstraction (#1016) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 1d424c9..50c609d 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 1d424c9cad1e4928ac7d7906380490e91d859202 +Subproject commit 50c609de3fc947b9f81c59a21020e57eb144b6b6 From 11c0dcd54d021e5c7a980d42a26022b9f3520db4 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 4 Jun 2021 02:32:17 +0000 Subject: [PATCH 054/116] deps/evm-semantics: 1ecbb185 - Update dependency: deps/k (#1001) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 50c609d..1ecbb18 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 50c609de3fc947b9f81c59a21020e57eb144b6b6 +Subproject commit 1ecbb1855d0d8a0e36a8be7d3a0c67964f1a13a2 From b9a37298dcebfb703429f38607dcb77c56daf2f1 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 7 Jun 2021 21:07:17 +0000 Subject: [PATCH 055/116] deps/evm-semantics: f18b77da - Port tests/spec/benchmarks/encode-keccak00-spec.k to Haskell backend (#1021) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 1ecbb18..f18b77d 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 1ecbb1855d0d8a0e36a8be7d3a0c67964f1a13a2 +Subproject commit f18b77da5742f956e0e9077d50ca8081ffd07c9c From 3128c65151807fbb70ae2f3b2b9e4ebfce17f818 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 8 Jun 2021 05:32:40 +0000 Subject: [PATCH 056/116] deps/evm-semantics: 77e902ee - powbytelen abstraction (#1030) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index f18b77d..77e902e 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit f18b77da5742f956e0e9077d50ca8081ffd07c9c +Subproject commit 77e902ee61d63aff1829effa136c6b130feec911 From 2f080bfc483ffc50a8de06654e4b822535001033 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 9 Jun 2021 21:08:59 +0000 Subject: [PATCH 057/116] deps/evm-semantics: 05f723d8 - Reduce ceil32 to up/Int (#1031) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 77e902e..05f723d 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 77e902ee61d63aff1829effa136c6b130feec911 +Subproject commit 05f723d8d1c522b6a079112ef30ea9922876207b From 52eaf9d16869769fe93502937ddfd0bced05e9e0 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 12 Jun 2021 07:02:18 +0000 Subject: [PATCH 058/116] deps/evm-semantics: 774d6f12 - More tests now pass, some removed from `failing-symbolic.haskell` (#1041) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 05f723d..774d6f1 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 05f723d8d1c522b6a079112ef30ea9922876207b +Subproject commit 774d6f12d256bc590be4990fd5de501c9b2bf5fd From 108435cc0c099d12ff5b0bdec366e8f78f3a16e9 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 23 Jun 2021 15:53:04 +0000 Subject: [PATCH 059/116] deps/evm-semantics: 3b8487f6 - Switch entire repo to Ubuntu focal (#1055) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 774d6f1..3b8487f 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 774d6f12d256bc590be4990fd5de501c9b2bf5fd +Subproject commit 3b8487f6b742cb63404c0857ddbfe5add8272b7e From 4e1c0ccaa08497986d80d6d08629737e36aef1a5 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 24 Jun 2021 01:39:58 +0000 Subject: [PATCH 060/116] deps/evm-semantics: 4de25533 - Simplify Concrete ByteArrays on Haskell Backend (#1067) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 3b8487f..4de2553 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 3b8487f6b742cb63404c0857ddbfe5add8272b7e +Subproject commit 4de25533a42a12d46bc8d45cc76f6612770c9158 From ab1c866c97cee0bc3c7a108e501b96a046f8fdb2 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 26 Jun 2021 01:43:55 +0000 Subject: [PATCH 061/116] deps/evm-semantics: 5dae047b - Update README.md with up-to-date advice for developers (#1069) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 4de2553..5dae047 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 4de25533a42a12d46bc8d45cc76f6612770c9158 +Subproject commit 5dae047bd977e2fa8fa90019cec539d33ddd0271 From fc67084f9033a2945ea7c612d0246555c5056971 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sun, 27 Jun 2021 21:07:01 +0000 Subject: [PATCH 062/116] deps/evm-semantics: 9d1b095f - Prune lemmas that refer to `#take` and `#drop` (#1068) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 5dae047..9d1b095 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 5dae047bd977e2fa8fa90019cec539d33ddd0271 +Subproject commit 9d1b095f60a9aa2c2d5c2c8ea729cdf5c2839a4a From 5f5a9c1091f434c35823ba1f555ed025422073fa Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 9 Jul 2021 08:18:35 +0000 Subject: [PATCH 063/116] deps/evm-semantics: 8d2ee2bb - Organize lemmas (#1072) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 9d1b095..8d2ee2b 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 9d1b095f60a9aa2c2d5c2c8ea729cdf5c2839a4a +Subproject commit 8d2ee2bb5b8b31a67160fb4e242e4418ba6eced1 From fa23602d79746df32e06f0addc7b67fb84842641 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 9 Jul 2021 12:52:44 +0000 Subject: [PATCH 064/116] deps/evm-semantics: aac43b0f - Update dependency: deps/k (#1019) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 8d2ee2b..aac43b0 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 8d2ee2bb5b8b31a67160fb4e242e4418ba6eced1 +Subproject commit aac43b0f1e712ff8a1e3b37e4b840e771333e093 From 1ebe1620e4d243386dc15e2cc597981a9ab79687 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 12 Jul 2021 22:21:52 +0000 Subject: [PATCH 065/116] deps/evm-semantics: f94ce17b - Focal packaging fix (#1080) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index aac43b0..f94ce17 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit aac43b0f1e712ff8a1e3b37e4b840e771333e093 +Subproject commit f94ce17bc51e05d6b4f0530a0c565f23773714a4 From 85cc396174b826615df99f06e28d2d95a08dac31 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 15 Jul 2021 20:31:20 +0000 Subject: [PATCH 066/116] deps/evm-semantics: 2daec507 - Add page ToC (#1085) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index f94ce17..2daec50 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit f94ce17bc51e05d6b4f0530a0c565f23773714a4 +Subproject commit 2daec5074bdc48624e5a570401092f839fc6883c From 162a219ee956be95d75a6547a40b751d81369f4c Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 21 Jul 2021 00:37:33 +0000 Subject: [PATCH 067/116] deps/evm-semantics: 6f0fce04 - Disable Haskell (dry run) Tests (#1089) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 2daec50..6f0fce0 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 2daec5074bdc48624e5a570401092f839fc6883c +Subproject commit 6f0fce04d526586b09aa17dba3f86b51748b893e From 7751bbd4285bc49d72c9450955455e03c920edc0 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 21 Jul 2021 04:46:56 +0000 Subject: [PATCH 068/116] deps/evm-semantics: c2459107 - Add --profile Option to kevm Script (#1060) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6f0fce0..c245910 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6f0fce04d526586b09aa17dba3f86b51748b893e +Subproject commit c245910717437712a5f541ee7e505e676d12c9ec From 9e018653717b2caa8d0252fd29370d519c33b21c Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 5 Aug 2021 21:50:23 +0000 Subject: [PATCH 069/116] deps/evm-semantics: 0407cb52 - Jenkinsfile: correct release process (#1105) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index c245910..0407cb5 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit c245910717437712a5f541ee7e505e676d12c9ec +Subproject commit 0407cb52d6ce03c102ae96ac05c6d7848ce31dab From dd589f8d57453bbd2ada7f927484d1dc6e677ceb Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 6 Aug 2021 10:59:08 +0000 Subject: [PATCH 070/116] deps/evm-semantics: b71540ee - Makefile: include lemmas in package (#1106) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 0407cb5..b71540e 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 0407cb52d6ce03c102ae96ac05c6d7848ce31dab +Subproject commit b71540ee431cfe4ae049dde14e496aada1f8bb59 From 1362cc951e95fbe8e1ef51913f18dba03db72021 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 7 Aug 2021 19:29:47 +0000 Subject: [PATCH 071/116] deps/evm-semantics: f395d985 - Pull out int-simplification (#1097) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index b71540e..f395d98 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit b71540ee431cfe4ae049dde14e496aada1f8bb59 +Subproject commit f395d985ffc005958a89e7385a4874b5d9d6a6e9 From b75209cca7273ed5f2c8d23e9092b02824bd5d47 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 9 Aug 2021 14:59:44 +0000 Subject: [PATCH 072/116] deps/evm-semantics: 8a07c45c - Update dependency: web/k-web-theme (#1110) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index f395d98..8a07c45 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit f395d985ffc005958a89e7385a4874b5d9d6a6e9 +Subproject commit 8a07c45ca7b6d571cc114e8d9a38b612222f223f From eee1cc7f458df013acd00cc248bec50a604b38a1 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 11 Aug 2021 16:32:02 +0000 Subject: [PATCH 073/116] deps/evm-semantics: 317b9d81 - Update dependency: deps/k (#1107) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 8a07c45..317b9d8 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 8a07c45ca7b6d571cc114e8d9a38b612222f223f +Subproject commit 317b9d8178b57904b8894cb1fd75532e765bb8ae From d13c8c7dec470572796bea70de684c4dcb48045a Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 11 Aug 2021 20:57:28 +0000 Subject: [PATCH 074/116] deps/evm-semantics: 3057216a - Switch all proofs away from old segmented gas model (#1109) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 317b9d8..3057216 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 317b9d8178b57904b8894cb1fd75532e765bb8ae +Subproject commit 3057216a2dec83b4e064cfa30208e67143e99bc0 From e8a0e1bbc62c713bb579b8af015021064b5a5d49 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 17 Aug 2021 18:59:06 +0000 Subject: [PATCH 075/116] deps/evm-semantics: 2abeb23e - Remove trusted claims in semantics modules (#1113) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 3057216..2abeb23 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 3057216a2dec83b4e064cfa30208e67143e99bc0 +Subproject commit 2abeb23e05b13937d880ea8db6a9441aaed0b150 From da464933d1289b8e83b7f91c83ba0bb0beb6b9fa Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 18 Aug 2021 02:56:26 +0000 Subject: [PATCH 076/116] deps/evm-semantics: 43779361 - make implicit imports explicit (#1112) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 2abeb23..4377936 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 2abeb23e05b13937d880ea8db6a9441aaed0b150 +Subproject commit 43779361f8cc39287c44f186b97172663de9c2cb From 1a6948e6e7ed8664eec51b9480f07dc474ec0439 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 18 Aug 2021 16:28:32 +0000 Subject: [PATCH 077/116] deps/evm-semantics: 4be916ab - Update dependency: deps/k (#1111) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 4377936..4be916a 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 43779361f8cc39287c44f186b97172663de9c2cb +Subproject commit 4be916ab608629801f22c23429b98161a8f801e2 From 721972e38e3c0967374bd4a136d4cdeac0b5ef84 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 19 Aug 2021 02:04:57 +0000 Subject: [PATCH 078/116] deps/evm-semantics: 01a4ae83 - tests/failing-symbolic.haskell: enable more tests (#1117) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 4be916a..01a4ae8 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 4be916ab608629801f22c23429b98161a8f801e2 +Subproject commit 01a4ae8387a370ec40ca05ecdeae8eaf6646ab27 From 94ae763941d2a91b60549ba840313aab6e0ca6cb Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 20 Aug 2021 03:34:37 +0000 Subject: [PATCH 079/116] deps/evm-semantics: 7ad58877 - Update dependency: deps/k (#1119) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 01a4ae8..7ad5887 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 01a4ae8387a370ec40ca05ecdeae8eaf6646ab27 +Subproject commit 7ad588779b7c61b5a84967736655a20e2037ce7e From 21966e5aaeea9535c493a89908c1609f4659dfc2 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 24 Aug 2021 21:28:04 +0000 Subject: [PATCH 080/116] deps/evm-semantics: 81a1ee61 - Switch to using kprovex (#1116) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 7ad5887..81a1ee6 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 7ad588779b7c61b5a84967736655a20e2037ce7e +Subproject commit 81a1ee61b3d0c80d98b808059470c94be30921a9 From 5a23795a8548fd60f7eab59e9a544c9e0e25fa0e Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 26 Aug 2021 12:46:47 +0000 Subject: [PATCH 081/116] deps/evm-semantics: 7a98f866 - Update dependency: web/k-web-theme (#1122) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 81a1ee6..7a98f86 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 81a1ee61b3d0c80d98b808059470c94be30921a9 +Subproject commit 7a98f86646c796196a6ed113f428d082028406e9 From 99ec1f8d8c5a11ca7989982baae63c4c930b2ed9 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 30 Aug 2021 17:15:47 +0000 Subject: [PATCH 082/116] deps/evm-semantics: de459bd9 - Simplification rule for overflowing additions. (#1102) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 7a98f86..de459bd 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 7a98f86646c796196a6ed113f428d082028406e9 +Subproject commit de459bd94b0dad6ff3e88a5345d7c7c734a73c1b From 95671facc04e3abe1c7877d137df4cac7172afe4 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 30 Aug 2021 21:47:31 +0000 Subject: [PATCH 083/116] deps/evm-semantics: c4c82f16 - Update dependency: deps/k (#1120) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index de459bd..c4c82f1 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit de459bd94b0dad6ff3e88a5345d7c7c734a73c1b +Subproject commit c4c82f16abbe1714872dd2b0c34fe354be1fef51 From d72af2ae996ba8d5889cdb6c3ff8a01ad6096acb Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 31 Aug 2021 19:15:32 +0000 Subject: [PATCH 084/116] deps/evm-semantics: 2e4e6af4 - Fix Makefile and kevm script for building on MacOS BigSur (#1090) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index c4c82f1..2e4e6af 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit c4c82f16abbe1714872dd2b0c34fe354be1fef51 +Subproject commit 2e4e6af406b33f308e4a9593c924d0b5aac1bcd1 From 981e41bad0ee634d2f598504a46b9eab5a13da92 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 2 Sep 2021 10:42:25 +0000 Subject: [PATCH 085/116] deps/evm-semantics: 10137c79 - tests/failing-symbolic.haskell: more passing tests (#1125) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 2e4e6af..10137c7 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 2e4e6af406b33f308e4a9593c924d0b5aac1bcd1 +Subproject commit 10137c792042e73c0a189e4bd3b29cc386409f0a From 8b4ac20d8699db4604d8eb78ec29e3d8977f9cf5 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 8 Sep 2021 21:21:12 +0000 Subject: [PATCH 086/116] deps/evm-semantics: 0bb921e4 - Fix release process, uniform use of --debugger (#1127) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 10137c7..0bb921e 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 10137c792042e73c0a189e4bd3b29cc386409f0a +Subproject commit 0bb921e4549bea9f3a4461fc2660d657b26c12ad From 17fa8a62e9b99aeaa37b611327880f37bd70e728 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 9 Sep 2021 18:43:45 +0000 Subject: [PATCH 087/116] deps/evm-semantics: 249e38ca - Update dependency: deps/k (#1126) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 0bb921e..249e38c 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 0bb921e4549bea9f3a4461fc2660d657b26c12ad +Subproject commit 249e38caf21c5c2361348f274a658d7a995d1885 From 9bd7a02ecb66f46e51b0650629a3302e0e8690e4 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 13 Sep 2021 15:22:13 +0000 Subject: [PATCH 088/116] deps/evm-semantics: 446aa88f - Integer equality simplification for Haskell backend (#1129) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 249e38c..446aa88 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 249e38caf21c5c2361348f274a658d7a995d1885 +Subproject commit 446aa88f736221bb921b245e0022fc0e6fb2d15a From a5f1c2b888cad6119353d1e749b99fd03c7682df Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 14 Oct 2021 16:31:32 +0000 Subject: [PATCH 089/116] deps/evm-semantics: 739ee2c3 - Fix release process (#1143) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 446aa88..739ee2c 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 446aa88f736221bb921b245e0022fc0e6fb2d15a +Subproject commit 739ee2c30cb8a90cbbcecf3aff854af857749783 From 3152b83cd756f73353e8d2ebce93e985efeb6294 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 18 Oct 2021 06:32:49 +0000 Subject: [PATCH 090/116] deps/evm-semantics: 97f144d0 - Update dependency: deps/k (#1145) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 739ee2c..97f144d 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 739ee2c30cb8a90cbbcecf3aff854af857749783 +Subproject commit 97f144d09ad0110f7190059e88c5bbc4e330f4ba From 1b259f06e4a2d5fd6d4a65cca8d9daa222df3754 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 18 Oct 2021 18:06:32 +0000 Subject: [PATCH 091/116] deps/evm-semantics: afdd3505 - Update dependency: web/k-web-theme (#1146) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 97f144d..afdd350 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 97f144d09ad0110f7190059e88c5bbc4e330f4ba +Subproject commit afdd35050a4ba9291bc654609bd225c5a152cef8 From 01c22fac2a5a26f18c37a891b618ccfb27c8db20 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 19 Oct 2021 18:17:12 +0000 Subject: [PATCH 092/116] deps/evm-semantics: 22651aba - Update dependency: deps/k (#1147) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index afdd350..22651ab 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit afdd35050a4ba9291bc654609bd225c5a152cef8 +Subproject commit 22651aba3311db0262a8883f7abbd25bf0d32411 From d53b60b193e21d0bc399766906856f8c2b0f5376 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 25 Oct 2021 20:38:02 +0000 Subject: [PATCH 093/116] deps/evm-semantics: 045abe6d - Bump Z3 version to 4.8.11 (#1137) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 22651ab..045abe6 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 22651aba3311db0262a8883f7abbd25bf0d32411 +Subproject commit 045abe6d6809b7a0e510ab7577c902bad973f727 From 4b598eccd3108e32afdb6b16bc92da6167308cc2 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 27 Oct 2021 22:34:02 +0000 Subject: [PATCH 094/116] deps/evm-semantics: 63dda59c - Cleanups and memoryUsageUpdate lemma (#1150) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 045abe6..63dda59 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 045abe6d6809b7a0e510ab7577c902bad973f727 +Subproject commit 63dda59c3f957b2be0b298f62784e499458217a2 From c10dd28810723d1c290583ff730613952a5b2824 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 7 Dec 2021 22:10:08 +0000 Subject: [PATCH 095/116] deps/evm-semantics: 49457447 - Fix release process (#1158) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 63dda59..4945744 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 63dda59c3f957b2be0b298f62784e499458217a2 +Subproject commit 49457447408f7f4c1096b10608888926aea295db From c92e1e06ef65eaf07d969bb0411e3b908714e38a Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 8 Dec 2021 19:09:41 +0000 Subject: [PATCH 096/116] deps/evm-semantics: 7479b1dd - Apple silicon build (#1163) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 4945744..7479b1d 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 49457447408f7f4c1096b10608888926aea295db +Subproject commit 7479b1dd7ece865acbb6de0d199d249f1b65e3a4 From f89cc1d71c40556190fadb1366aa03d993092bcd Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 9 Dec 2021 20:46:36 +0000 Subject: [PATCH 097/116] deps/evm-semantics: af5ba26c - Make some proofs from tests/erc20/ds pass with Haskell backend (#1170) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 7479b1d..af5ba26 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 7479b1dd7ece865acbb6de0d199d249f1b65e3a4 +Subproject commit af5ba26c33c829ea9ae580d9b0a404a1361f3df0 From 712898a0c1a75f00a692e0f2d03b439de3a40f39 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 11 Dec 2021 05:52:11 +0000 Subject: [PATCH 098/116] deps/evm-semantics: fc35db2c - Update dependency: deps/k (#1160) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index af5ba26..fc35db2 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit af5ba26c33c829ea9ae580d9b0a404a1361f3df0 +Subproject commit fc35db2c4334c2217b0ae9b0b520a58faee8b751 From 218d98323e30dd6f685ffb421d0b56edaa09a3ea Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 14 Dec 2021 19:59:20 +0000 Subject: [PATCH 099/116] deps/evm-semantics: 042133c3 - Update dependency: deps/k (#1171) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index fc35db2..042133c 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit fc35db2c4334c2217b0ae9b0b520a58faee8b751 +Subproject commit 042133c33161551e578bee1b92faf7e5364ee007 From d4d13eed94c621763e7a5e8d0167b30448a3e9c5 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 17 Dec 2021 20:47:26 +0000 Subject: [PATCH 100/116] deps/evm-semantics: 9c15489d - Refactor tx envelope prefix manipulation (#1174) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 042133c..9c15489 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 042133c33161551e578bee1b92faf7e5364ee007 +Subproject commit 9c15489d26b99ce4f8492e8bf848d1a7d91f1850 From 2609566d91c09cfcce982670071f32b9807b1044 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 12 Jan 2022 16:43:35 +0000 Subject: [PATCH 101/116] deps/evm-semantics: 7bf6f60e - Make sure solc is present to test packages (#1176) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 9c15489..7bf6f60 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 9c15489d26b99ce4f8492e8bf848d1a7d91f1850 +Subproject commit 7bf6f60e3831849491c55445e9c351246b99425e From 19dfebdb10d68c7a4c3308bd63555bb5228c2d36 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 15 Jan 2022 00:18:24 +0000 Subject: [PATCH 102/116] deps/evm-semantics: a2313a27 - Bump lodash from 4.17.20 to 4.17.21 in /web (#996) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 7bf6f60..a2313a2 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 7bf6f60e3831849491c55445e9c351246b99425e +Subproject commit a2313a2752f370dbbdf3c315df6cc5c5f53a812d From d372ba00bee9dd1bd6a9528826bab4775d5bf4c1 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 15 Jan 2022 06:37:53 +0000 Subject: [PATCH 103/116] deps/evm-semantics: f5f6d2f2 - Update dependency: deps/k (#1173) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index a2313a2..f5f6d2f 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit a2313a2752f370dbbdf3c315df6cc5c5f53a812d +Subproject commit f5f6d2f28947476a3399a0c22ac2ebba61ceecd1 From b7c4dafcfb82d0dd2f9de5b091601f0b9191249b Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 20 Jan 2022 06:36:05 +0000 Subject: [PATCH 104/116] deps/evm-semantics: 2d2ddbd9 - RLP encoding improvements (#1177) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index f5f6d2f..2d2ddbd 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit f5f6d2f28947476a3399a0c22ac2ebba61ceecd1 +Subproject commit 2d2ddbd94f69cf274a24e97149556fef8b810685 From 24f2cdce474f593155e524393fcb605f491899f1 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 20 Jan 2022 17:31:19 +0000 Subject: [PATCH 105/116] deps/evm-semantics: 4ca6cb1f - Add support for generation of storage slot macros to solc-to-k (#1172) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 2d2ddbd..4ca6cb1 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 2d2ddbd94f69cf274a24e97149556fef8b810685 +Subproject commit 4ca6cb1f31fe2e96152b15952a15c666285dbbbd From a215992d37802b05d733d6d2043c79dafc474044 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 24 Jan 2022 21:14:51 +0000 Subject: [PATCH 106/116] deps/evm-semantics: 9beaf5af - Update dependency: deps/k (#1181) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 4ca6cb1..9beaf5a 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 4ca6cb1f31fe2e96152b15952a15c666285dbbbd +Subproject commit 9beaf5af25a02e8cd143eb10d846f6ee7a955a4f From 127e224ebe779e7b7b888d1ba8770792b0f82155 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 27 Jan 2022 03:44:58 +0000 Subject: [PATCH 107/116] deps/evm-semantics: 6351bac9 - Update dependency: deps/k (#1184) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 9beaf5a..6351bac 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 9beaf5af25a02e8cd143eb10d846f6ee7a955a4f +Subproject commit 6351bac9426d058014b0c7221c773040d215bdf1 From 64566e7a8f97674cc487b4976e07aa33b03ce90c Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 31 Jan 2022 18:44:08 +0000 Subject: [PATCH 108/116] deps/evm-semantics: b7005e1a - Fix `solc-to-k` for contracts with zero variables (#1186) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6351bac..b7005e1 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6351bac9426d058014b0c7221c773040d215bdf1 +Subproject commit b7005e1a82d41b24da3a9010c838a83b78a6f7e7 From aed5086c5c9ead20803d9ee6a3c6b1b187a1e635 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 11 Feb 2022 18:25:30 +0000 Subject: [PATCH 109/116] deps/evm-semantics: e94c6823 - Update dependency: deps/k (#1185) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index b7005e1..e94c682 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit b7005e1a82d41b24da3a9010c838a83b78a6f7e7 +Subproject commit e94c6823ba26e1f4547a679583337f0eb0a54009 From 98e824858101610cc5b331dd622c3c828946c64a Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 12 Feb 2022 19:31:03 +0000 Subject: [PATCH 110/116] deps/evm-semantics: b50311f1 - London schedule update (#1187) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index e94c682..b50311f 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit e94c6823ba26e1f4547a679583337f0eb0a54009 +Subproject commit b50311f186a7558d24a8bb56dc3bf4435525aa05 From c41fda32e1cf1ded2affe8e2d7516573b0046e03 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 15 Feb 2022 22:03:36 +0000 Subject: [PATCH 111/116] deps/evm-semantics: 6835a5f5 - Fix kevm_pyk packaging (#1194) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index b50311f..6835a5f 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit b50311f186a7558d24a8bb56dc3bf4435525aa05 +Subproject commit 6835a5f5ef18d3f4d96829a6c7b94c96a1117ae1 From 3dcca1a350b36707d524929be156082279d92302 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 17 Feb 2022 00:23:43 +0000 Subject: [PATCH 112/116] deps/evm-semantics: 7b7a39f7 - Update dependency: deps/k (#1193) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 6835a5f..7b7a39f 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 6835a5f5ef18d3f4d96829a6c7b94c96a1117ae1 +Subproject commit 7b7a39f7de3c8a9a97c334f82497e9391871b0c6 From 888d2371e1cffd960009675a9667d39f04ea8e96 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 18 Feb 2022 02:51:37 +0000 Subject: [PATCH 113/116] deps/evm-semantics: 86c2812a - Update dependency: deps/k (#1196) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 7b7a39f..86c2812 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 7b7a39f7de3c8a9a97c334f82497e9391871b0c6 +Subproject commit 86c2812acd4b8cb31be937ba1c83d38c30d16059 From 546727f32d0043c22f90bf170eba1647f934c3cf Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 21 Feb 2022 18:16:41 +0000 Subject: [PATCH 114/116] deps/evm-semantics: 3d655bfe - Actually include function selector aliases in generated K (#1198) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 86c2812..3d655bf 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 86c2812acd4b8cb31be937ba1c83d38c30d16059 +Subproject commit 3d655bfe054dfeae41fac079d0532f48f048ae7a From cc2f9060229e8c456c8d7e24dfe15a00ae3485ed Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Sat, 26 Feb 2022 06:15:14 +0000 Subject: [PATCH 115/116] deps/evm-semantics: 32646797 - kevm: fix pyk-minimize (#1200) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 3d655bf..3264679 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 3d655bfe054dfeae41fac079d0532f48f048ae7a +Subproject commit 32646797e461a3f2d3a1d3d7602b07fb900f0919 From ea7717cd18cc9615e05e712d98b2d8b91444c07d Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 3 Mar 2022 06:17:52 +0000 Subject: [PATCH 116/116] deps/evm-semantics: b2c5c719 - Minor README updates for macOS (#1202) --- deps/evm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/evm-semantics b/deps/evm-semantics index 3264679..b2c5c71 160000 --- a/deps/evm-semantics +++ b/deps/evm-semantics @@ -1 +1 @@ -Subproject commit 32646797e461a3f2d3a1d3d7602b07fb900f0919 +Subproject commit b2c5c7190f0a4a2774b66f3c56de391f7b4bebb2