From 6288764f91afc36c3725556fc86be23a67c51331 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 9 Aug 2024 19:20:08 +0000
Subject: [PATCH 01/12] deps/llvm-backend_release: Set Version 0.1.78

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

diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
index 1f7a170d770..59057fc2c43 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.77
+0.1.78

From 4bebf9e7d3c065ffd92407c7e466a35c3bc7f63e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 9 Aug 2024 19:20:59 +0000
Subject: [PATCH 02/12] flake.nix, llvm-backend/src/main/native/llvm-backend:
 update to version v0.1.78

---
 flake.nix                                 | 2 +-
 llvm-backend/src/main/native/llvm-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index a536edd8128..8e7a782f8ae 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.78";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.58";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index e7266f7e008..9f340e13f7c 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit e7266f7e0082b5a90ccf47ceed47ba1811bdc636
+Subproject commit 9f340e13f7c7ff63de1a6afef0b021453db9ba2a

From 974172c6b132706934d900b949caf21bd38d5f08 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 9 Aug 2024 19:21:12 +0000
Subject: [PATCH 03/12] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 3eb62105884..aed64d04563 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1723094785,
-        "narHash": "sha256-JPe1rZkx4/q7wyEGIOitt3slEHpue5gSnT9x9tbnNMs=",
+        "lastModified": 1723230550,
+        "narHash": "sha256-SizsRZKKWo0ScTCLss0nHQOMfEON+L6XtYlmYFp4gow=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "e7266f7e0082b5a90ccf47ceed47ba1811bdc636",
+        "rev": "9f340e13f7c7ff63de1a6afef0b021453db9ba2a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.77",
+        "ref": "v0.1.78",
         "repo": "llvm-backend",
         "type": "github"
       }

From 9df5fc5ba86f5ae9d7712039992bb94eda185813 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 9 Aug 2024 20:52:42 +0000
Subject: [PATCH 04/12] deps/llvm-backend_release: Set Version 0.1.79

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

diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
index 59057fc2c43..b9dbcf6139b 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.78
+0.1.79

From 15d65e7e8c945b6a98b0b045bbba7a61e62a896c Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 9 Aug 2024 20:53:34 +0000
Subject: [PATCH 05/12] flake.nix, llvm-backend/src/main/native/llvm-backend:
 update to version v0.1.79

---
 flake.nix                                 | 2 +-
 llvm-backend/src/main/native/llvm-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 8e7a782f8ae..65985b9c18e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.78";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.79";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.58";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 9f340e13f7c..3f9ce24705f 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 9f340e13f7c7ff63de1a6afef0b021453db9ba2a
+Subproject commit 3f9ce24705ffdf571a92c5723520b2e308b9f347

From d300a803cd3cf5e01dee4c2e01aaa76479bf2887 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 9 Aug 2024 20:53:47 +0000
Subject: [PATCH 06/12] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index aed64d04563..db2f9f37ef5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1723230550,
-        "narHash": "sha256-SizsRZKKWo0ScTCLss0nHQOMfEON+L6XtYlmYFp4gow=",
+        "lastModified": 1723236122,
+        "narHash": "sha256-0JQtGVSRfW3f/WWOiTYDe2t8ivyj/QTmvX23u/1SqZo=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "9f340e13f7c7ff63de1a6afef0b021453db9ba2a",
+        "rev": "3f9ce24705ffdf571a92c5723520b2e308b9f347",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.78",
+        "ref": "v0.1.79",
         "repo": "llvm-backend",
         "type": "github"
       }

From 92ba62c9112c29703e7b47e28eb56107b5b56fe1 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 15:40:39 +0000
Subject: [PATCH 07/12] deps/llvm-backend_release: Set Version 0.1.80

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

diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
index b9dbcf6139b..8c1c54a7486 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.79
+0.1.80

From f12575660ea347404fc92f7785bb7db08cab597a Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 15:41:40 +0000
Subject: [PATCH 08/12] flake.nix, llvm-backend/src/main/native/llvm-backend:
 update to version v0.1.80

---
 flake.nix                                 | 2 +-
 llvm-backend/src/main/native/llvm-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 20c49cb26ea..c794178d522 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.79";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.80";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.67";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 3f9ce24705f..5b777507e23 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 3f9ce24705ffdf571a92c5723520b2e308b9f347
+Subproject commit 5b777507e2316bc5a4b097bd38d41126c7c3dc10

From 655d3c9b0a34ea84c4b9b625c58e2590f5db7a6f Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 15:41:54 +0000
Subject: [PATCH 09/12] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 330397d2147..f859a2721f7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1723236122,
-        "narHash": "sha256-0JQtGVSRfW3f/WWOiTYDe2t8ivyj/QTmvX23u/1SqZo=",
+        "lastModified": 1724167799,
+        "narHash": "sha256-TUmmiNouu5l/CzIgcWPgIa3o7SsBquSZlUW0m7ItGGk=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "3f9ce24705ffdf571a92c5723520b2e308b9f347",
+        "rev": "5b777507e2316bc5a4b097bd38d41126c7c3dc10",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.79",
+        "ref": "v0.1.80",
         "repo": "llvm-backend",
         "type": "github"
       }

From efe3e8126fcfd8c2cfd57396d36757c7ba446e9b Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 18:47:01 +0000
Subject: [PATCH 10/12] deps/llvm-backend_release: Set Version 0.1.81

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

diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
index 8c1c54a7486..962d1c105f6 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.80
+0.1.81

From 86f46dcee361080b34f7700f1c344155d0617c22 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 18:47:56 +0000
Subject: [PATCH 11/12] flake.nix, llvm-backend/src/main/native/llvm-backend:
 update to version v0.1.81

---
 flake.nix                                 | 2 +-
 llvm-backend/src/main/native/llvm-backend | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index c794178d522..45f63fceb9f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.80";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.81";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.67";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 5b777507e23..b9dc4ff8d35 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 5b777507e2316bc5a4b097bd38d41126c7c3dc10
+Subproject commit b9dc4ff8d3510f8ffb09cad2e1c80e2a0e9bb132

From 7abf3fb685c7c6c2111862fe1395563a9e018396 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 20 Aug 2024 18:48:09 +0000
Subject: [PATCH 12/12] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index f859a2721f7..d06a184f002 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1724167799,
-        "narHash": "sha256-TUmmiNouu5l/CzIgcWPgIa3o7SsBquSZlUW0m7ItGGk=",
+        "lastModified": 1724179030,
+        "narHash": "sha256-bi3/G8BojOQOa9ZI8wVoc4girv8GNYgP/zlY4u/wrwo=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "5b777507e2316bc5a4b097bd38d41126c7c3dc10",
+        "rev": "b9dc4ff8d3510f8ffb09cad2e1c80e2a0e9bb132",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.80",
+        "ref": "v0.1.81",
         "repo": "llvm-backend",
         "type": "github"
       }