From e1e60c037aeffca94d250842faee410395c2aa5c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 2 Jan 2025 14:29:05 +0000 Subject: [PATCH 01/15] deps/haskell-backend_release: Set Version v0.1.109 --- 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 d5009c06fcf..560d0abadfb 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.108 +v0.1.109 From 7f76c762e6e7070baec87fe1953837ca4d0676ad Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 2 Jan 2025 14:30:09 +0000 Subject: [PATCH 02/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.109 --- 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 4c8eef5fae1..d9c00c038a6 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.108"; + url = "github:runtimeverification/haskell-backend/v0.1.109"; 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 786c7803e61..c0ca1323499 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 786c7803e614b4c87319821badf0d84d6b7c289a +Subproject commit c0ca132349920152c476441ef83cffb3bf672fb5 From 23b2985699a7e0559192254d5f54f32b6508099b Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 2 Jan 2025 14:30:27 +0000 Subject: [PATCH 03/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 453b61db443..9e1205a5ab6 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1735479118, - "narHash": "sha256-bsrqU0J31CZGhSjJOtb6OUSx0HdrKzvNNuqTkrnk6tc=", + "lastModified": 1735826570, + "narHash": "sha256-3X7fuPH6AH7I11J/Ef2rIqX67BF/RpEbkxhBjfCQxGU=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "786c7803e614b4c87319821badf0d84d6b7c289a", + "rev": "c0ca132349920152c476441ef83cffb3bf672fb5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.108", + "ref": "v0.1.109", "repo": "haskell-backend", "type": "github" } From 48f21fc5226db00e12d0736487afed38011c1140 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 Jan 2025 23:38:59 +0000 Subject: [PATCH 04/15] deps/haskell-backend_release: Set Version v0.1.110 --- 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 560d0abadfb..780befe22ba 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.109 +v0.1.110 From d96fbbc822ae8cc6080062017b1e6a4ddaaaf2d1 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 15 Jan 2025 23:40:05 +0000 Subject: [PATCH 05/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.110 --- 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 7ca2eabb9f0..d2b4dfd0fc7 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.122"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.109"; + url = "github:runtimeverification/haskell-backend/v0.1.110"; 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 c0ca1323499..5f5e180026c 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit c0ca132349920152c476441ef83cffb3bf672fb5 +Subproject commit 5f5e180026c6b84c17e8e55023d41367a4ed69dc From ec7763964e9c0cb8fa47d87d29432d2ad493df7d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 15 Jan 2025 23:40:20 +0000 Subject: [PATCH 06/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 094f5d43560..727d827952c 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1735826570, - "narHash": "sha256-3X7fuPH6AH7I11J/Ef2rIqX67BF/RpEbkxhBjfCQxGU=", + "lastModified": 1736982865, + "narHash": "sha256-HbgtDtCm6g3b/Gsd6AqF5hDqVZmQbEHtsMCgHZw2i08=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "c0ca132349920152c476441ef83cffb3bf672fb5", + "rev": "5f5e180026c6b84c17e8e55023d41367a4ed69dc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.109", + "ref": "v0.1.110", "repo": "haskell-backend", "type": "github" } From a607402dec6721aba422dee71a21dc54bdfc6e34 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 16 Jan 2025 23:01:28 +0000 Subject: [PATCH 07/15] deps/haskell-backend_release: Set Version v0.1.111 --- 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 780befe22ba..3a79d920c11 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.110 +v0.1.111 From e5f49552decc8611a0bd45dd4d2be04f78be6ce9 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 16 Jan 2025 23:02:29 +0000 Subject: [PATCH 08/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.111 --- 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 d2b4dfd0fc7..0fe9421f320 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.122"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.110"; + url = "github:runtimeverification/haskell-backend/v0.1.111"; 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 5f5e180026c..64ccf37002a 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 5f5e180026c6b84c17e8e55023d41367a4ed69dc +Subproject commit 64ccf37002adb7ff85c5e533bdc8ce6cf972ff62 From 5f98cc913cf737e8c7a084716fdeff3bd0414ff2 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 16 Jan 2025 23:02:43 +0000 Subject: [PATCH 09/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 727d827952c..562fff1a1e4 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1736982865, - "narHash": "sha256-HbgtDtCm6g3b/Gsd6AqF5hDqVZmQbEHtsMCgHZw2i08=", + "lastModified": 1737067081, + "narHash": "sha256-cYpxKkwfdw2DWSt9dr3Ja8eSwOnlMp7qn3tbR4TyV6g=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "5f5e180026c6b84c17e8e55023d41367a4ed69dc", + "rev": "64ccf37002adb7ff85c5e533bdc8ce6cf972ff62", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.110", + "ref": "v0.1.111", "repo": "haskell-backend", "type": "github" } From d6d7bb629af7a66d0398fad440aa0361a38fac37 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 28 Jan 2025 09:19:57 +0000 Subject: [PATCH 10/15] deps/haskell-backend_release: Set Version v0.1.112 --- 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 3a79d920c11..029cc004909 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.111 +v0.1.112 From 99153700514fec8a03b60a81396793a132d0e753 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 28 Jan 2025 09:21:05 +0000 Subject: [PATCH 11/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.112 --- 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 0fe9421f320..26fc4252dd7 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.122"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.111"; + url = "github:runtimeverification/haskell-backend/v0.1.112"; 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 64ccf37002a..a55efd8d3b5 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 64ccf37002adb7ff85c5e533bdc8ce6cf972ff62 +Subproject commit a55efd8d3b5336440511871302bdedfe72db03f0 From ffc32143431ee79f39af62c7dae021f5c86c620d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 28 Jan 2025 09:21:24 +0000 Subject: [PATCH 12/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 562fff1a1e4..e369ba57712 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1737067081, - "narHash": "sha256-cYpxKkwfdw2DWSt9dr3Ja8eSwOnlMp7qn3tbR4TyV6g=", + "lastModified": 1738054599, + "narHash": "sha256-OfOqW60U3qdWz6qw32uCh3IhoteRYAuo8m7IU/A+h4A=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "64ccf37002adb7ff85c5e533bdc8ce6cf972ff62", + "rev": "a55efd8d3b5336440511871302bdedfe72db03f0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.111", + "ref": "v0.1.112", "repo": "haskell-backend", "type": "github" } From a21295abff7b3c6696d739c191ee12065f44de23 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 3 Feb 2025 23:17:42 +0000 Subject: [PATCH 13/15] deps/haskell-backend_release: Set Version v0.1.113 --- 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 029cc004909..00235f5aedf 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.112 +v0.1.113 From 84f7359859ff3ee388dca3c3ae41e5be69b6af4a Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 3 Feb 2025 23:18:39 +0000 Subject: [PATCH 14/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.113 --- 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 84c9944379e..6b319eea416 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.122"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.112"; + url = "github:runtimeverification/haskell-backend/v0.1.113"; 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 a55efd8d3b5..1f3643f5b8d 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit a55efd8d3b5336440511871302bdedfe72db03f0 +Subproject commit 1f3643f5b8db5d2d81acabfa38829158dc1cbbcb From 891f51afdfe62b58bc3f4b197bb35d68f8285233 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 3 Feb 2025 23:18:53 +0000 Subject: [PATCH 15/15] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index e369ba57712..e104eb6e847 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1738054599, - "narHash": "sha256-OfOqW60U3qdWz6qw32uCh3IhoteRYAuo8m7IU/A+h4A=", + "lastModified": 1738623240, + "narHash": "sha256-+6OJGrkMBp0y9x0F5uF0AGF0dHhOEJD7sRN+iz1wDhM=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a55efd8d3b5336440511871302bdedfe72db03f0", + "rev": "1f3643f5b8db5d2d81acabfa38829158dc1cbbcb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.112", + "ref": "v0.1.113", "repo": "haskell-backend", "type": "github" }