From a05ba298481d2b2ac480bca316809a7c5f0d8234 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 22 Nov 2023 10:09:06 +0000
Subject: [PATCH 1/6] llvm-backend/src/main/native/llvm-backend: Set Version
 7beccf74d125395f073fdaaba9b5c70c2b9b8ef3

---
 llvm-backend/src/main/native/llvm-backend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 5ca593b04cd..7beccf74d12 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 5ca593b04cd15a3173cf09835eb2656f1264db64
+Subproject commit 7beccf74d125395f073fdaaba9b5c70c2b9b8ef3

From 286ead3ed1dd02c0ef821b15d1f13d52fa3715a3 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 22 Nov 2023 10:10:09 +0000
Subject: [PATCH 2/6] flake.nix, flake.lock: update

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index 92324692306..9e482ef9879 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1700523811,
-        "narHash": "sha256-WgzIxCEAyB2X1n1AoBds9hXIdWPyRhUJ0MRu2ZWWuQk=",
+        "lastModified": 1700647421,
+        "narHash": "sha256-ftdB2PexYw4rhevptFMbmDi6KdpHSUdDsUATSpAIexY=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "5ca593b04cd15a3173cf09835eb2656f1264db64",
+        "rev": "7beccf74d125395f073fdaaba9b5c70c2b9b8ef3",
         "type": "github"
       },
       "original": {

From cbab0205bd093a2170aec4290d195f539715c9ad Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 23 Nov 2023 16:05:29 +0000
Subject: [PATCH 3/6] llvm-backend/src/main/native/llvm-backend: Set Version
 a4cf502c5613797d07aebc3e9163108df22480a0

---
 llvm-backend/src/main/native/llvm-backend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index 7beccf74d12..a4cf502c561 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 7beccf74d125395f073fdaaba9b5c70c2b9b8ef3
+Subproject commit a4cf502c5613797d07aebc3e9163108df22480a0

From e59b861280fdba1e25b41c6362b012bf6a56e9f4 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 23 Nov 2023 16:06:34 +0000
Subject: [PATCH 4/6] flake.nix, flake.lock: update

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index 9e482ef9879..655bc1f63b0 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1700647421,
-        "narHash": "sha256-ftdB2PexYw4rhevptFMbmDi6KdpHSUdDsUATSpAIexY=",
+        "lastModified": 1700755391,
+        "narHash": "sha256-lN61NhGy2ddWEX4hyglGKtoXG90FGI6v2Il2bnGLZtc=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "7beccf74d125395f073fdaaba9b5c70c2b9b8ef3",
+        "rev": "a4cf502c5613797d07aebc3e9163108df22480a0",
         "type": "github"
       },
       "original": {

From be902c4a7fb6525ed4457d97de37766d34ac9725 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 27 Nov 2023 14:29:15 +0000
Subject: [PATCH 5/6] llvm-backend/src/main/native/llvm-backend: Set Version
 6046ece44da6217b2cca99b3521fd20f26d5c107

---
 llvm-backend/src/main/native/llvm-backend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index a4cf502c561..6046ece44da 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit a4cf502c5613797d07aebc3e9163108df22480a0
+Subproject commit 6046ece44da6217b2cca99b3521fd20f26d5c107

From ce0bbe89cd95dac5c77ed9169915c7385506208a Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 27 Nov 2023 14:30:18 +0000
Subject: [PATCH 6/6] flake.nix, flake.lock: update

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index 7bf0bb167b0..5408ed8d4cc 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1700755391,
-        "narHash": "sha256-lN61NhGy2ddWEX4hyglGKtoXG90FGI6v2Il2bnGLZtc=",
+        "lastModified": 1701095195,
+        "narHash": "sha256-HdeElKW8uniPnzcHeAz/DrWKQqG+mpgAWGwSRvMzzzU=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "a4cf502c5613797d07aebc3e9163108df22480a0",
+        "rev": "6046ece44da6217b2cca99b3521fd20f26d5c107",
         "type": "github"
       },
       "original": {