From b80cc754ca265a5b1badbd283b5ffac80c92d65a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Aug 2025 11:24:36 +0000 Subject: [PATCH 01/17] deps/haskell-backend_release: Set Version v0.1.137 --- 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 6eb9447420..09598bb5c7 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.135 +v0.1.137 From c52f5b3c00b12170d24995e07c2dd6f04558dde4 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 29 Aug 2025 11:25:37 +0000 Subject: [PATCH 02/17] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.137 --- 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 48ee6b1adc..b57ed385cc 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.135"; + url = "github:runtimeverification/haskell-backend/v0.1.137"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 7d84039d7b..35d955de20 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 7d84039d7be22dbc4f6ff76488deed21e23a581f +Subproject commit 35d955de201243572c33a0aa6843e32a317b562f From 566737f2ae39238bee480ca4a295717cfd644771 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 29 Aug 2025 11:27:27 +0000 Subject: [PATCH 03/17] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 05977d60c0..c1ce705390 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1752802358, - "narHash": "sha256-pwv2jqljmGxhGMyJG5yyLo8MgfkxYniQEEcU7Zrm4LQ=", + "lastModified": 1756465588, + "narHash": "sha256-stVd1DIgUj3cIEo63dMP2dXyeqmuHkaU0xjKeEgxotc=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "7d84039d7be22dbc4f6ff76488deed21e23a581f", + "rev": "35d955de201243572c33a0aa6843e32a317b562f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.135", + "ref": "v0.1.137", "repo": "haskell-backend", "type": "github" } From 65c2972bc4e95efce8be4a1d78ccc76a68f7f53f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 15 Sep 2025 00:11:56 +0000 Subject: [PATCH 04/17] deps/haskell-backend_release: Set Version v0.1.138 --- 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 09598bb5c7..aeb8a19c8d 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.137 +v0.1.138 From f5cb15bd384e67d7cf117f1ae0d51aa8ce3ff14d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 15 Sep 2025 00:12:55 +0000 Subject: [PATCH 05/17] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.138 --- 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 0cb897d9cc..e67df72643 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.137"; + url = "github:runtimeverification/haskell-backend/v0.1.138"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 35d955de20..a183551f5c 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 35d955de201243572c33a0aa6843e32a317b562f +Subproject commit a183551f5c71bccb6f6c1dda4e381ea61bb2faff From 13d9d5f6f65dc4ca3ddf5ea1324646557947a336 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 15 Sep 2025 00:14:45 +0000 Subject: [PATCH 06/17] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 4b97073351..ed1fdde7f9 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1756465588, - "narHash": "sha256-stVd1DIgUj3cIEo63dMP2dXyeqmuHkaU0xjKeEgxotc=", + "lastModified": 1757893797, + "narHash": "sha256-E48xq8vs1x1YFkQJIr9fOvW8HrDE3ShmAC/8u0ROUQA=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "35d955de201243572c33a0aa6843e32a317b562f", + "rev": "a183551f5c71bccb6f6c1dda4e381ea61bb2faff", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.137", + "ref": "v0.1.138", "repo": "haskell-backend", "type": "github" } From 283010acc1ca9d49fd71d144a661b13bc22e448f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 8 Oct 2025 16:54:54 +0000 Subject: [PATCH 07/17] deps/haskell-backend_release: Set Version v0.1.139 --- 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 aeb8a19c8d..ab3d525a20 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.138 +v0.1.139 From c107ce54ecde04f16d2a86c963708b15f7b5443b Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 Oct 2025 16:55:47 +0000 Subject: [PATCH 08/17] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.139 --- 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 2057d9f956..191e85bd57 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.138"; + url = "github:runtimeverification/haskell-backend/v0.1.139"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index a183551f5c..a09dfa9737 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit a183551f5c71bccb6f6c1dda4e381ea61bb2faff +Subproject commit a09dfa9737137e334d0145f3ce05c3c832c994cd From 80fe4da2138de0dce62cf1579653084fbebeae43 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 Oct 2025 16:57:52 +0000 Subject: [PATCH 09/17] flake.lock: update --- flake.lock | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/flake.lock b/flake.lock index 57b5c74284..4802453696 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1757893797, - "narHash": "sha256-E48xq8vs1x1YFkQJIr9fOvW8HrDE3ShmAC/8u0ROUQA=", + "lastModified": 1759941366, + "narHash": "sha256-lor+F+Qxuy9kbbXEy83a2BmzVrzjM1/PeX7WFofiH0c=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a183551f5c71bccb6f6c1dda4e381ea61bb2faff", + "rev": "a09dfa9737137e334d0145f3ce05c3c832c994cd", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.138", + "ref": "v0.1.139", "repo": "haskell-backend", "type": "github" } @@ -141,11 +141,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1759381078, - "narHash": "sha256-gTrEEp5gEspIcCOx9PD8kMaF1iEmfBcTbO0Jag2QhQs=", + "lastModified": 1759831965, + "narHash": "sha256-vgPm2xjOmKdZ0xKA6yLXPJpjOtQPHfaZDRtH+47XEBo=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "7df7ff7d8e00218376575f0acdcc5d66741351ee", + "rev": "c9b6fb798541223bbb396d287d16f43520250518", "type": "github" }, "original": { From 2db7bb89807406c3922dccceaa2f784884eb7d03 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 14 Oct 2025 02:06:24 +0000 Subject: [PATCH 10/17] flake.lock: update --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index 51da8a52e2..c5a245a1f7 100644 --- a/flake.lock +++ b/flake.lock @@ -141,11 +141,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1759733170, - "narHash": "sha256-TXnlsVb5Z8HXZ6mZoeOAIwxmvGHp1g4Dw89eLvIwKVI=", + "lastModified": 1760284886, + "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "8913c168d1c56dc49a7718685968f38752171c3b", + "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", "type": "github" }, "original": { From b0ef241318a07feab06c107cd990e5277278d578 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 14 Oct 2025 08:37:20 +0000 Subject: [PATCH 11/17] deps/haskell-backend_release: Set Version v0.1.141 --- 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 ab3d525a20..3832296e52 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.139 +v0.1.141 From 1bfd7d87005e4f888f14850c011dbbb097f5a303 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 14 Oct 2025 08:38:16 +0000 Subject: [PATCH 12/17] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.141 --- 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 dd8b183f96..9273607336 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.139"; + url = "github:runtimeverification/haskell-backend/v0.1.141"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index a09dfa9737..b63c09387d 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit a09dfa9737137e334d0145f3ce05c3c832c994cd +Subproject commit b63c09387d0ca3f3f5598234bb9ea8e2a4659bf1 From 9ffe9fd43180e67f3ead8c0e3540c33544e8d894 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 14 Oct 2025 08:40:17 +0000 Subject: [PATCH 13/17] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index c5a245a1f7..0e96dac016 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1759941366, - "narHash": "sha256-lor+F+Qxuy9kbbXEy83a2BmzVrzjM1/PeX7WFofiH0c=", + "lastModified": 1760429824, + "narHash": "sha256-NOetb6M2UTYAGH/6QBAtwR0bMUAkiFHgjFFbWHWYn3A=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a09dfa9737137e334d0145f3ce05c3c832c994cd", + "rev": "b63c09387d0ca3f3f5598234bb9ea8e2a4659bf1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.139", + "ref": "v0.1.141", "repo": "haskell-backend", "type": "github" } From f19a596f6d9a3fdd35f2308b379f5f722ddf4f09 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 16 Oct 2025 03:44:40 +0000 Subject: [PATCH 14/17] flake.lock: update --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index 1b685ca625..d05cbb76fe 100644 --- a/flake.lock +++ b/flake.lock @@ -141,11 +141,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1760284886, - "narHash": "sha256-TK9Kr0BYBQ/1P5kAsnNQhmWWKgmZXwUQr4ZMjCzWf2c=", + "lastModified": 1760524057, + "narHash": "sha256-EVAqOteLBFmd7pKkb0+FIUyzTF61VKi7YmvP1tw4nEw=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "cf3f5c4def3c7b5f1fc012b3d839575dbe552d43", + "rev": "544961dfcce86422ba200ed9a0b00dd4b1486ec5", "type": "github" }, "original": { From d565cc7c3d101c65cf108f99a5d2fef17aa266cd Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 Oct 2025 01:12:22 +0000 Subject: [PATCH 15/17] deps/haskell-backend_release: Set Version v0.1.142 --- 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 3832296e52..51c6a280ab 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.141 +v0.1.142 From 3c72444f3db65820637b427c56624a2275fe1419 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 Oct 2025 01:13:22 +0000 Subject: [PATCH 16/17] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.142 --- 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 85f01455a7..0659368456 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.141"; + url = "github:runtimeverification/haskell-backend/v0.1.142"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index b63c09387d..6a18516adb 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit b63c09387d0ca3f3f5598234bb9ea8e2a4659bf1 +Subproject commit 6a18516adb79ffd2e8f593b98ba69c2ba46d35c0 From d641b1a8865e74fb951ae3a6d80ea0fc9ac1da65 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 Oct 2025 01:15:22 +0000 Subject: [PATCH 17/17] flake.lock: update --- flake.lock | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/flake.lock b/flake.lock index d05cbb76fe..b25a68589a 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1760429824, - "narHash": "sha256-NOetb6M2UTYAGH/6QBAtwR0bMUAkiFHgjFFbWHWYn3A=", + "lastModified": 1761007876, + "narHash": "sha256-84TX0awZxUTwqXJfs0L+32lD4csDwE4vgzCP2HA60ys=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "b63c09387d0ca3f3f5598234bb9ea8e2a4659bf1", + "rev": "6a18516adb79ffd2e8f593b98ba69c2ba46d35c0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.141", + "ref": "v0.1.142", "repo": "haskell-backend", "type": "github" } @@ -141,11 +141,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1760524057, - "narHash": "sha256-EVAqOteLBFmd7pKkb0+FIUyzTF61VKi7YmvP1tw4nEw=", + "lastModified": 1760878510, + "narHash": "sha256-K5Osef2qexezUfs0alLvZ7nQFTGS9DL2oTVsIXsqLgs=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "544961dfcce86422ba200ed9a0b00dd4b1486ec5", + "rev": "5e2a59a5b1a82f89f2c7e598302a9cacebb72a67", "type": "github" }, "original": {