From 5be9df9b8caa29057aa246f2a143719a4072b872 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 13 Jul 2023 11:47:01 +0000
Subject: [PATCH 01/32] deps/k_release: Set Version 6.0.22

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

diff --git a/deps/k_release b/deps/k_release
index c7d48f048..634c8cb68 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.10
+6.0.22

From f65b41c9381ee59af04fc54f06017947eebb20ff Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 13 Jul 2023 16:46:19 +0000
Subject: [PATCH 02/32] deps/k_release: Set Version 6.0.24

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

diff --git a/deps/k_release b/deps/k_release
index 634c8cb68..11f6712c8 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.22
+6.0.24

From ee49167e9164c4fcbc60fbf4c77a6da37059103a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 18 Jul 2023 11:07:25 +0000
Subject: [PATCH 03/32] deps/k_release: Set Version 6.0.25

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

diff --git a/deps/k_release b/deps/k_release
index 11f6712c8..daf37237b 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.24
+6.0.25

From 4e69fdd65edce9ac0874dafb9bb78909ccf1cc13 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 20 Jul 2023 11:12:54 +0000
Subject: [PATCH 04/32] deps/k_release: Set Version 6.0.27

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

diff --git a/deps/k_release b/deps/k_release
index daf37237b..6909f3622 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.25
+6.0.27

From f947bc7099bf254f375d7a3eff84a806442cc6e4 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 26 Jul 2023 17:32:47 +0000
Subject: [PATCH 05/32] deps/k_release: Set Version 6.0.33

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

diff --git a/deps/k_release b/deps/k_release
index 6909f3622..1e01eadcc 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.27
+6.0.33

From 7a1e473023a0ab74328af10774f956ae40b9de8a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 27 Jul 2023 20:37:52 +0000
Subject: [PATCH 06/32] deps/k_release: Set Version 6.0.36

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

diff --git a/deps/k_release b/deps/k_release
index 1e01eadcc..290c47f4a 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.33
+6.0.36

From 09027daf5589c7aa0c6f4610149c22b1339a07ab Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 4 Aug 2023 02:02:46 +0000
Subject: [PATCH 07/32] deps/k_release: Set Version 6.0.44

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

diff --git a/deps/k_release b/deps/k_release
index 290c47f4a..80a66f49c 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.36
+6.0.44

From e099b84c3afde37d15937f9fb6caf101788de9c0 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 9 Aug 2023 16:25:11 +0000
Subject: [PATCH 08/32] deps/k_release: Set Version 6.0.48

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

diff --git a/deps/k_release b/deps/k_release
index 80a66f49c..f9bedf88d 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.44
+6.0.48

From 9fa6cb27312092134de2ea84e0cac3ebbcc3c8df Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 10 Aug 2023 16:08:54 +0000
Subject: [PATCH 09/32] deps/k_release: Set Version 6.0.50

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

diff --git a/deps/k_release b/deps/k_release
index f9bedf88d..cc94f6b80 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.48
+6.0.50

From 74d1c954263d3d863c4e04dd59477438be3e9cb7 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 11 Aug 2023 15:53:54 +0000
Subject: [PATCH 10/32] deps/k_release: Set Version 6.0.52

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

diff --git a/deps/k_release b/deps/k_release
index cc94f6b80..fa9e6406b 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.50
+6.0.52

From 4d88dc1a81affc4f75f70a375421f08f2a49da7e Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 15 Aug 2023 22:32:03 +0000
Subject: [PATCH 11/32] deps/k_release: Set Version 6.0.58

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

diff --git a/deps/k_release b/deps/k_release
index fa9e6406b..898098765 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.52
+6.0.58

From 3b752bd12913193ee78a5321ec9b2fd2c6e5b915 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 16 Aug 2023 19:40:29 +0000
Subject: [PATCH 12/32] deps/k_release: Set Version 6.0.59

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

