From 86d030f17853196f0f3168abd3dc36b898fbf629 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 21 Aug 2020 17:35:17 +0000
Subject: [PATCH 01/61] deps/wasm-semantics: 324a1bf - Jenkinsfile: switch to
 generic update (#374)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index a959393..324a1bf 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit a95939358242fd7050c0a94b606d04c1cb1e8fea
+Subproject commit 324a1bf92106491a41719c7ddebff3aa927f6eab

From 3acf0059b37ca5b66644e17ec48795c0a1ff6736 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 21 Aug 2020 19:55:18 +0000
Subject: [PATCH 02/61] deps/wasm-semantics: 190fb1e - Unfold instructions,
 remove #ContextLookup for labels (#371)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 324a1bf..190fb1e 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 324a1bf92106491a41719c7ddebff3aa927f6eab
+Subproject commit 190fb1e760b45fd524bee1866409742827f67149

From a7cedfb58ee8b6850898f82ca9fb753ac67ae112 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 26 Aug 2020 20:38:57 +0000
Subject: [PATCH 03/61] deps/wasm-semantics: ee973a1 - Elrond-related fixes to
 unfolding (#375)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 190fb1e..ee973a1 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 190fb1e760b45fd524bee1866409742827f67149
+Subproject commit ee973a112c99877fdef6bce5ff91d5d6eb17ffab

From 2657c5d6f8b8ee885f978f9b41658d93291d977e Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 28 Aug 2020 17:52:54 +0000
Subject: [PATCH 04/61] deps/wasm-semantics: d46f6c8 - Unfold globals (#377)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index ee973a1..d46f6c8 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit ee973a112c99877fdef6bce5ff91d5d6eb17ffab
+Subproject commit d46f6c8131b6992cf205246d92d350002146a588

From 66a1eb7d3f725be57bd5b3c31899bbb39576c6fe Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 28 Aug 2020 18:52:54 +0000
Subject: [PATCH 05/61] deps/wasm-semantics: 9a0daf3 - KWasm updates pulled
 over from KEVM (#376)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index d46f6c8..9a0daf3 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit d46f6c8131b6992cf205246d92d350002146a588
+Subproject commit 9a0daf3b5f981d300cdeda7a1ac803a5c4fe2367

From 7c560cc8d7f6b8386d1ebcd92ac53f66a1dd4f31 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 28 Aug 2020 19:54:08 +0000
Subject: [PATCH 06/61] deps/wasm-semantics: 25b6b5b - Update dependency:
 deps/k (#373)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 9a0daf3..25b6b5b 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 9a0daf3b5f981d300cdeda7a1ac803a5c4fe2367
+Subproject commit 25b6b5b8c62ee3d30225afb7c592286354c808c6

From bae1d3602b254d774d47235f4d624bd28adf810b Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 1 Sep 2020 08:51:35 +0000
Subject: [PATCH 07/61] deps/wasm-semantics: 5ea7752 - deps/k: 2f95ed9a7 -
 domains.md: `orBool` missing `symbol` attribute. (#1533) (#378)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 25b6b5b..5ea7752 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 25b6b5b8c62ee3d30225afb7c592286354c808c6
+Subproject commit 5ea7752d4ed63e993463dc4e496b6e7d648d3333

From 014ae8c27c412f18f864be874e46621a4e9a3a37 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 7 Sep 2020 09:52:12 +0000
Subject: [PATCH 08/61] deps/wasm-semantics: c07f7e3 - Update dependency:
 deps/k (#379)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 5ea7752..c07f7e3 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 5ea7752d4ed63e993463dc4e496b6e7d648d3333
+Subproject commit c07f7e3042472b262f107c11c4ad315771c6fc2f

From 3bbd7a36c2bba0b8d16152d2cc9a7d8b2a91cf09 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 21 Oct 2020 14:52:01 +0000
Subject: [PATCH 09/61] deps/wasm-semantics: 38f986b - Syntax modules (#381)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index c07f7e3..38f986b 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit c07f7e3042472b262f107c11c4ad315771c6fc2f
+Subproject commit 38f986befb60170f1e6a00924d174af0bd169848

From b3af95558ee8b1ec18ba483df528b9bc66e0ce19 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 4 Nov 2020 16:49:06 +0000
Subject: [PATCH 10/61] deps/wasm-semantics: 0f80c58 - Skeleton for binary
 parser (#382)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 38f986b..0f80c58 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 38f986befb60170f1e6a00924d174af0bd169848
+Subproject commit 0f80c58799171e510032f8daea3a3e75efeaac61

From 846219ea5bf53487cf02594d4bcbacc380c5f538 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 17 Nov 2020 15:32:01 +0000
Subject: [PATCH 11/61] deps/wasm-semantics: b16a303 - Binary parser for
 instructions (#383)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 0f80c58..b16a303 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 0f80c58799171e510032f8daea3a3e75efeaac61
+Subproject commit b16a303a5130055bce9e09b2133b73c8eef397e0

From a087f147b7bfd6299aa68f346895d8cb5402b641 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 18 Nov 2020 11:52:34 +0000
Subject: [PATCH 12/61] deps/wasm-semantics: 25796a7 - Binary parser finish
 (#386)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index b16a303..25796a7 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit b16a303a5130055bce9e09b2133b73c8eef397e0
+Subproject commit 25796a7607df34803deda6e346c89db134afb95e

From a724487e449875cf7c886fc91a5883702a7b1a9f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 18 Nov 2020 17:55:35 +0000
Subject: [PATCH 13/61] deps/wasm-semantics: 011b0c2 - Update dependency:
 deps/k (#380)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 25796a7..011b0c2 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 25796a7607df34803deda6e346c89db134afb95e
+Subproject commit 011b0c25d281f9d759efe2735765f6eb0956fd77

From 74cb4346cff83fec39069240492d0e6bbfccc399 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Sat, 28 Nov 2020 13:52:10 +0000
Subject: [PATCH 14/61] deps/wasm-semantics: 3a9480c - Bugfix/workaround (#387)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 011b0c2..3a9480c 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 011b0c25d281f9d759efe2735765f6eb0956fd77
+Subproject commit 3a9480c17a4cfa1473ab5d1b084c4e5bf9c6a232

From 21c97aa0c20332f5d428f7b46e345c43a1b5623a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 2 Dec 2020 14:55:35 +0000
Subject: [PATCH 15/61] deps/wasm-semantics: 8a4befc - deps/k: 5701be4c6 - use
 llvm 8 on debian buster via backports (#1677) (#388)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 3a9480c..8a4befc 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 3a9480c17a4cfa1473ab5d1b084c4e5bf9c6a232
+Subproject commit 8a4befc01b812531521c2524c2a7ef56a875586b

From 46c9eefbd525ea154a470f0456ffbd4a1581c2ee Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 16 Dec 2020 17:52:43 +0000
Subject: [PATCH 16/61] deps/wasm-semantics: 4396761 - deps/k: a102945f6 -
 Update dependency: haskell-backend/src/main/native/haskell-backend (#1702)
 (#389)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 8a4befc..4396761 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 8a4befc01b812531521c2524c2a7ef56a875586b
+Subproject commit 4396761a8c980a898d0c36d37c44f512755c5ae1

From 7421af37856500de26d9f03fc3b0b3576dbcc383 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 17 Dec 2020 14:55:00 +0000
Subject: [PATCH 17/61] deps/wasm-semantics: ec3b2df - Update dependency:
 deps/k (#390)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 4396761..ec3b2df 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 4396761a8c980a898d0c36d37c44f512755c5ae1
+Subproject commit ec3b2df549728ae19463ac6cc5b0b89abf35b5b8

From 2e6369aae45e5bcfc35281811c67c25e1fce2499 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 18 Dec 2020 11:54:53 +0000
Subject: [PATCH 18/61] deps/wasm-semantics: ba01089 - deps/k: f35d613f4 -
 haskell-backend/src/main/native/haskell-backend: 770f15d7 - Clean up built-in
 types (#2310) (#1718) (#391)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index ec3b2df..ba01089 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit ec3b2df549728ae19463ac6cc5b0b89abf35b5b8
+Subproject commit ba010896393a6c5f59e0344a079365b3a4af21df

From e9e2a424f2ddad2b322089653ba68333c6ec7702 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 18 Dec 2020 21:37:36 +0000
Subject: [PATCH 19/61] deps/wasm-semantics: 3ecb957 - Filename metadata (#392)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index ba01089..3ecb957 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit ba010896393a6c5f59e0344a079365b3a4af21df
+Subproject commit 3ecb95705f004e6f49daea462b0331c0bcab59e1

From 0715909ad7f1180acd68ca5fdeab002c39908238 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 11 Jan 2021 12:52:03 +0000
Subject: [PATCH 20/61] deps/wasm-semantics: 567c7dc - Update dependency:
 deps/k (#393)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 3ecb957..567c7dc 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 3ecb95705f004e6f49daea462b0331c0bcab59e1
+Subproject commit 567c7dc510fbaa321387934996d5a3049c5716d2

From 3588a9baeb80f87a45a6cb0bf73aeefec6878c6a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 11 Jan 2021 21:52:38 +0000
Subject: [PATCH 21/61] deps/wasm-semantics: b52d464 - deps/k: 80de15107 -
 Re-apply "Haskell symbolic lookup rule (#1661)" (#1732) (#394)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 567c7dc..b52d464 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 567c7dc510fbaa321387934996d5a3049c5716d2
+Subproject commit b52d46461371ce7fda47280de2df5b9cacb038e9

From b1d1a50ed1f7978d56643c3244a618a77c251e53 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 12 Jan 2021 11:52:05 +0000
Subject: [PATCH 22/61] deps/wasm-semantics: 0e69a30 - deps/k: 1af793e0a -
 Update dependency: llvm-backend/src/main/native/llvm-backend (#1727) (#395)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index b52d464..0e69a30 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit b52d46461371ce7fda47280de2df5b9cacb038e9
+Subproject commit 0e69a30c81bfa2e7cd9b2312cda4c21e6ae442fa

From 81d6a233bcf286196c64ec18ff70c25d0bf77d27 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 20 Jan 2021 10:55:11 +0000
Subject: [PATCH 23/61] deps/wasm-semantics: 6c5ab65 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 0e69a30..6c5ab65 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 0e69a30c81bfa2e7cd9b2312cda4c21e6ae442fa
+Subproject commit 6c5ab651dbdac5138d6dd1eee27e6f26e916f4fc

From f3ae3deafbdf232903563dcb85a68f9b51b070f8 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 22 Jan 2021 20:45:44 +0000
Subject: [PATCH 24/61] deps/wasm-semantics: 54628fd - Improve the way to
 tranforming python bytes to K bytes. (#397)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 6c5ab65..54628fd 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 6c5ab651dbdac5138d6dd1eee27e6f26e916f4fc
+Subproject commit 54628fd37c753dbeb13bc50389a043bd168a4f2a

From 83e29001d492dd71f7ed3222aee7f6b3fbc64677 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 25 Jan 2021 12:55:07 +0000
Subject: [PATCH 25/61] deps/wasm-semantics: f8ea520 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 54628fd..f8ea520 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 54628fd37c753dbeb13bc50389a043bd168a4f2a
+Subproject commit f8ea520fe873212491eeaa79eef67b3260d9b8ff

From 1b784ea40a3f0746da9385443d35a6d3e11992cd Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 4 Feb 2021 14:59:54 +0000
Subject: [PATCH 26/61] deps/wasm-semantics: 457185b - fix kwasm_ast.py (#400)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index f8ea520..457185b 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit f8ea520fe873212491eeaa79eef67b3260d9b8ff
+Subproject commit 457185bce5646b05f02faa989229b0e06bec01a1

From 9ddad48a19e299b873152a5bb7c8d6898b855892 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 16 Feb 2021 11:51:57 +0000
Subject: [PATCH 27/61] deps/wasm-semantics: e983ca5 - fix kwasm_ast

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 457185b..e983ca5 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 457185bce5646b05f02faa989229b0e06bec01a1
+Subproject commit e983ca5babe4eae9aeeab8749be1aadad489027c

From 47ec44c3e75f0912b5be5034878f50b14210a14e Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 19 Feb 2021 15:24:29 +0000
Subject: [PATCH 28/61] deps/wasm-semantics: c730783 - Update dependency:
 deps/k (#399)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index e983ca5..c730783 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit e983ca5babe4eae9aeeab8749be1aadad489027c
+Subproject commit c7307832ee7cc2245dc2b96811b9edce41ab5355

From bc3feb7bb0931b440f832af223bae640b6616778 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 23 Feb 2021 12:54:46 +0000
Subject: [PATCH 29/61] deps/wasm-semantics: 729a710 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index c730783..729a710 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit c7307832ee7cc2245dc2b96811b9edce41ab5355
+Subproject commit 729a710247dafd599f21dc9a3026d048fd5ad401

From 4b57e0b009e984d699a73e7da76fdae190aa4cee Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 25 Feb 2021 11:54:46 +0000
Subject: [PATCH 30/61] deps/wasm-semantics: 32f59f3 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 729a710..32f59f3 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 729a710247dafd599f21dc9a3026d048fd5ad401
+Subproject commit 32f59f3425b316535fd5d276f8b6a8a3aa6ddfb8

From bb84d6a5fed0d5844094a3f2cb1b848ba7defdaf Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 26 Feb 2021 11:54:46 +0000
Subject: [PATCH 31/61] deps/wasm-semantics: 5af6830 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 32f59f3..5af6830 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 32f59f3425b316535fd5d276f8b6a8a3aa6ddfb8
+Subproject commit 5af6830acf20f75a185ba51d7c94e962c416876e

From 6c532a9b1162643a95b5ab2e0776f80854f2604a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 2 Mar 2021 10:54:51 +0000
Subject: [PATCH 32/61] deps/wasm-semantics: 193ded2 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 5af6830..193ded2 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 5af6830acf20f75a185ba51d7c94e962c416876e
+Subproject commit 193ded253769d5676d83753ea27165807f521648

From f37fe688292a6b9f10db05a8f01a71ce9aac2e0b Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 3 Mar 2021 17:55:31 +0000
Subject: [PATCH 33/61] deps/wasm-semantics: d90d593 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 193ded2..d90d593 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 193ded253769d5676d83753ea27165807f521648
+Subproject commit d90d593c23481e4c4660a79a3bdf7cc87bb54c3b

From 8a4feb855354edc5755df81de6f397e482b24cdf Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 4 Mar 2021 15:00:58 +0000
Subject: [PATCH 34/61] deps/wasm-semantics: c3f4e37 - fix kwasm script (#407)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index d90d593..c3f4e37 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit d90d593c23481e4c4660a79a3bdf7cc87bb54c3b
+Subproject commit c3f4e376cbb1ef3d518898d17107147982acc481

From f23b2e5fdcf36cdbaf682dcb54d8f8daa208e8fc Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 5 Mar 2021 13:55:05 +0000
Subject: [PATCH 35/61] deps/wasm-semantics: 2c91ae7 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index c3f4e37..2c91ae7 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit c3f4e376cbb1ef3d518898d17107147982acc481
+Subproject commit 2c91ae7e1c2551588fe56b2a805ca3c2632258e6

From af0b1cd0c0d850b06cb9482767145bd7913aa52f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 9 Mar 2021 14:55:41 +0000
Subject: [PATCH 36/61] deps/wasm-semantics: 0baa7a3 - Update dependency:
 deps/k

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 2c91ae7..0baa7a3 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 2c91ae7e1c2551588fe56b2a805ca3c2632258e6
+Subproject commit 0baa7a3acb60732864db04db7410dd7b64c4f226

From 10b4776397885d54ecd319d2b4163ae5cce1aa3c Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 11 Mar 2021 15:46:14 +0000
Subject: [PATCH 37/61] deps/wasm-semantics: b6ca755 - Fix load signed integer
 (#410)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 0baa7a3..b6ca755 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 0baa7a3acb60732864db04db7410dd7b64c4f226
+Subproject commit b6ca7557d4cfc92a566bacbe89cf4dcb2f0a8ad7

From 2f711e52580a5beb735d7928f587cdadae7186ec Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 15 Mar 2021 15:53:10 +0000
Subject: [PATCH 38/61] deps/wasm-semantics: 66e0091 - Bugfix binary parser
 (#411)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index b6ca755..66e0091 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit b6ca7557d4cfc92a566bacbe89cf4dcb2f0a8ad7
+Subproject commit 66e009121d6f391fcbf1313cdd724dc5f6099f17

From d7cdfa6e3f6215f835d223499271fb83c203d53b Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 17 Mar 2021 15:55:29 +0000
Subject: [PATCH 39/61] deps/wasm-semantics: 72234c8 - Update dependency:
 deps/k (#412)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 66e0091..72234c8 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 66e009121d6f391fcbf1313cdd724dc5f6099f17
+Subproject commit 72234c845ff5a7920e8be70655a6b5318afcdf70

From b33cacddab94d63163f3b2d02087f1909575569a Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 7 Apr 2021 13:18:19 +0000
Subject: [PATCH 40/61] deps/wasm-semantics: 596c03c - introduce BlockMetaData
 for measureing wasm coverage (#414)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 72234c8..596c03c 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 72234c845ff5a7920e8be70655a6b5318afcdf70
+Subproject commit 596c03cba450bfe1a008affca0f83992a446043e

From 9edc84467f8b2b6d9a1def632afc0d186d6ff49c Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 13 Apr 2021 17:31:40 +0000
Subject: [PATCH 41/61] deps/wasm-semantics: 237c8a7 - use pre-order traverse
 when assigning block id (#415)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 596c03c..237c8a7 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 596c03cba450bfe1a008affca0f83992a446043e
+Subproject commit 237c8a7373e4ac5b8ece339efdb65ca8cec4e0ef

From 836857c95ce76d12df45bdff3481357e7932034b Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 22 Apr 2021 16:55:42 +0000
Subject: [PATCH 42/61] deps/wasm-semantics: 267df8b - Update dependency:
 deps/k (#413)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 237c8a7..267df8b 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 237c8a7373e4ac5b8ece339efdb65ca8cec4e0ef
+Subproject commit 267df8baed8a69f9c5473c400df085c75c8c7ec0

From 57be980179d91d5e93b35fb304a402f172fe04a0 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 23 Apr 2021 15:56:10 +0000
Subject: [PATCH 43/61] deps/wasm-semantics: 7e5a430 - Update dependency:
 deps/k (#416)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 267df8b..7e5a430 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 267df8baed8a69f9c5473c400df085c75c8c7ec0
+Subproject commit 7e5a430291fdf0244bcf4efdef207d3c9279ff2d

From f665c0696271ee1f1dd7c39af960e28ad92eda9d Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 27 Apr 2021 15:58:34 +0000
Subject: [PATCH 44/61] deps/wasm-semantics: 5dea9b4 - Update dependency:
 deps/k (#417)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 7e5a430..5dea9b4 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 7e5a430291fdf0244bcf4efdef207d3c9279ff2d
+Subproject commit 5dea9b49c544a78de60d69e1a6608e8d4d86c951

From a160ebe86a7ac9ef4b2fe2ed1b7ff8c1f66a2fde Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 29 Apr 2021 14:57:26 +0000
Subject: [PATCH 45/61] deps/wasm-semantics: 1a77e82 - Update dependency:
 deps/k (#418)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 5dea9b4..1a77e82 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 5dea9b49c544a78de60d69e1a6608e8d4d86c951
+Subproject commit 1a77e82c9c067dac7261856cf6870e7990772684

From 1470c6dad96895a86f0dcfd5b4157958d35aff03 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 6 May 2021 13:56:06 +0000
Subject: [PATCH 46/61] deps/wasm-semantics: 9b39eb4 - Update dependency:
 deps/k (#419)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 1a77e82..9b39eb4 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 1a77e82c9c067dac7261856cf6870e7990772684
+Subproject commit 9b39eb4cb50002d854af1b67e64a34798b341f8e

From 0ff13d11ef82130946c60a43687c2606662977a3 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 7 May 2021 11:56:42 +0000
Subject: [PATCH 47/61] deps/wasm-semantics: ee08dc9 - Update dependency:
 deps/k (#420)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 9b39eb4..ee08dc9 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 9b39eb4cb50002d854af1b67e64a34798b341f8e
+Subproject commit ee08dc9e052b158d4ddbead8ba6f85b5eedae1d4

From 6d2b48b94806c0e7639efed7c4f9f8e021f2f2a0 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 13 May 2021 11:53:14 +0000
Subject: [PATCH 48/61] deps/wasm-semantics: 1608e7e - Update dependency:
 deps/k (#421)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index ee08dc9..1608e7e 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit ee08dc9e052b158d4ddbead8ba6f85b5eedae1d4
+Subproject commit 1608e7e34e6c68d5562574003f115610f462333b

From 5550dd2edfbbe4abfb63e3394fbe540a3facb67b Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 19 May 2021 12:55:53 +0000
Subject: [PATCH 49/61] deps/wasm-semantics: aaffe55 - Update dependency:
 deps/k (#422)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 1608e7e..aaffe55 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 1608e7e34e6c68d5562574003f115610f462333b
+Subproject commit aaffe55408c598e784045a140b1ee4b72c2f1798

From d40706d4642a1c72366f2b85701a26ee554668b1 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 19 May 2021 18:53:38 +0000
Subject: [PATCH 50/61] deps/wasm-semantics: 2713385 - Update dependency:
 deps/k (#423)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index aaffe55..2713385 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit aaffe55408c598e784045a140b1ee4b72c2f1798
+Subproject commit 27133855f5d23bbafd72e24ae052bc147fee1028

From 8024a1277abe0f1108f9f75f7e3074eda2417d97 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 20 May 2021 18:56:48 +0000
Subject: [PATCH 51/61] deps/wasm-semantics: 988712d - Update dependency:
 deps/k (#424)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 2713385..988712d 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 27133855f5d23bbafd72e24ae052bc147fee1028
+Subproject commit 988712d044b4931f3657fbfbe30eba1c38dbf08b

From 0e473b914307cf1678c5477846129327c96b034c Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 31 May 2021 14:53:28 +0000
Subject: [PATCH 52/61] deps/wasm-semantics: b7a4117 - Update dependency:
 deps/k (#425)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 988712d..b7a4117 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 988712d044b4931f3657fbfbe30eba1c38dbf08b
+Subproject commit b7a4117a4458e8dafe39dc97f61eba380f396420

From 451ffc69ce9dd1fd2c3b331b454cf8d19ad7a837 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 2 Jun 2021 09:53:49 +0000
Subject: [PATCH 53/61] deps/wasm-semantics: 61d557d - Update dependency:
 deps/k (#426)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index b7a4117..61d557d 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit b7a4117a4458e8dafe39dc97f61eba380f396420
+Subproject commit 61d557dfe710dcebca0c48d32dbc12692d462a31

From 56c9465ca75b5249926affae133f5eb4bd5eb51f Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 7 Jun 2021 15:53:37 +0000
Subject: [PATCH 54/61] deps/wasm-semantics: 410dd71 - Update dependency:
 deps/k (#427)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 61d557d..410dd71 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 61d557dfe710dcebca0c48d32dbc12692d462a31
+Subproject commit 410dd710c4a6c582215ffcfd75379aebc3fa2f7f

From 18e1f02e7d517ecdf31b552042314a70442e8224 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 18 Jun 2021 14:58:23 +0000
Subject: [PATCH 55/61] deps/wasm-semantics: 223f825 - Using '+=' instead of
 '=' when setting KPROVE_OPTS (#429)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 410dd71..223f825 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 410dd710c4a6c582215ffcfd75379aebc3fa2f7f
+Subproject commit 223f82594b20b3e1fcddfbc58aa3f752b9de16bb

From 9769c18d72765d0e1783efcad4d2e715a96ea150 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 19 Oct 2021 16:42:49 +0000
Subject: [PATCH 56/61] deps/wasm-semantics: 6d14ebe - Jenkinsfile: correct
 devops job name (#440)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 223f825..6d14ebe 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 223f82594b20b3e1fcddfbc58aa3f752b9de16bb
+Subproject commit 6d14ebe1a48051b65c0859e7974c77e1ea5e38a3

From e299c6a82d754a75b1d57b14148f96ec5c3779a6 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Wed, 20 Oct 2021 17:45:33 +0000
Subject: [PATCH 57/61] deps/wasm-semantics: 98a0c04 - Update dependency:
 deps/k (#439)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 6d14ebe..98a0c04 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 6d14ebe1a48051b65c0859e7974c77e1ea5e38a3
+Subproject commit 98a0c04ebc95dc894d4ed55239f67d829e5c8ad4

From 4877a87694aa20ce3b137dbd97c35fd5fe5b3f92 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Mon, 25 Oct 2021 16:49:57 +0000
Subject: [PATCH 58/61] deps/wasm-semantics: a45efcd - Bump Z3 version to
 4.8.11 (#436)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index 98a0c04..a45efcd 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 98a0c04ebc95dc894d4ed55239f67d829e5c8ad4
+Subproject commit a45efcdd823a4367bf11cbd4d42d9e13beb809b1

From c0ceb90f6f0d37e81cacb880c8e077219500470e Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Tue, 2 Nov 2021 13:47:37 +0000
Subject: [PATCH 59/61] deps/wasm-semantics: c69e753 - Update dependency:
 deps/k (#441)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index a45efcd..c69e753 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit a45efcdd823a4367bf11cbd4d42d9e13beb809b1
+Subproject commit c69e753ccbb26c3d520d7f804e443da3623cb5ff

From dae813a2c2129c9440d0b410ae6586d936d5dea6 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Thu, 11 Nov 2021 14:50:15 +0000
Subject: [PATCH 60/61] deps/wasm-semantics: e947e05 - Update dependency:
 deps/k (#442)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index c69e753..e947e05 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit c69e753ccbb26c3d520d7f804e443da3623cb5ff
+Subproject commit e947e05acea028df9889f9795c5549c6b7243a6d

From 21ad8a9f059849e42b8cd72f7b2475f70d46ba81 Mon Sep 17 00:00:00 2001
From: RV Jenkins <admin@runtimeverification.com>
Date: Fri, 12 Nov 2021 06:20:24 +0000
Subject: [PATCH 61/61] deps/wasm-semantics: e3553e5 - Update dependency:
 deps/k (#443)

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

diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index e947e05..e3553e5 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit e947e05acea028df9889f9795c5549c6b7243a6d
+Subproject commit e3553e575860a7be2de0f175b4cd1588a0bf0c45