From 1e948a16e07d5f2b4f3ddfeda875f1418974044f Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 13 Sep 2024 19:07:07 +0000
Subject: [PATCH 01/12] deps/llvm-backend_release: Set Version 0.1.89

---
 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 6667b8e5fa5..5096aa31fcd 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.88
+0.1.89

From 98fcfaaa8498bf146473d02f20b4cb606ed81fbf Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 13 Sep 2024 19:08:06 +0000
Subject: [PATCH 02/12] flake.nix, llvm-backend/src/main/native/llvm-backend:
 update to version v0.1.89

---
 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 d3773a100de..c386be5035c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.88";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.89";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.76";
       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 344d1335c0f..a1459e313ec 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 344d1335c0fb8d146b0fa2954b0194afbe11dae6
+Subproject commit a1459e313ecb51c219beb849638d6e24439cc6ab

From 10b3499f0a9e467c1ee2d9f6e48db4c428d3f59d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 13 Sep 2024 19:08:19 +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 28da80a2cbf..ae75ea3683e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1726098480,
-        "narHash": "sha256-BOCKGOKzJLlYHSOCd2QOERS/sE038domlBc1h6nvM5s=",
+        "lastModified": 1726253826,
+        "narHash": "sha256-CPnHdARC/OB9nNrasKuUerJOpUTbrp3TWNkhPDLGMXA=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "344d1335c0fb8d146b0fa2954b0194afbe11dae6",
+        "rev": "a1459e313ecb51c219beb849638d6e24439cc6ab",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.88",
+        "ref": "v0.1.89",
         "repo": "llvm-backend",
         "type": "github"
       }

From 0660e8db8790063a6bd47d6ea7f081f77da0b32b Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 13 Sep 2024 19:36:03 +0000
Subject: [PATCH 04/12] deps/llvm-backend_release: Set Version 0.1.90

---
 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 5096aa31fcd..591c92d229e 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.89
+0.1.90

From 8252928db077e20bd860f843dbc58cb6cf251bdd Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 13 Sep 2024 19:36:59 +0000
Subject: [PATCH 05/12] flake.nix, llvm-backend/src/main/native/llvm-backend:
 update to version v0.1.90

---
 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 c386be5035c..8082b3b02bc 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.89";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.90";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.76";
       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 a1459e313ec..cdf4c3b7628 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit a1459e313ecb51c219beb849638d6e24439cc6ab
+Subproject commit cdf4c3b76280664a5f264a4692faf73a1a3760b4

From cf0d5d99b3c99914e1b1a368dd2bc1f133329e51 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 13 Sep 2024 19:37:12 +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 ae75ea3683e..5015ac41dc8 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1726253826,
-        "narHash": "sha256-CPnHdARC/OB9nNrasKuUerJOpUTbrp3TWNkhPDLGMXA=",
+        "lastModified": 1726255566,
+        "narHash": "sha256-+QDNi94wtKJSGRJ4q7amawtYa0nmC90vvDOySRaVRmg=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "a1459e313ecb51c219beb849638d6e24439cc6ab",
+        "rev": "cdf4c3b76280664a5f264a4692faf73a1a3760b4",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.89",
+        "ref": "v0.1.90",
         "repo": "llvm-backend",
         "type": "github"
       }

From 1e2d25f283305c83174f1256f4098fa27d2e499f Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 17 Sep 2024 20:07:02 +0000
Subject: [PATCH 07/12] deps/llvm-backend_release: Set Version 0.1.91

---
 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 591c92d229e..496a8255e81 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.90
+0.1.91

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

---
 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 8082b3b02bc..a0734dfe39e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.90";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.91";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.76";
       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 cdf4c3b7628..bb6c1a6273f 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit cdf4c3b76280664a5f264a4692faf73a1a3760b4
+Subproject commit bb6c1a6273f08d215ca1140bf5b938590bef47b8

From c69306674b8c721dbc984632ef9774566e7df314 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 17 Sep 2024 20:08:15 +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 5015ac41dc8..3701e678ca5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1726255566,
-        "narHash": "sha256-+QDNi94wtKJSGRJ4q7amawtYa0nmC90vvDOySRaVRmg=",
+        "lastModified": 1726602736,
+        "narHash": "sha256-+vUi1Y7gBuIramGtJSf95QWQamGIlSp9rWzplRhCA8o=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "cdf4c3b76280664a5f264a4692faf73a1a3760b4",
+        "rev": "bb6c1a6273f08d215ca1140bf5b938590bef47b8",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.90",
+        "ref": "v0.1.91",
         "repo": "llvm-backend",
         "type": "github"
       }

From b3e2f0cc8fc500f19b34dad69593b04d08ec9883 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 18 Sep 2024 18:13:54 +0000
Subject: [PATCH 10/12] deps/llvm-backend_release: Set Version 0.1.92

---
 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 496a8255e81..8c2abf179cc 100644
--- a/deps/llvm-backend_release
+++ b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.91
+0.1.92

From 50744363a7fabb9694ba66a9f64e8b95f1d1c43e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 18 Sep 2024 18:14:52 +0000
Subject: [PATCH 11/12] flake.nix, llvm-backend/src/main/native/llvm-backend:
 update to version v0.1.92

---
 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 a0734dfe39e..b7cdb4ebe74 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.91";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.92";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.76";
       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 bb6c1a6273f..bf51ee42f74 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit bb6c1a6273f08d215ca1140bf5b938590bef47b8
+Subproject commit bf51ee42f74066ab3bb6ef9e8697d04fbee503fd

From 1e26122d21d920bdae0719c882b06259dc9662c1 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 18 Sep 2024 18:15:05 +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 3701e678ca5..ccfe29430c5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1726602736,
-        "narHash": "sha256-+vUi1Y7gBuIramGtJSf95QWQamGIlSp9rWzplRhCA8o=",
+        "lastModified": 1726682574,
+        "narHash": "sha256-7Ax/6SCgdhoLGtgBFnlj5mRSDqEgrY85pCPtiM+fGFU=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "bb6c1a6273f08d215ca1140bf5b938590bef47b8",
+        "rev": "bf51ee42f74066ab3bb6ef9e8697d04fbee503fd",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.91",
+        "ref": "v0.1.92",
         "repo": "llvm-backend",
         "type": "github"
       }