From 4d00107029bd666d098f037c1afc43f4069425d7 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 21 Jan 2022 17:20:35 +0000 Subject: [PATCH 01/16] deps/wasm-semantics: 303e945 - update Jenkinsfile with new path to repo (#446) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index a959393..303e945 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit a95939358242fd7050c0a94b606d04c1cb1e8fea +Subproject commit 303e94506e38a0ec24a7e379bf97930f27bcba68 From 40e2cd6f5679441aa562c1f4277917e1b439527e Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 21 Jan 2022 18:44:30 +0000 Subject: [PATCH 02/16] deps/wasm-semantics: b55146f - Move macro labels from rules to productions (#445) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 303e945..b55146f 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 303e94506e38a0ec24a7e379bf97930f27bcba68 +Subproject commit b55146f6dac78feb029318e537e8fca53f12fd52 From 7e0bba1fab6a8740a9ba7fe08f1804beac264800 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 19 Apr 2022 16:30:45 +0000 Subject: [PATCH 03/16] deps/wasm-semantics: 6b2e75e - Bump Z3 version to 4.8.15 (#448) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index b55146f..6b2e75e 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit b55146f6dac78feb029318e537e8fca53f12fd52 +Subproject commit 6b2e75eef7c14d06ad8c98d385c53ee2163cf1e0 From c5343b9d7cb7f5cfafaa3c1faf5981f71042ece4 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 3 May 2022 13:31:34 +0000 Subject: [PATCH 04/16] deps/wasm-semantics: c1ee3e9 - Update dependency: deps/k (#447) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 6b2e75e..c1ee3e9 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 6b2e75eef7c14d06ad8c98d385c53ee2163cf1e0 +Subproject commit c1ee3e9c6aeae298819478595595d2896145e3d2 From f04959f8a6023d5b72f06beffabd8f8c90d43e6f Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 4 May 2022 11:39:03 +0000 Subject: [PATCH 05/16] deps/wasm-semantics: bc45a39 - Update dependency: deps/k (#450) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index c1ee3e9..bc45a39 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit c1ee3e9c6aeae298819478595595d2896145e3d2 +Subproject commit bc45a39077cdf1356db8e543f20b37911dfd2401 From d9bca757c5c46b80a8dd31edcef989798f894c12 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 4 May 2022 14:08:09 +0000 Subject: [PATCH 06/16] deps/wasm-semantics: 0518df7 - Update dependency: deps/k (#452) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index bc45a39..0518df7 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit bc45a39077cdf1356db8e543f20b37911dfd2401 +Subproject commit 0518df7be9c79c1817d6a5d2c014c2b2ad5c4ed1 From 503256b142356cfadf171a44c2d656a7d649883e Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 10 May 2022 14:29:29 +0000 Subject: [PATCH 07/16] deps/wasm-semantics: dc6c938 - Deprecate old `kprove` tool (#451) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 0518df7..dc6c938 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 0518df7be9c79c1817d6a5d2c014c2b2ad5c4ed1 +Subproject commit dc6c938739dcce0508c1acc0fb168f1c3c45bde3 From 4a41fcd5c885f6f7cde3dfb2ec2b88d1d7f89582 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 10 May 2022 15:29:36 +0000 Subject: [PATCH 08/16] deps/wasm-semantics: 617b2be - Update dependency: deps/k (#453) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index dc6c938..617b2be 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit dc6c938739dcce0508c1acc0fb168f1c3c45bde3 +Subproject commit 617b2be103d9fed2961a4ee7bcf81a5215ebb0ca From c963ace3fbc48ee80d8b3d7aca0b835caeb1f5f1 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 13 Mar 2023 01:04:25 +0000 Subject: [PATCH 09/16] deps/wasm-semantics: 813d545 - Update k version (#455) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 617b2be..813d545 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 617b2be103d9fed2961a4ee7bcf81a5215ebb0ca +Subproject commit 813d5454cd50b6dea193ee50b610b40b4efb19df From 4b9f78cf7781bafc71c93711509ef600a64ad3b1 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 14 Mar 2023 17:32:33 +0000 Subject: [PATCH 10/16] deps/wasm-semantics: 2bb8303 - Create project `pykwasm` (#457) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 813d545..2bb8303 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 813d5454cd50b6dea193ee50b610b40b4efb19df +Subproject commit 2bb83036f8b083d76022176152e74b3e8174cad2 From afb3bdbce4b6be28055ebb75ff67e7f628c1c083 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Thu, 16 Mar 2023 06:47:19 +0000 Subject: [PATCH 11/16] deps/wasm-semantics: 0179d76 - add 'Binary Parse' stage (#458) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 2bb8303..0179d76 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 2bb83036f8b083d76022176152e74b3e8174cad2 +Subproject commit 0179d760265a22b51374d74268be0a25553d2404 From 1e0b8628b445d28a4bf21c24b19b5d4825c1390a Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 17 Mar 2023 13:00:07 +0000 Subject: [PATCH 12/16] deps/wasm-semantics: 33ffe1d - Fix `KBytes` (#459) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 0179d76..33ffe1d 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 0179d760265a22b51374d74268be0a25553d2404 +Subproject commit 33ffe1d7f79d21be8617fdfec5e57be19d819015 From 42021fbf0524707eb57aae4768174f55ec28b723 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 17 Mar 2023 22:05:36 +0000 Subject: [PATCH 13/16] deps/wasm-semantics: b06e116 - Update dependency: deps/k_release (#461) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 33ffe1d..b06e116 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 33ffe1d7f79d21be8617fdfec5e57be19d819015 +Subproject commit b06e116951d6de097eaa04674787800738353af7 From a452e2d8df421cd06168e46b6dbd777569b93861 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Tue, 21 Mar 2023 20:06:08 +0000 Subject: [PATCH 14/16] deps/wasm-semantics: 8df13bc - Update dependency: deps/k_release (#463) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index b06e116..8df13bc 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit b06e116951d6de097eaa04674787800738353af7 +Subproject commit 8df13bcba5a5b2b01c9135c6d824b5c3d9e2a5ca From d40bd28c93aa471151ca657f1ead0ff9209d38de Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 22 Mar 2023 12:58:42 +0000 Subject: [PATCH 15/16] deps/wasm-semantics: f65d0bd - Update dependency: deps/pyk_release (#462) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 8df13bc..f65d0bd 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 8df13bcba5a5b2b01c9135c6d824b5c3d9e2a5ca +Subproject commit f65d0bd15ec4ed9d4a751d6d75ce9d14a2ecf6d4 From 4fb49d3fef05ba4c95acd6f4f0bc1695653de5b2 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Wed, 22 Mar 2023 20:26:52 +0000 Subject: [PATCH 16/16] deps/wasm-semantics: 0370a55 - Update dependency: deps/k_release (#464) --- deps/wasm-semantics | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/wasm-semantics b/deps/wasm-semantics index f65d0bd..0370a55 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit f65d0bd15ec4ed9d4a751d6d75ce9d14a2ecf6d4 +Subproject commit 0370a5559aa7d00180187108ec4b99a21e9a8538