From 7bfb093e3a57600b720e64598f6289f09779fc2d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 5 Aug 2024 18:34:19 +0000
Subject: [PATCH 01/27] deps/haskell-backend_release: Set Version v0.1.59

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index f8e99bbf6a0..9c21977279c 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.58
+v0.1.59

From 555c79fdfa9c65b09be7c7a73fc2b4b5fddc9a17 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 5 Aug 2024 18:35:10 +0000
Subject: [PATCH 02/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.59

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

diff --git a/flake.nix b/flake.nix
index 80d9fa75a6c..8f97237a92c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.69";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.58";
+      url = "github:runtimeverification/haskell-backend/v0.1.59";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 7047b096434..c120e10e2a0 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 7047b0964349727e54425c2c81478caf3dad757c
+Subproject commit c120e10e2a0abccf39eb0e57891c66a0d4c6c1f6

From e12a24a266dbc42231e818ee3ff5e94e56bc3802 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 5 Aug 2024 18:35:24 +0000
Subject: [PATCH 03/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 90fb6ea5de0..b8170d9243e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1722860063,
-        "narHash": "sha256-5K3BIIbwkMpN4idvAHRrw0JzHRL6Au4ui+7NqkX+c3w=",
+        "lastModified": 1722881649,
+        "narHash": "sha256-InbpmpKab6sXOuBQ/UbsJZ+UTFt5Jyemal4RWQmVLsQ=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "7047b0964349727e54425c2c81478caf3dad757c",
+        "rev": "c120e10e2a0abccf39eb0e57891c66a0d4c6c1f6",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.58",
+        "ref": "v0.1.59",
         "repo": "haskell-backend",
         "type": "github"
       }

From a6b7c22313d6dfebaf0f1734ef0e4505d54e7822 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 6 Aug 2024 13:04:24 +0000
Subject: [PATCH 04/27] deps/haskell-backend_release: Set Version v0.1.60

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 9c21977279c..e44beb5ea9e 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.59
+v0.1.60

From 10935c6b1fd699710dedb3df010220b57606bc0e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 6 Aug 2024 13:05:22 +0000
Subject: [PATCH 05/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.60

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

diff --git a/flake.nix b/flake.nix
index 8f97237a92c..9d4248ca2bb 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.69";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.59";
+      url = "github:runtimeverification/haskell-backend/v0.1.60";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index c120e10e2a0..9e52cd58c84 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit c120e10e2a0abccf39eb0e57891c66a0d4c6c1f6
+Subproject commit 9e52cd58c84471b0357afa818378aaadbd4f882c

From e0c68a10194e7cf7d9e31845469a598dd1700bdf Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 6 Aug 2024 13:05:36 +0000
Subject: [PATCH 06/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index b8170d9243e..4cd5ecc0975 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1722881649,
-        "narHash": "sha256-InbpmpKab6sXOuBQ/UbsJZ+UTFt5Jyemal4RWQmVLsQ=",
+        "lastModified": 1722948142,
+        "narHash": "sha256-Ob9CnbD2WqTY0Cc9CwlRwcTku93xnkg5ZpQJ7h0HB2M=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "c120e10e2a0abccf39eb0e57891c66a0d4c6c1f6",
+        "rev": "9e52cd58c84471b0357afa818378aaadbd4f882c",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.59",
+        "ref": "v0.1.60",
         "repo": "haskell-backend",
         "type": "github"
       }

From 04b6aa59ee192c2b926dae0cce4aabaafa201149 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 7 Aug 2024 13:12:44 +0000
Subject: [PATCH 07/27] deps/haskell-backend_release: Set Version v0.1.61

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index e44beb5ea9e..512676770c4 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.60
+v0.1.61

From d0ffc4dbee5945b62e263d258da2ce3dd95a26bc Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 7 Aug 2024 13:13:39 +0000
Subject: [PATCH 08/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.61

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

diff --git a/flake.nix b/flake.nix
index 9d4248ca2bb..c84d824b0af 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.69";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.60";
+      url = "github:runtimeverification/haskell-backend/v0.1.61";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 9e52cd58c84..22e6a6dee49 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 9e52cd58c84471b0357afa818378aaadbd4f882c
+Subproject commit 22e6a6dee49868f55efea647912ed0b0045d106b

From 96af3bff86a20f01428cfa50d99d7bf341680fd7 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 7 Aug 2024 13:13:53 +0000
Subject: [PATCH 09/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 4cd5ecc0975..a4761667323 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1722948142,
-        "narHash": "sha256-Ob9CnbD2WqTY0Cc9CwlRwcTku93xnkg5ZpQJ7h0HB2M=",
+        "lastModified": 1723034556,
+        "narHash": "sha256-Uu/qvR9X6Dowl10IMen4MYK/1/Z/p5OKc5CoJPzXuMQ=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "9e52cd58c84471b0357afa818378aaadbd4f882c",
+        "rev": "22e6a6dee49868f55efea647912ed0b0045d106b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.60",
+        "ref": "v0.1.61",
         "repo": "haskell-backend",
         "type": "github"
       }

From d8cdbcea49f9dccda51ca3533306432da4ee2275 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 7 Aug 2024 14:14:43 +0000
Subject: [PATCH 10/27] deps/haskell-backend_release: Set Version v0.1.62

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 512676770c4..d448e70beb4 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.61
+v0.1.62

From 615291ce7f2ac4799a302a11073b2215a5f5b1cd Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 7 Aug 2024 14:15:36 +0000
Subject: [PATCH 11/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.62

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

diff --git a/flake.nix b/flake.nix
index c84d824b0af..13b62f3fd4f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.69";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.61";
+      url = "github:runtimeverification/haskell-backend/v0.1.62";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 22e6a6dee49..f058b190ea1 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 22e6a6dee49868f55efea647912ed0b0045d106b
+Subproject commit f058b190ea1046f0473ecfbfc75f220075ef2b43

From 89db4dd700cc23c92a4be0e6a5f3b11a56ab0c00 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 7 Aug 2024 14:15:49 +0000
Subject: [PATCH 12/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index a4761667323..fab6af979c8 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723034556,
-        "narHash": "sha256-Uu/qvR9X6Dowl10IMen4MYK/1/Z/p5OKc5CoJPzXuMQ=",
+        "lastModified": 1723038875,
+        "narHash": "sha256-y02AinfQoCIKC7YZIYJianMHgfnXGC2aCfwNq4sizi8=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "22e6a6dee49868f55efea647912ed0b0045d106b",
+        "rev": "f058b190ea1046f0473ecfbfc75f220075ef2b43",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.61",
+        "ref": "v0.1.62",
         "repo": "haskell-backend",
         "type": "github"
       }

From 778727f8e6d93bee2caabb6ec5afaa8b17474bc0 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 8 Aug 2024 12:35:24 +0000
Subject: [PATCH 13/27] deps/haskell-backend_release: Set Version v0.1.63

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index d448e70beb4..f5d539f4209 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.62
+v0.1.63

From 314c126370f17bac820fe0d6a2dd477a23acb561 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 8 Aug 2024 12:36:20 +0000
Subject: [PATCH 14/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.63

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

diff --git a/flake.nix b/flake.nix
index e9c94be7055..7f942e92665 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.75";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.62";
+      url = "github:runtimeverification/haskell-backend/v0.1.63";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index f058b190ea1..2a82b2d4a82 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit f058b190ea1046f0473ecfbfc75f220075ef2b43
+Subproject commit 2a82b2d4a82601e0d624c2acc95b10adeba821ed

From 0cfd91723e89783b45ffc263f01c2df3830c5055 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 8 Aug 2024 12:36:34 +0000
Subject: [PATCH 15/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 27e4ad82872..501a3619120 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723038875,
-        "narHash": "sha256-y02AinfQoCIKC7YZIYJianMHgfnXGC2aCfwNq4sizi8=",
+        "lastModified": 1723119269,
+        "narHash": "sha256-8i4xZ7J+y0TVvK/k9ISLBDahxy/bs+46mep+bCQguNc=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "f058b190ea1046f0473ecfbfc75f220075ef2b43",
+        "rev": "2a82b2d4a82601e0d624c2acc95b10adeba821ed",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.62",
+        "ref": "v0.1.63",
         "repo": "haskell-backend",
         "type": "github"
       }

From 693676df8c0bcf2754be5d5ba31797385835d441 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 12 Aug 2024 13:23:27 +0000
Subject: [PATCH 16/27] deps/haskell-backend_release: Set Version v0.1.64

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index f5d539f4209..9a48d651f5d 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.63
+v0.1.64

From 5c11cce623251a5e0209a657642284aee7e34b9d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 12 Aug 2024 13:24:29 +0000
Subject: [PATCH 17/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.64

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

diff --git a/flake.nix b/flake.nix
index a30b781ab77..e8c7ab3ccda 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.63";
+      url = "github:runtimeverification/haskell-backend/v0.1.64";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 2a82b2d4a82..f799b6d62ef 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 2a82b2d4a82601e0d624c2acc95b10adeba821ed
+Subproject commit f799b6d62ef3e8e5c60bac6cd7d8c785810a2eff

From ca52f1fcf64acd2b7773c35e309c7c074273882e Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 12 Aug 2024 13:24:43 +0000
Subject: [PATCH 18/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index e2724060236..7d869e6ce5b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723119269,
-        "narHash": "sha256-8i4xZ7J+y0TVvK/k9ISLBDahxy/bs+46mep+bCQguNc=",
+        "lastModified": 1723467763,
+        "narHash": "sha256-2ZVJraTFoV9kyZDzONdJdkjG/tt4QizBAcpJMdKW+Dc=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "2a82b2d4a82601e0d624c2acc95b10adeba821ed",
+        "rev": "f799b6d62ef3e8e5c60bac6cd7d8c785810a2eff",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.63",
+        "ref": "v0.1.64",
         "repo": "haskell-backend",
         "type": "github"
       }

From 1cbe5208f80ff0412d4757c963e04a96de6acdcb Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 12 Aug 2024 17:16:57 +0000
Subject: [PATCH 19/27] deps/haskell-backend_release: Set Version v0.1.65

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index 9a48d651f5d..e40c7af7cb1 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.64
+v0.1.65

From d202f26689c6518108f1eb70388bb60c3a0540ba Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 12 Aug 2024 17:17:56 +0000
Subject: [PATCH 20/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.65

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

diff --git a/flake.nix b/flake.nix
index e8c7ab3ccda..9b8834101d2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.64";
+      url = "github:runtimeverification/haskell-backend/v0.1.65";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index f799b6d62ef..0656996dbba 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit f799b6d62ef3e8e5c60bac6cd7d8c785810a2eff
+Subproject commit 0656996dbbacf69ed806d3d5ba6b8eea13d614b2

From f48d041724f159a179562687093f3c16e9539397 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 12 Aug 2024 17:18:11 +0000
Subject: [PATCH 21/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 7d869e6ce5b..8800dc48332 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723467763,
-        "narHash": "sha256-2ZVJraTFoV9kyZDzONdJdkjG/tt4QizBAcpJMdKW+Dc=",
+        "lastModified": 1723481786,
+        "narHash": "sha256-J3PcF6m62xlKAmRAXW36vH/eq9ghLQA7eTcj5e3Paas=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "f799b6d62ef3e8e5c60bac6cd7d8c785810a2eff",
+        "rev": "0656996dbbacf69ed806d3d5ba6b8eea13d614b2",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.64",
+        "ref": "v0.1.65",
         "repo": "haskell-backend",
         "type": "github"
       }

From c721c191e5edd8180e1725cfc4421b6165993099 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 14 Aug 2024 09:04:40 +0000
Subject: [PATCH 22/27] deps/haskell-backend_release: Set Version v0.1.66

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index e40c7af7cb1..fefb15030f0 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.65
+v0.1.66

From a93755a92725ed9e9b931de458de791fe10290af Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 14 Aug 2024 09:05:29 +0000
Subject: [PATCH 23/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.66

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

diff --git a/flake.nix b/flake.nix
index 9b8834101d2..557a5b6f9f3 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.65";
+      url = "github:runtimeverification/haskell-backend/v0.1.66";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 0656996dbba..e9b5f3790d6 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 0656996dbbacf69ed806d3d5ba6b8eea13d614b2
+Subproject commit e9b5f3790d6d37c341195eae7346ecd3c0135e7c

From 3d9088c0bbbfe9718fbe6c3f40419099080bf079 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 14 Aug 2024 09:05:41 +0000
Subject: [PATCH 24/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 8800dc48332..62f3419f02d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723481786,
-        "narHash": "sha256-J3PcF6m62xlKAmRAXW36vH/eq9ghLQA7eTcj5e3Paas=",
+        "lastModified": 1723624971,
+        "narHash": "sha256-4NYCbmx8QKEUxpajUncKToUXTameQeltE3bhu/0OsdU=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "0656996dbbacf69ed806d3d5ba6b8eea13d614b2",
+        "rev": "e9b5f3790d6d37c341195eae7346ecd3c0135e7c",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.65",
+        "ref": "v0.1.66",
         "repo": "haskell-backend",
         "type": "github"
       }

From 0fb2138bb3e5590d4231ce962c641573d9b52bc9 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 14 Aug 2024 10:36:46 +0000
Subject: [PATCH 25/27] deps/haskell-backend_release: Set Version v0.1.67

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

diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release
index fefb15030f0..0168a41fbb0 100644
--- a/deps/haskell-backend_release
+++ b/deps/haskell-backend_release
@@ -1 +1 @@
-v0.1.66
+v0.1.67

From fb92c15e119eb71c46049bbc29e6d5d5a590acdb Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 14 Aug 2024 10:37:37 +0000
Subject: [PATCH 26/27] flake.nix,
 haskell-backend/src/main/native/haskell-backend: update to version v0.1.67

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

diff --git a/flake.nix b/flake.nix
index 557a5b6f9f3..426f98452cb 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.66";
+      url = "github:runtimeverification/haskell-backend/v0.1.67";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index e9b5f3790d6..8d4aafc4bc2 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit e9b5f3790d6d37c341195eae7346ecd3c0135e7c
+Subproject commit 8d4aafc4bc2cb6ab9d992030c6482b712309608f

From 6d6e41ed33bf6748c27e8fef85088333e3560d02 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 14 Aug 2024 10:37:51 +0000
Subject: [PATCH 27/27] flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 62f3419f02d..2c385e4599b 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1723624971,
-        "narHash": "sha256-4NYCbmx8QKEUxpajUncKToUXTameQeltE3bhu/0OsdU=",
+        "lastModified": 1723630441,
+        "narHash": "sha256-BbJwGKi2kwbSIegUZTuZvzOoA9g/NRn7mwsgOhKpFvg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "e9b5f3790d6d37c341195eae7346ecd3c0135e7c",
+        "rev": "8d4aafc4bc2cb6ab9d992030c6482b712309608f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.66",
+        "ref": "v0.1.67",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -361,16 +361,16 @@
     "z3": {
       "flake": false,
       "locked": {
-        "lastModified": 1674011426,
-        "narHash": "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=",
+        "lastModified": 1709835916,
+        "narHash": "sha256-MIbP3QgKIGF/qUMTupaO7xD46LbmH69kF/394Sajhkg=",
         "owner": "Z3Prover",
         "repo": "z3",
-        "rev": "3012293c35eadbfd73e5b94adbe50b0cc44ffb83",
+        "rev": "3049f578a8f98a0b0992eca193afe57a73b30ca3",
         "type": "github"
       },
       "original": {
         "owner": "Z3Prover",
-        "ref": "z3-4.12.1",
+        "ref": "z3-4.13.0",
         "repo": "z3",
         "type": "github"
       }