Update dependency: deps/k_release (#156)

* deps/k_release: Set Version 6.0.22 * deps/k_release: Set Version 6.0.24 * deps/k_release: Set Version 6.0.25 * deps/k_release: Set Version 6.0.27 * deps/k_release: Set Version 6.0.33 * deps/k_release: Set Version 6.0.36 * deps/k_release: Set Version 6.0.44 * deps/k_release: Set Version 6.0.48 * deps/k_release: Set Version 6.0.50 * deps/k_release: Set Version 6.0.52 * deps/k_release: Set Version 6.0.58 * deps/k_release: Set Version 6.0.59 * deps/k_release: Set Version 6.0.60 * deps/k_release: Set Version 6.0.61 * deps/k_release: Set Version 6.0.62 * deps/k_release: Set Version 6.0.63 * deps/k_release: Set Version 6.0.67 * deps/k_release: Set Version 6.0.68 * deps/k_release: Set Version 6.0.69 * deps/k_release: Set Version 6.0.84 * deps/k_release: Set Version 6.0.87 * deps/k_release: Set Version 6.0.93 * deps/k_release: Set Version 6.0.94 * deps/k_release: Set Version 6.0.95 * deps/k_release: Set Version 6.0.97 * deps/k_release: Set Version 6.0.99 * deps/k_release: Set Version 6.0.102 * deps/k_release: Set Version 6.0.103 * deps/k_release: Set Version 6.0.107 * deps/k_release: Set Version 6.0.118 * deps/k_release: Set Version 6.0.119 * update to latest version of llvm backend --------- Co-authored-by: devops <[email protected]> Co-authored-by: Dwight Guth <[email protected]>
runtimeverification · Sep 27, 2023 · 1aa2e24 · 1aa2e24
1 parent da834be
commit 1aa2e24
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.0.10
+6.0.119
diff --git 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
@@ -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;
 }