diff --git a/deps/k_release b/deps/k_release
index 898098765..1a1b38daa 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.58
+6.0.59

From 80fb811e99864a7be4d48c3e76f0a38ed213d359 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 16 Aug 2023 22:47:12 +0000
Subject: [PATCH 13/32] deps/k_release: Set Version 6.0.60

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

diff --git a/deps/k_release b/deps/k_release
index 1a1b38daa..80007836e 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.59
+6.0.60

From b93c1f97d395edceb6b49a22640eaa1843b213f1 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 17 Aug 2023 13:20:11 +0000
Subject: [PATCH 14/32] deps/k_release: Set Version 6.0.61

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

diff --git a/deps/k_release b/deps/k_release
index 80007836e..268f3accb 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.60
+6.0.61

From 80a2d6936c8f5d02b9c497f3bad3aa55c2b0b035 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 17 Aug 2023 16:21:50 +0000
Subject: [PATCH 15/32] deps/k_release: Set Version 6.0.62

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

diff --git a/deps/k_release b/deps/k_release
index 268f3accb..6675a08f9 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.61
+6.0.62

From a95748b308e8c7e166dd0a05bbe1843e2ada8f4c Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 17 Aug 2023 19:32:41 +0000
Subject: [PATCH 16/32] deps/k_release: Set Version 6.0.63

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

diff --git a/deps/k_release b/deps/k_release
index 6675a08f9..ac37da229 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.62
+6.0.63

From 2feb4f16a173233c04b6d37204f1dc1607604673 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 22 Aug 2023 21:32:27 +0000
Subject: [PATCH 17/32] deps/k_release: Set Version 6.0.67

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

diff --git a/deps/k_release b/deps/k_release
index ac37da229..f889afac1 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.63
+6.0.67

From 2f3d7b486abdde1a7f2a2cec69062056ca6d83b6 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 23 Aug 2023 19:07:05 +0000
Subject: [PATCH 18/32] deps/k_release: Set Version 6.0.68

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

diff --git a/deps/k_release b/deps/k_release
index f889afac1..e75a79231 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.67
+6.0.68

From adc6ee481d54e51a6bb247aa57e7e85892fbfd75 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 23 Aug 2023 21:12:25 +0000
Subject: [PATCH 19/32] deps/k_release: Set Version 6.0.69

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

diff --git a/deps/k_release b/deps/k_release
index e75a79231..c6a0785c7 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.68
+6.0.69

From 2750580f2cd9caa47ce377765c9cea6ff994f483 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 5 Sep 2023 20:45:40 +0000
Subject: [PATCH 20/32] deps/k_release: Set Version 6.0.84

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

diff --git a/deps/k_release b/deps/k_release
index c6a0785c7..e286b6c3c 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.69
+6.0.84

From fd3065a7e669b1cc9e0ddcc4d317be3ad97e5750 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 6 Sep 2023 00:37:38 +0000
Subject: [PATCH 21/32] deps/k_release: Set Version 6.0.87

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

diff --git a/deps/k_release b/deps/k_release
index e286b6c3c..452ca3951 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.84
+6.0.87

From 777a7af761bf095d4a9d8ee549b420e89fa55b35 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 13 Sep 2023 11:27:29 +0000
Subject: [PATCH 22/32] deps/k_release: Set Version 6.0.93

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

diff --git a/deps/k_release b/deps/k_release
index 452ca3951..71858d966 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.87
+6.0.93

From 82715259a497e84652b1e42998dbd7420ccb8483 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 13 Sep 2023 16:59:43 +0000
Subject: [PATCH 23/32] deps/k_release: Set Version 6.0.94

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

diff --git a/deps/k_release b/deps/k_release
index 71858d966..241f2cb53 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.93
+6.0.94

From 4142ad31415d9eb2925210be9149f25f095f466b Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 14 Sep 2023 16:41:11 +0000
Subject: [PATCH 24/32] deps/k_release: Set Version 6.0.95

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

