From f869eaf20b8253bb1be5feed9ee5a6fa9a0f0d5f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 29 Jul 2024 15:37:17 +0000 Subject: [PATCH 01/15] deps/haskell-backend_release: Set Version v0.1.52 --- 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 660641b8acd..b87515b8c64 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.51 +v0.1.52 From 8d39cf2d5260f4b558bb5c7883331abf71202c8c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 15:38:17 +0000 Subject: [PATCH 02/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.52 --- 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 24329f46233..49e34dda6a7 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.51"; + url = "github:runtimeverification/haskell-backend/v0.1.52"; 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 082335a0031..c2260e7db1c 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 082335a00314bf32392cb668414e7d8c7bddc800 +Subproject commit c2260e7db1c4d0e4786cb6f424584bc77c8da3bc From d257d305536d14419c01c0eb2ea82fe1b59c9174 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 29 Jul 2024 15:38:33 +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 cf8970e0046..bb46aa1fe2c 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722260205, - "narHash": "sha256-Yi7m1bLuAzcP75w8Px0BinjlNcekOSj8g9KjVNDSw6c=", + "lastModified": 1722266118, + "narHash": "sha256-/GtmceI5/jEPIF5ADuXD0gs8gUs/gN0SwZ5L8+QTH8k=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "082335a00314bf32392cb668414e7d8c7bddc800", + "rev": "c2260e7db1c4d0e4786cb6f424584bc77c8da3bc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.51", + "ref": "v0.1.52", "repo": "haskell-backend", "type": "github" } From 86846e6fa7b0ac6412d9fdd803ed5544ddff1590 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 30 Jul 2024 11:14:45 +0000 Subject: [PATCH 04/15] deps/haskell-backend_release: Set Version v0.1.53 --- 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 b87515b8c64..da2be6f48d9 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.52 +v0.1.53 From 9c854663e8330e5ae1665a4e28880f96e50888f0 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 30 Jul 2024 11:15:44 +0000 Subject: [PATCH 05/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.53 --- 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 49e34dda6a7..f8135f6bf4b 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.52"; + url = "github:runtimeverification/haskell-backend/v0.1.53"; 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 c2260e7db1c..0f1379979c9 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit c2260e7db1c4d0e4786cb6f424584bc77c8da3bc +Subproject commit 0f1379979c966bf8d89a75746375c9f0fe5520b8 From 67148f0065a2f39c0d2f0ba30d3a83547e3d4681 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 30 Jul 2024 11:15:57 +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 bb46aa1fe2c..3ad71431b56 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722266118, - "narHash": "sha256-/GtmceI5/jEPIF5ADuXD0gs8gUs/gN0SwZ5L8+QTH8k=", + "lastModified": 1722336870, + "narHash": "sha256-xCkx1Y9bJw2N9Wf7a6y5NcrnHndN1g2Qjvx08k65dCc=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "c2260e7db1c4d0e4786cb6f424584bc77c8da3bc", + "rev": "0f1379979c966bf8d89a75746375c9f0fe5520b8", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.52", + "ref": "v0.1.53", "repo": "haskell-backend", "type": "github" } From 6a16abeba752e7f2dd12576a7eaa1c7b7b8df73d Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 30 Jul 2024 16:38:03 +0000 Subject: [PATCH 07/15] deps/haskell-backend_release: Set Version v0.1.55 --- 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 da2be6f48d9..3e2a497a521 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.53 +v0.1.55 From ac737e566eba4d4e17f4f44cde17fc5dfd3cac2a Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 30 Jul 2024 16:38:56 +0000 Subject: [PATCH 08/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.55 --- 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 f8135f6bf4b..302c2ea40f9 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.53"; + url = "github:runtimeverification/haskell-backend/v0.1.55"; 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 0f1379979c9..34fd0e183b8 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 0f1379979c966bf8d89a75746375c9f0fe5520b8 +Subproject commit 34fd0e183b877e2bc0df0c283c0670ebf9386e71 From f8e31ead8ce88959e4fce2abd7e9b193bcc8cfee Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 30 Jul 2024 16:39:10 +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 3ad71431b56..a883f34c46a 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722336870, - "narHash": "sha256-xCkx1Y9bJw2N9Wf7a6y5NcrnHndN1g2Qjvx08k65dCc=", + "lastModified": 1722356084, + "narHash": "sha256-k5a8lypxA1nLxABcxAuBBLhQSII3vh7+VBAMxvLu0ac=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0f1379979c966bf8d89a75746375c9f0fe5520b8", + "rev": "34fd0e183b877e2bc0df0c283c0670ebf9386e71", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.53", + "ref": "v0.1.55", "repo": "haskell-backend", "type": "github" } From a85d25a26b2266a91a24e430ba0895a4b5ec5ead Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 1 Aug 2024 12:34:41 +0000 Subject: [PATCH 10/15] deps/haskell-backend_release: Set Version v0.1.56 --- 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 3e2a497a521..ed2cf9bbc0e 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.55 +v0.1.56 From 7f8845c7f32ca2548c53fb036f62b4eb56195bfc Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 1 Aug 2024 12:35:45 +0000 Subject: [PATCH 11/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.56 --- 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 302c2ea40f9..14348eabf35 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.55"; + url = "github:runtimeverification/haskell-backend/v0.1.56"; 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 34fd0e183b8..386d3742280 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 34fd0e183b877e2bc0df0c283c0670ebf9386e71 +Subproject commit 386d374228091337dd3b76b5b4a7df2fde305c94 From 70fc5747b4f55a29f9364350604a0c5788023811 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 1 Aug 2024 12:35:59 +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 a883f34c46a..a12e7b51e93 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722356084, - "narHash": "sha256-k5a8lypxA1nLxABcxAuBBLhQSII3vh7+VBAMxvLu0ac=", + "lastModified": 1722514371, + "narHash": "sha256-LA+zHtKkFpzMMLUB2ICGNx+qjjEaSqbk36vsLOjCdKc=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "34fd0e183b877e2bc0df0c283c0670ebf9386e71", + "rev": "386d374228091337dd3b76b5b4a7df2fde305c94", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.55", + "ref": "v0.1.56", "repo": "haskell-backend", "type": "github" } From 4ae5a74a2f30168ed2d23a3603497388f0978084 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 1 Aug 2024 13:23:40 +0000 Subject: [PATCH 13/15] deps/haskell-backend_release: Set Version v0.1.57 --- 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 ed2cf9bbc0e..a0ba2466d24 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.56 +v0.1.57 From ceb5b1f3387cc608f28c656219ebb4f60259ab0e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 1 Aug 2024 13:24:36 +0000 Subject: [PATCH 14/15] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.57 --- 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 14348eabf35..ec1bd06cd05 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.56"; + url = "github:runtimeverification/haskell-backend/v0.1.57"; 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 386d3742280..3e38da9c58e 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 386d374228091337dd3b76b5b4a7df2fde305c94 +Subproject commit 3e38da9c58e76da39ced663090e6475b957e6599 From 68ab68987706ff06a927f332044ebe324e6084ca Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 1 Aug 2024 13:24:50 +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 a12e7b51e93..9d50bb38fbe 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722514371, - "narHash": "sha256-LA+zHtKkFpzMMLUB2ICGNx+qjjEaSqbk36vsLOjCdKc=", + "lastModified": 1722517294, + "narHash": "sha256-CBuygvM1ksLLp3xNPQcLvm6EQqrf05g92yAh1Eevjuc=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "386d374228091337dd3b76b5b4a7df2fde305c94", + "rev": "3e38da9c58e76da39ced663090e6475b957e6599", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.56", + "ref": "v0.1.57", "repo": "haskell-backend", "type": "github" }