From daff2910887fcf74a099cc3a156624a1bd82f51a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 18 Mar 2022 20:03:09 +0000
Subject: [PATCH 01/81] deps/evm-semantics: 875788f7 - Update repo location
 (#1207)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 5da8519..875788f 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 5da85195e74ca4e416e4e8218017be289af24e3a
+Subproject commit 875788f75bd713ed8fa9f6b57c8cf7d259aa9305

From 523500c685a2178ffbd24b505847117f615e3db1 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 23 Mar 2022 17:37:54 +0000
Subject: [PATCH 02/81] deps/evm-semantics: 4c687362 - Update dependency:
 deps/k (#1213)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 875788f..4c68736 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 875788f75bd713ed8fa9f6b57c8cf7d259aa9305
+Subproject commit 4c687362935048fee51be6156eb335493269e17b

From b7c5cd069789e2d205ecd7f42b2ef75742645e7f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 4 Apr 2022 21:35:34 +0000
Subject: [PATCH 03/81] deps/evm-semantics: c0a14f6a - Update dependency:
 deps/k (#1221)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 4c68736..c0a14f6 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 4c687362935048fee51be6156eb335493269e17b
+Subproject commit c0a14f6a80bad260f121788552316ad68ade55c4

From 4c11161d53bcb57a6cbe5ebbe4f769de36030cfc Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 12 Apr 2022 19:00:19 +0000
Subject: [PATCH 04/81] deps/evm-semantics: f12a36b2 - Update dependency:
 deps/k (#1222)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index c0a14f6..f12a36b 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit c0a14f6a80bad260f121788552316ad68ade55c4
+Subproject commit f12a36b2d67519662c1d69f1782f8a7dcbf40d41

From f9ca852ca29dadb586312d8a7bed340c9dedb215 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 13 Apr 2022 02:20:03 +0000
Subject: [PATCH 05/81] deps/evm-semantics: 92ed6201 - Reorganize kevm_pyk
 distribution (#1219)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index f12a36b..92ed620 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit f12a36b2d67519662c1d69f1782f8a7dcbf40d41
+Subproject commit 92ed6201594dcf9af475f89372aa25eb277f7eae

From b2c56fe0283f08a46b007206bd41be0719fb0715 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 14 Apr 2022 01:21:12 +0000
Subject: [PATCH 06/81] deps/evm-semantics: bcb6db08 - Skip slow-running proofs
 on CI (#1225)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 92ed620..bcb6db0 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 92ed6201594dcf9af475f89372aa25eb277f7eae
+Subproject commit bcb6db0841b98b64c764c851beee700f54c6cf15

From c149e55d4f8573541a4861d06782fe0c317241e0 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 16 Apr 2022 12:05:21 +0000
Subject: [PATCH 07/81] deps/evm-semantics: a8720c32 - Fix vat-subui-fail spec
 (#1223)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index bcb6db0..a8720c3 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit bcb6db0841b98b64c764c851beee700f54c6cf15
+Subproject commit a8720c3228d65882aef09483a3bc615a380717de

From 6d79041954a3d278473010576dd735230b77a091 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 22 Apr 2022 20:25:52 +0000
Subject: [PATCH 08/81] deps/evm-semantics: 7fe9478a - Fix pyk version (#1229)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index a8720c3..7fe9478 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit a8720c3228d65882aef09483a3bc615a380717de
+Subproject commit 7fe9478af649b32addc86d5fa135044de776af21

From 1a9a295449881a23c8d4fe90b64aef938ae6a1fc Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 26 Apr 2022 19:28:00 +0000
Subject: [PATCH 09/81] deps/evm-semantics: 92826bd7 - Update dependency:
 deps/k (#1230)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 7fe9478..92826bd 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 7fe9478af649b32addc86d5fa135044de776af21
+Subproject commit 92826bd76ab2fb29a339a0cb0a37f3c278839c31

From f3b8166e79f654e17a7e8296ff8b952306b88fc9 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 26 Apr 2022 23:57:36 +0000
Subject: [PATCH 10/81] deps/evm-semantics: 2cd8b2ca - Update dependency:
 deps/k (#1231)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 92826bd..2cd8b2c 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 92826bd76ab2fb29a339a0cb0a37f3c278839c31
+Subproject commit 2cd8b2ca5bb1919ef5060259f26ea2185dfcc3f8

From abdcea7f20e6af0c2d2ff01baac5b1f77b0fd766 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 28 Apr 2022 20:31:35 +0000
Subject: [PATCH 11/81] deps/evm-semantics: 97d01458 - Update dependency:
 deps/k (#1234)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 2cd8b2c..97d0145 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 2cd8b2ca5bb1919ef5060259f26ea2185dfcc3f8
+Subproject commit 97d01458b0538bf9e5c7f0db4d855c8f24815277

From c7c9d3cddcae32e773cb54b09b0d8ef2b8397cf6 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 30 Apr 2022 23:23:32 +0000
Subject: [PATCH 12/81] deps/evm-semantics: 7bba9e9a - Fix release (#1237)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 97d0145..7bba9e9 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 97d01458b0538bf9e5c7f0db4d855c8f24815277
+Subproject commit 7bba9e9a094c9b5f14410da891f44c0e4e36bf8f

From a890d23506d6040915d550af1929167da93dddd8 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 2 May 2022 17:07:19 +0000
Subject: [PATCH 13/81] deps/evm-semantics: 382ae14c - Update dependency:
 deps/k (#1239)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 7bba9e9..382ae14 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 7bba9e9a094c9b5f14410da891f44c0e4e36bf8f
+Subproject commit 382ae14c9d151d65f3e04109e7bb0665b6ddb590

From 1a0721a41214eaa88aa307f11c27e678d1356b08 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 2 May 2022 22:58:31 +0000
Subject: [PATCH 14/81] deps/evm-semantics: 0cd0f686 - Fixes to spec generation
 (#1238)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 382ae14..0cd0f68 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 382ae14c9d151d65f3e04109e7bb0665b6ddb590
+Subproject commit 0cd0f6861bb084a00bf8671f8dc5a149de58adae

From 107ed40676b0ca13501e59e39cfa6ed49fbe634f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 5 May 2022 16:48:54 +0000
Subject: [PATCH 15/81] deps/evm-semantics: cc1f5770 - Switch --directory =>
 --definition flag (#1241)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 0cd0f68..cc1f577 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 0cd0f6861bb084a00bf8671f8dc5a149de58adae
+Subproject commit cc1f57702a3388d51e93b33082b3822d3d8ff35f

From 13668d1e7dca36981a70939cf688f9fbfd8f70c6 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 7 May 2022 03:02:28 +0000
Subject: [PATCH 16/81] deps/evm-semantics: 0c6f0285 - Update dependency:
 deps/k (#1242)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index cc1f577..0c6f028 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit cc1f57702a3388d51e93b33082b3822d3d8ff35f
+Subproject commit 0c6f0285fdebfc9776f54dc45d0a23208ec9d411

From d1318f496993ed977ced6c6997ab3c9463677e72 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 10 May 2022 00:50:50 +0000
Subject: [PATCH 17/81] deps/evm-semantics: 49a16920 - Lemma fix for
 dstoken-burn-self-fail-rough-spec.k (#1244)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 0c6f028..49a1692 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 0c6f0285fdebfc9776f54dc45d0a23208ec9d411
+Subproject commit 49a1692010f3cd5283a77c0ccfb1d88caeed4e0e

From 89631193e6b469e1613cab2d7ebfb0b6124dc8f5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 12 May 2022 20:20:43 +0000
Subject: [PATCH 18/81] =?UTF-8?q?deps/evm-semantics:=20b10ff6f2=20-=20Remo?=
 =?UTF-8?q?ve=20tests/specs/mcd/vat-move-diff-rough-spec.k=20from=20failin?=
 =?UTF-8?q?g=20tests=20=E2=80=A6=20(#1245)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 49a1692..b10ff6f 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 49a1692010f3cd5283a77c0ccfb1d88caeed4e0e
+Subproject commit b10ff6f2492e8c62874f6f94512b48b80db5ad17

From 3e9d318669e602bccf16e179cab85ea5c3fb6aac Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 23 May 2022 21:49:25 +0000
Subject: [PATCH 19/81] deps/evm-semantics: c83df97d - Fix debian packaging
 (#1255)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index b10ff6f..c83df97 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit b10ff6f2492e8c62874f6f94512b48b80db5ad17
+Subproject commit c83df97d9790a235ea5afc9c86d06e27172bf725

From 09950048318f1f088fbc4e9c1ebe0b2db34d3952 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 24 May 2022 03:20:16 +0000
Subject: [PATCH 20/81] deps/evm-semantics: 9855ffbd - vow-flog-fail-rough-spec
 passing (#1246)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index c83df97..9855ffb 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit c83df97d9790a235ea5afc9c86d06e27172bf725
+Subproject commit 9855ffbd556986f8f9ee86229abaf0acfd75050f

From 7db735c1b748f2af36c937cb7b9caef71aa583e8 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 25 May 2022 16:51:49 +0000
Subject: [PATCH 21/81] deps/evm-semantics: 66976ec4 - Drop kprovex (#1257)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 9855ffb..66976ec 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 9855ffbd556986f8f9ee86229abaf0acfd75050f
+Subproject commit 66976ec4d14bad2a59327374aa851db8214167ce

From 83c9fea1e253d4e245f80506edff762f11778645 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 30 May 2022 20:10:29 +0000
Subject: [PATCH 22/81] deps/evm-semantics: 20599bc7 - Update dependency:
 web/k-web-theme (#1214)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 66976ec..20599bc 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 66976ec4d14bad2a59327374aa851db8214167ce
+Subproject commit 20599bc70cb143b8a2bf2c0925a2b43ca556b1f7

From 6982f6cfcfdf39e55eb8888b68b36ac654a76745 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 31 May 2022 02:10:13 +0000
Subject: [PATCH 23/81] deps/evm-semantics: a79d4947 - Update dependency:
 deps/k (#1256)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 20599bc..a79d494 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 20599bc70cb143b8a2bf2c0925a2b43ca556b1f7
+Subproject commit a79d49473bd48622ca0d59514835e8ccf5c61726

From f8be975e0a59598a6d85a425cabb0275ce90fd2f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 31 May 2022 13:34:29 +0000
Subject: [PATCH 24/81] deps/evm-semantics: 583d242c - Modify solc_compile to
 use the solc standard JSON interface (#1250)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index a79d494..583d242 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit a79d49473bd48622ca0d59514835e8ccf5c61726
+Subproject commit 583d242c56a7660a409d346ec64c7d0fa91e91e9

From 0b1d334f2e5a3127d8d26be40a6291a1f52475e5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 31 May 2022 21:49:37 +0000
Subject: [PATCH 25/81] deps/evm-semantics: 740b24fe - Update dependency:
 web/k-web-theme (#1259)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 583d242..740b24f 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 583d242c56a7660a409d346ec64c7d0fa91e91e9
+Subproject commit 740b24fe5c9198c3b80fac1e33759014903f11cf

From 3a5a381607799947d51ebd77eb6a631150df1ab5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sun, 12 Jun 2022 23:02:23 +0000
Subject: [PATCH 26/81] deps/evm-semantics: dad99900 - Update dependency:
 deps/k (#1263)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 740b24f..dad9990 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 740b24fe5c9198c3b80fac1e33759014903f11cf
+Subproject commit dad99900fbb36f55a14a6f41992bfc16178d5c4b

From 5316867837277c405291ffc7d4efe5f4302a2a75 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 25 Jun 2022 20:37:10 +0000
Subject: [PATCH 27/81] deps/evm-semantics: 039afd1b - Update dependency:
 deps/k (#1265)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index dad9990..039afd1 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit dad99900fbb36f55a14a6f41992bfc16178d5c4b
+Subproject commit 039afd1b82e98a80a40e13357bd019773161171b

From 9876b560708bc6d0140c0bf4ac5c8aa230168843 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 4 Jul 2022 07:51:44 +0000
Subject: [PATCH 28/81] deps/evm-semantics: 04e56d1d - Update dependency:
 deps/k (#1274)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 039afd1..04e56d1 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 039afd1b82e98a80a40e13357bd019773161171b
+Subproject commit 04e56d1d32f0c20d93b063cc6b9b4232a28ab0ee

From e99baf1bda48f985e512e270d0a214a82b85c95c Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 6 Jul 2022 05:49:31 +0000
Subject: [PATCH 29/81] deps/evm-semantics: 8329af0b - kevm_pyk: Import pretty
 names for symbols from ksummarize (#1276)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 04e56d1..8329af0 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 04e56d1d32f0c20d93b063cc6b9b4232a28ab0ee
+Subproject commit 8329af0b590a1a54668b3f9af16600b1bf186478

From 41ac9be0b852a7615fa8d584d7fdb62e587bf72b Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 13 Jul 2022 19:18:03 +0000
Subject: [PATCH 30/81] deps/evm-semantics: 40a44710 - Handle more arguments
 with pyk prover (#1277)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 8329af0..40a4471 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 8329af0b590a1a54668b3f9af16600b1bf186478
+Subproject commit 40a447104bf655ad2921f659cb0a05c8b9b855a6

From 75dfe6dd382fcc7556c15cec818f1225b346ba4c Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 14 Jul 2022 19:37:31 +0000
Subject: [PATCH 31/81] deps/evm-semantics: 05264cbd - Add `kevm foundry-to-k
 ...` command (#1280)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 40a4471..05264cb 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 40a447104bf655ad2921f659cb0a05c8b9b855a6
+Subproject commit 05264cbd34c17cb9a55318392ee0c0b3165851fa

From bffcfa21e8e67950d264b3e1730e565ad3a34690 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 18 Jul 2022 17:27:02 +0000
Subject: [PATCH 32/81] deps/evm-semantics: 6e8709ab - Include INFINITE-GAS
 into EDSL (#1284)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 05264cb..6e8709a 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 05264cbd34c17cb9a55318392ee0c0b3165851fa
+Subproject commit 6e8709abfddcdecf91349e52d71b6838d4e8aab0

From 34e95d341580cbd91e7d8b24735693c2d0b54bd5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 19 Jul 2022 06:47:44 +0000
Subject: [PATCH 33/81] deps/evm-semantics: 386b714b - Echo activation command
 for `make kevm-pyk-venv` (#1283)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 6e8709a..386b714 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 6e8709abfddcdecf91349e52d71b6838d4e8aab0
+Subproject commit 386b714bafc7a8db656954279aab9bac46cf0b1b

From d9e77b74158e78e4a0f435600ce6da280b6e01dd Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 3 Aug 2022 05:05:32 +0000
Subject: [PATCH 34/81] deps/evm-semantics: e0cb9a3d - Update dependency:
 deps/k (#1286)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 386b714..e0cb9a3 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 386b714bafc7a8db656954279aab9bac46cf0b1b
+Subproject commit e0cb9a3d201948df00c175fdd6ae22cc6966b460

From a550d1e9e8731e606d9dc8ec198c57911ff7018a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 4 Aug 2022 07:50:50 +0000
Subject: [PATCH 35/81] deps/evm-semantics: 44899a2d - Add initial foundry.md
 (#1305)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index e0cb9a3..44899a2 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit e0cb9a3d201948df00c175fdd6ae22cc6966b460
+Subproject commit 44899a2dac0146eb11a76cc8e08fa691a1482c66

From 1489dbe04f4928999d71a2ed898262d03f51b3f5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 5 Aug 2022 21:38:28 +0000
Subject: [PATCH 36/81] deps/evm-semantics: 6cbd0044 - Storage hashed location
 refactoring (#1308)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 44899a2..6cbd004 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 44899a2dac0146eb11a76cc8e08fa691a1482c66
+Subproject commit 6cbd0044ea140f0fcbe0d91a925180bed07c3593

From 0f49dda1f763cc06df749265cab119e3430c42d1 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 9 Aug 2022 00:19:12 +0000
Subject: [PATCH 37/81] deps/evm-semantics: 67eeac2a - Use krun bash script
 directly for kevm interpret (#1315)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 6cbd004..67eeac2 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 6cbd0044ea140f0fcbe0d91a925180bed07c3593
+Subproject commit 67eeac2a0793b07525219049cf06c12bb7b4f7eb

From ad00b85c44477b78c9cd8f65609eb702949244bc Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 9 Aug 2022 08:36:37 +0000
Subject: [PATCH 38/81] deps/evm-semantics: 5e519e4b - Add command
 `gst-to-kore` to kevm_pyk (#1316)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 67eeac2..5e519e4 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 67eeac2a0793b07525219049cf06c12bb7b4f7eb
+Subproject commit 5e519e4bf495f7d92dd6123aeca8f77212e818f0

From 133ad4d4a5cc0648f16ffaa9161088a65733e17f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 10 Aug 2022 04:00:45 +0000
Subject: [PATCH 39/81] deps/evm-semantics: 0f9831de - Update dependency:
 deps/k (#1313)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 5e519e4..0f9831d 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 5e519e4bf495f7d92dd6123aeca8f77212e818f0
+Subproject commit 0f9831dece1445c359019a82e9699e499c8a8813

From 77f2fce87ced1cce254d9bc8afe2d49db832157a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 26 Aug 2022 17:53:28 +0000
Subject: [PATCH 40/81] deps/evm-semantics: 30b5be8e - Deal: typo and
 documentation (#1335)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 0f9831d..30b5be8 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 0f9831dece1445c359019a82e9699e499c8a8813
+Subproject commit 30b5be8e9e9716cd6ec6afecf178d58cbea2daf1

From 6be1a673fc04b963f3ea57fdf2ee5ffe5b8b78fb Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 27 Aug 2022 02:21:31 +0000
Subject: [PATCH 41/81] deps/evm-semantics: e8abecca - Cleanups (#1332)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 30b5be8..e8abecc 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 30b5be8e9e9716cd6ec6afecf178d58cbea2daf1
+Subproject commit e8abecca9e1317fccdcf7c4fb23739b7847fd16d

From 9c1e278787af0fd8e27d4259d5c7f0ea43c351db Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sun, 28 Aug 2022 20:02:51 +0000
Subject: [PATCH 42/81] deps/evm-semantics: 7f8c09dc - Refactor
 `kevm_pyk.__main__` (#1337)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index e8abecc..7f8c09d 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit e8abecca9e1317fccdcf7c4fb23739b7847fd16d
+Subproject commit 7f8c09dc1affc5100686c661b305083177e5ddbf

From 74a6efe574cc5be692b92abf4f28abdf045a88bc Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 29 Aug 2022 13:50:01 +0000
Subject: [PATCH 43/81] deps/evm-semantics: 3e7f5832 - Small cleanups on
 kevm_pyk CLI (#1342)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 7f8c09d..3e7f583 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 7f8c09dc1affc5100686c661b305083177e5ddbf
+Subproject commit 3e7f58327cbcc35ff09af2ddb500ff779e980ab4

From 72a8586a6cd72ff5559834ff2f48bd7dca303b40 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 31 Aug 2022 11:07:03 +0000
Subject: [PATCH 44/81] deps/evm-semantics: f5d1d837 - Updated build
 instructions (macOS + Troubleshooting) (#1333)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 3e7f583..f5d1d83 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 3e7f58327cbcc35ff09af2ddb500ff779e980ab4
+Subproject commit f5d1d837e4ff9213cb5328f7134d6694abb19454

From e54e13dabe19bf04246d52b981e5541831c4e213 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 31 Aug 2022 18:49:54 +0000
Subject: [PATCH 45/81] deps/evm-semantics: 057044e0 - Minimize CI time in
 various ways (#1351)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index f5d1d83..057044e 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit f5d1d837e4ff9213cb5328f7134d6694abb19454
+Subproject commit 057044e0c135ae3a4ef636588188bb320553d04a

From fb861c9d1d1c4026d01a6514e5353bf4fa58ba19 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 1 Sep 2022 01:18:44 +0000
Subject: [PATCH 46/81] deps/evm-semantics: e54bca22 - Added label cheatcode to
 foundry.md (#1353)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 057044e..e54bca2 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 057044e0c135ae3a4ef636588188bb320553d04a
+Subproject commit e54bca22214f794b6bdf0f7ed59bce7431edcd36

From de33a33dbeec3de54cda0894bc0d9b045a3fb6a9 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 2 Sep 2022 10:53:52 +0000
Subject: [PATCH 47/81] deps/evm-semantics: 9953a2c8 - Fix `kevm-pyk` packaging
 (#1355)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index e54bca2..9953a2c 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit e54bca22214f794b6bdf0f7ed59bce7431edcd36
+Subproject commit 9953a2c8ceacd1c5dd0f806d4e3a5b2ce0af2fed

From a7d7639d52b1c4ed69121a9335fbb25082875143 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 2 Sep 2022 17:20:57 +0000
Subject: [PATCH 48/81] deps/evm-semantics: b6ee1690 - Implement etch cheatcode
 (#1340)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 9953a2c..b6ee169 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 9953a2c8ceacd1c5dd0f806d4e3a5b2ce0af2fed
+Subproject commit b6ee1690cd0abe9ecda390acd62811a11c4bff9c

From 39904e036ac0d26411b2b64f6b8058b4d36a6fc5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 3 Sep 2022 23:49:47 +0000
Subject: [PATCH 49/81] deps/evm-semantics: 21a47e0a - Update dependency:
 deps/k (#1357)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index b6ee169..21a47e0 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit b6ee1690cd0abe9ecda390acd62811a11c4bff9c
+Subproject commit 21a47e0abc655eacd8f19c2348bf029544311335

From 81b0bfff152f2cb57fda3928ad8b0835a816149c Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 7 Sep 2022 09:33:29 +0000
Subject: [PATCH 50/81] deps/evm-semantics: 694659e3 - Rule for addr cheatcode
 (#1356)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 21a47e0..694659e 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 21a47e0abc655eacd8f19c2348bf029544311335
+Subproject commit 694659e367c50ca2d3e711e84621994e0bd9056e

From f0f6bfb8e6ebf1ee625bb85c65f29b33fedd9487 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 7 Sep 2022 18:27:42 +0000
Subject: [PATCH 51/81] deps/evm-semantics: 5bed7c4e - getNonce cheat code
 (#1361)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 694659e..5bed7c4 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 694659e367c50ca2d3e711e84621994e0bd9056e
+Subproject commit 5bed7c4e93d7185280a6453cb3f8cac57982562c

From 8564ff1e75bd6d64dc49f4db0d66ebb7163e98ac Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 8 Sep 2022 14:20:53 +0000
Subject: [PATCH 52/81] deps/evm-semantics: 3b089dc7 - Less restrictive rules
 for Foundry cheatcodes. (#1363)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 5bed7c4..3b089dc 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 5bed7c4e93d7185280a6453cb3f8cac57982562c
+Subproject commit 3b089dc732a7b270cb253e8d538988bfb9206208

From 8a3873a6b2297832bf129db9f92db04dc5452e4d Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 9 Sep 2022 09:48:41 +0000
Subject: [PATCH 53/81] deps/evm-semantics: 2820bd87 - Updates to foundry
 commands (#1350)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 3b089dc..2820bd8 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 3b089dc732a7b270cb253e8d538988bfb9206208
+Subproject commit 2820bd87db4a230c3cf551067084cee7f646a9d0

From 659e8bad48435fd657c566760daeb345917d1514 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 13 Sep 2022 04:20:16 +0000
Subject: [PATCH 54/81] deps/evm-semantics: c6005650 - Allow proving individual
 claims (#1366)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 2820bd8..c600565 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 2820bd87db4a230c3cf551067084cee7f646a9d0
+Subproject commit c60056503e88bdf02e55d43cf3c4a446c2cfb72b

From 2f680465f8517bd2b06b273751d92eece6ff13df Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 13 Sep 2022 07:23:09 +0000
Subject: [PATCH 55/81] deps/evm-semantics: 1ffe4928 - 16 additional tests
 passing in Haskell backend (#1270)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index c600565..1ffe492 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit c60056503e88bdf02e55d43cf3c4a446c2cfb72b
+Subproject commit 1ffe492893ab5cb27b7ccd136ebdb3e13b38e250

From 52352c79bedbbf94f22a14c5f3ba3f24e236b25f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 14 Sep 2022 02:50:47 +0000
Subject: [PATCH 56/81] deps/evm-semantics: e6086d56 - Fix README.md to get
 build-prove working (#1365)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 1ffe492..e6086d5 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 1ffe492893ab5cb27b7ccd136ebdb3e13b38e250
+Subproject commit e6086d562133b51926173ae333bf93e85e3ebb1b

From 385502c6d82981d66ca2372a1986fc03ab58dc4e Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 14 Sep 2022 07:22:07 +0000
Subject: [PATCH 57/81] deps/evm-semantics: cf2eecc6 - Construct KCFGs for
 Foundry proof obligations (#1372)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index e6086d5..cf2eecc 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit e6086d562133b51926173ae333bf93e85e3ebb1b
+Subproject commit cf2eecc63cbb86239475d2e49107a62b25eed60c

From 8a8f01977cff8e8a9bc9d5976fee6c161ac45d37 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 14 Sep 2022 11:51:17 +0000
Subject: [PATCH 58/81] deps/evm-semantics: 74ff9749 - Refactor
 `gen_claims_for_contract` (#1373)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index cf2eecc..74ff974 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit cf2eecc63cbb86239475d2e49107a62b25eed60c
+Subproject commit 74ff97497ee6d2ead7ef5e9bea8bd937325ed203

From a8a64e5e1b2c495b756973200298bfc9e118c979 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 15 Sep 2022 00:20:33 +0000
Subject: [PATCH 59/81] deps/evm-semantics: 0f57d7e3 - Allow passing
 --workers/-j argument to foundry-prove (#1375)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 74ff974..0f57d7e 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 74ff97497ee6d2ead7ef5e9bea8bd937325ed203
+Subproject commit 0f57d7e340fb73be243a8fe64268a44a62c4eef7

From ece83ed286d53cb47ce135d7eafa4aeb974f8523 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 17 Sep 2022 00:54:11 +0000
Subject: [PATCH 60/81] deps/evm-semantics: 2aaec12b - Directly construct KCFGs
 in foundry-kompile (#1377)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 0f57d7e..2aaec12 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 0f57d7e340fb73be243a8fe64268a44a62c4eef7
+Subproject commit 2aaec12ba42c82dc601e1e03b0339862ccbeac8c

From a8a21537dcaff968f81c2be55c3db712496d30d1 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sun, 18 Sep 2022 13:57:17 +0000
Subject: [PATCH 61/81] deps/evm-semantics: a7e1c8b1 - Support for Foundry's
 load/store cheatcodes (#1369)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 2aaec12..a7e1c8b 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 2aaec12ba42c82dc601e1e03b0339862ccbeac8c
+Subproject commit a7e1c8b13026fa4bf09e9815b8de82632c2469e4

From dd09148284cce53362eb9b50fdd83e729c468407 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 20 Sep 2022 23:04:35 +0000
Subject: [PATCH 62/81] deps/evm-semantics: 5ec6128c - Add all uint types for
 foundry test parameters (#1376)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index a7e1c8b..5ec6128 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit a7e1c8b13026fa4bf09e9815b8de82632c2469e4
+Subproject commit 5ec6128ca399dc770eb1ae32bb5dd3baeb6152e5

From 08d7e97d32001be3e0ca51f14538251a612f114a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 22 Sep 2022 00:51:59 +0000
Subject: [PATCH 63/81] deps/evm-semantics: 0e96c8d5 - Update dependency:
 deps/k (#1383)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 5ec6128..0e96c8d 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 5ec6128ca399dc770eb1ae32bb5dd3baeb6152e5
+Subproject commit 0e96c8d5d6bed3a131ed2ed8eedaa873ddef9236

From b1d6d40514ca333440ae0e63645946275c9286f1 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sun, 25 Sep 2022 20:59:53 +0000
Subject: [PATCH 64/81] deps/evm-semantics: 03e816bd - Separate generaion of
 main module and claims (#1391)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 0e96c8d..03e816b 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 0e96c8d5d6bed3a131ed2ed8eedaa873ddef9236
+Subproject commit 03e816bda5c0070353b7c33bb8cc01a2d2f1bc66

From d0a2841521c19e31503c871a35df9c3766e0fecd Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 26 Sep 2022 22:02:22 +0000
Subject: [PATCH 65/81] deps/evm-semantics: 203a020a - Pass `KPrint` instance
 to `contract_to_claims` (#1399)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 03e816b..203a020 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 03e816bda5c0070353b7c33bb8cc01a2d2f1bc66
+Subproject commit 203a020a6210007823b4b5ebf0649f3058b7bd8f

From 53c13918e1c010fc4132f3e1d714db07c76f9a83 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 27 Sep 2022 17:03:02 +0000
Subject: [PATCH 66/81] deps/evm-semantics: 763369a8 - Update KCFG generation
 to use Foundry configuration (#1402)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 203a020..763369a 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 203a020a6210007823b4b5ebf0649f3058b7bd8f
+Subproject commit 763369a823732649317042fc5e710d04fd169e2d

From ee96411eacaec619a9f5ff6d66bd9770e1279120 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 28 Sep 2022 07:55:03 +0000
Subject: [PATCH 67/81] deps/evm-semantics: f326cfb1 - Single concrete rules
 file (#1396)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 763369a..f326cfb 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 763369a823732649317042fc5e710d04fd169e2d
+Subproject commit f326cfb10fbd91770386b199178c735bbf7794af

From bbf888903e265d294b23eedb7c780fe97c6443da Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 28 Sep 2022 13:30:33 +0000
Subject: [PATCH 68/81] deps/evm-semantics: 757ecb4f - foundry.md: formatting
 and clean-up (#1404)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index f326cfb..757ecb4 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit f326cfb10fbd91770386b199178c735bbf7794af
+Subproject commit 757ecb4f183ec55495513e87242342a4e16ffbda

From 5a71bc86e847d79edb9f67500f2f89d73dfe146a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 29 Sep 2022 16:48:01 +0000
Subject: [PATCH 69/81] deps/evm-semantics: cc9e2aac - Fix performance
 regression in benchmark proofs (#1407)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 757ecb4..cc9e2aa 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 757ecb4f183ec55495513e87242342a4e16ffbda
+Subproject commit cc9e2aac7e5e0a24a80c2f6c0a463c2b20a0e545

From 1d409a2e7c99c9b7fff3fae8281ea32917fb3370 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 3 Oct 2022 18:21:57 +0000
Subject: [PATCH 70/81] deps/evm-semantics: e8caad2c - Rule for setNonce
 cheatcode (#1364)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index cc9e2aa..e8caad2 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit cc9e2aac7e5e0a24a80c2f6c0a463c2b20a0e545
+Subproject commit e8caad2c849e75199df07636dd718eecdbfe1973

From 97d00ec86a6f071e801132285fc3b47f201afe45 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 4 Oct 2022 10:48:17 +0000
Subject: [PATCH 71/81] deps/evm-semantics: a1ffa8a6 - Add new Foundry tests
 (#1409)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index e8caad2..a1ffa8a 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit e8caad2c849e75199df07636dd718eecdbfe1973
+Subproject commit a1ffa8a6fdf954773948e85dceea6f421394635d

From 507fcc76fa09a2d791f3ec1ba01b181931f782eb Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 5 Oct 2022 19:54:00 +0000
Subject: [PATCH 72/81] deps/evm-semantics: b4fec5fc - Fix issues with term
 generation (#1411)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index a1ffa8a..b4fec5f 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit a1ffa8a6fdf954773948e85dceea6f421394635d
+Subproject commit b4fec5fcde8265da7dc253be2a1e720fe002a11a

From b4a8214d8d31586f63529c0e3c21d89976e7d127 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 7 Oct 2022 17:14:40 +0000
Subject: [PATCH 73/81] deps/evm-semantics: 670e678b - Use #loadAccounts to for
 deal, etch, and getNonce cheat codes (#1413)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index b4fec5f..670e678 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit b4fec5fcde8265da7dc253be2a1e720fe002a11a
+Subproject commit 670e678b6047f8ac332584b30907079d53e58971

From 22f147195ccec6d7d626574543f456e07262b9db Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 7 Oct 2022 23:18:22 +0000
Subject: [PATCH 74/81] deps/evm-semantics: 90fda0cb - Update `pyk` to v0.1.16
 (#1415)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 670e678..90fda0c 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 670e678b6047f8ac332584b30907079d53e58971
+Subproject commit 90fda0cb9ef83c424fc634b44ec1d04fcdaaf6bd

From 62bd5ad047d5ba594ec2dc58c175860ddba13d10 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 20 Oct 2022 15:11:57 +0000
Subject: [PATCH 75/81] deps/evm-semantics: 25051798 - Create individual
 definition for foundry (#1424)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 90fda0c..2505179 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 90fda0cb9ef83c424fc634b44ec1d04fcdaaf6bd
+Subproject commit 250517980f5057a491e95826eaf5efa8addbc8e7

From d42dd4f23ace8d6ae9fce1c523b2784295a819e5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 20 Oct 2022 20:54:36 +0000
Subject: [PATCH 76/81] deps/evm-semantics: 82d59df2 - Github workflows for PRs
 (#1395)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 2505179..82d59df 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 250517980f5057a491e95826eaf5efa8addbc8e7
+Subproject commit 82d59df20ee06b1f9042a0c93e9d52f2d1f5dc40

From 65df40f779c7f904d263d415b2129833ed7aaafb Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 21 Oct 2022 05:15:54 +0000
Subject: [PATCH 77/81] deps/evm-semantics: 58c11a3c - Container collision fix
 (#1428)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 82d59df..58c11a3 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 82d59df20ee06b1f9042a0c93e9d52f2d1f5dc40
+Subproject commit 58c11a3c344aed3b09effb88efa8d58a20897b9a

From c2b2c0a8a5f892ee969812ba55c2710f2c1509a6 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 21 Oct 2022 21:23:03 +0000
Subject: [PATCH 78/81] deps/evm-semantics: c1789adf - Add rules for ABI
 encoding of bytes4 type (#1430)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 58c11a3..c1789ad 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 58c11a3c344aed3b09effb88efa8d58a20897b9a
+Subproject commit c1789adf22889102df382b70d8dffa676ee02805

From 50da8bfd976d4be871690cdad5214f448f395841 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 24 Oct 2022 09:17:52 +0000
Subject: [PATCH 79/81] deps/evm-semantics: f5ffb680 - Generate individual
 KCFGs for each method in contract (#1427)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index c1789ad..f5ffb68 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit c1789adf22889102df382b70d8dffa676ee02805
+Subproject commit f5ffb6800a77d4c00ca84463bfe74c27d1c24920

From 95eec354308bcc41f53031a289a2d810f59c88b5 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 25 Oct 2022 04:22:04 +0000
Subject: [PATCH 80/81] deps/evm-semantics: 3d3d79ee - Ignore binRuntime rules
 in foundry.k.check (#1434)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index f5ffb68..3d3d79e 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit f5ffb6800a77d4c00ca84463bfe74c27d1c24920
+Subproject commit 3d3d79ee18a772e607611afa0aa47b76af0a4df9

From 9508cc345f4adf39ec1213a935013bc62539ba31 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 25 Oct 2022 08:10:50 +0000
Subject: [PATCH 81/81] deps/evm-semantics: 0539c0cc - Handle auto-updates from
 pyk repo (#1431)

---
 deps/evm-semantics | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/evm-semantics b/deps/evm-semantics
index 3d3d79e..0539c0c 160000
--- a/deps/evm-semantics
+++ b/deps/evm-semantics
@@ -1 +1 @@
-Subproject commit 3d3d79ee18a772e607611afa0aa47b76af0a4df9
+Subproject commit 0539c0cce9156b4c575d100a5382371fa524d497