diff --git a/deps/k_release b/deps/k_release
index 241f2cb53..1b857cee7 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.94
+6.0.95

From eac2b0ec2a2572a888deb4327adc47c23d59c46a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 15 Sep 2023 00:30:50 +0000
Subject: [PATCH 25/32] deps/k_release: Set Version 6.0.97

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

diff --git a/deps/k_release b/deps/k_release
index 1b857cee7..e7d9913b9 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.95
+6.0.97

From 97c5fd91448c677a9de3ecb06ffda4072b4dad67 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 15 Sep 2023 19:36:59 +0000
Subject: [PATCH 26/32] deps/k_release: Set Version 6.0.99

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

diff --git a/deps/k_release b/deps/k_release
index e7d9913b9..7f5364117 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.97
+6.0.99

From 88c392bb038167f7419a92d7aa03d70edf61f117 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 19 Sep 2023 17:26:57 +0000
Subject: [PATCH 27/32] deps/k_release: Set Version 6.0.102

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

diff --git a/deps/k_release b/deps/k_release
index 7f5364117..a46efc95b 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.99
+6.0.102

From 024a8a00feee9debc112e7db4e4e0d65842540ef Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 20 Sep 2023 20:05:55 +0000
Subject: [PATCH 28/32] deps/k_release: Set Version 6.0.103

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

diff --git a/deps/k_release b/deps/k_release
index a46efc95b..8aae7630a 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.102
+6.0.103

From 2a9e9425dbea10ea55b7e99816be07c88462feb7 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 20 Sep 2023 22:31:00 +0000
Subject: [PATCH 29/32] deps/k_release: Set Version 6.0.107

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

diff --git a/deps/k_release b/deps/k_release
index 8aae7630a..070dc6db5 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.103
+6.0.107

From 38878dc91e810dc6199a26d2e29706502cce0ee4 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 27 Sep 2023 11:19:37 +0000
Subject: [PATCH 30/32] deps/k_release: Set Version 6.0.118

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

diff --git a/deps/k_release b/deps/k_release
index 070dc6db5..2704c680a 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.107
+6.0.118

From 4039f07abfd36fd169087e30660820919b82f825 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 27 Sep 2023 18:29:13 +0000
Subject: [PATCH 31/32] deps/k_release: Set Version 6.0.119

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

diff --git a/deps/k_release b/deps/k_release
index 2704c680a..0ce3ae8a8 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.118
+6.0.119

From 4ebc5d9a8b4d61be10c73eac86c9690ecfe054c7 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Wed, 27 Sep 2023 11:09:21 -0500
Subject: [PATCH 32/32] update to latest version of llvm backend

---
 plugin-c/json.cpp        | 2 +-
 plugin-c/plugin_util.cpp | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugin-c/json.cpp b/plugin-c/json.cpp
index 40f5c9b6a..190b703d6 100644
--- a/plugin-c/json.cpp
+++ b/plugin-c/json.cpp
@@ -113,7 +113,7 @@ struct KoreHandler : BaseReaderHandler<UTF8<>, KoreHandler> {
     stringinj *inj = (stringinj *)koreAlloc(sizeof(stringinj));
     inj->h = strHdr;
     string *token = (string *)koreAllocToken(sizeof(string) + len);
-    set_len(token, len);
+    init_with_len(token, len);
     memcpy(token->data, str, len);
     inj->data = token;
     result = (block *)inj;
diff --git a/plugin-c/plugin_util.cpp b/plugin-c/plugin_util.cpp
index 021a16aeb..dacbb5189 100644
--- a/plugin-c/plugin_util.cpp
+++ b/plugin-c/plugin_util.cpp
@@ -3,7 +3,7 @@
 extern "C" {
 string* allocString(size_t len) {
   struct string *result = (struct string *)koreAllocToken(len + sizeof(string));
-  set_len(result, len);
+  init_with_len(result, len);
   return result;
 }