From ca404728442ac3085e97aa1e8ae519f7b65e4d42 Mon Sep 17 00:00:00 2001 From: devops Date: Sun, 19 Nov 2023 22:07:05 +0000 Subject: [PATCH 01/21] deps/hs-backend-booster_release: Set Version 7dc19651ef215e836d08f0b06da30ee414460646 --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index 089060f81d3..e12530e0c26 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -ac35589bb31831b346e143bfa98c51e670237b8e +7dc19651ef215e836d08f0b06da30ee414460646 From c1c3284a174e24b6d76a2894bdb4d38f8dcd7854 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 20 Nov 2023 09:18:32 +0000 Subject: [PATCH 02/21] deps/hs-backend-booster_release: Set Version 27ac540350a63ecbf2bb87665f022fdbf33ae5bb --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index e12530e0c26..d7eb61eb0e8 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -7dc19651ef215e836d08f0b06da30ee414460646 +27ac540350a63ecbf2bb87665f022fdbf33ae5bb From 1a626adb3b6a69c9dd7699a3295f371119be012a Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 20 Nov 2023 13:38:14 +0000 Subject: [PATCH 03/21] deps/hs-backend-booster_release: Set Version 62139cd3ad35defebed986ad0c169a9a0cf9e4bb --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index d7eb61eb0e8..75dbf15d9ff 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -27ac540350a63ecbf2bb87665f022fdbf33ae5bb +62139cd3ad35defebed986ad0c169a9a0cf9e4bb From 06f3da441bb891cf08fd114f617c5e7acc4f0e40 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 20 Nov 2023 13:39:18 +0000 Subject: [PATCH 04/21] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 62139cd3ad35defebed986ad0c169a9a0cf9e4bb --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 3dfb0510011..a3a9849900f 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/eebe4e9fd9dd6c606b37a384dbbfecca85943a38"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/ac35589bb31831b346e143bfa98c51e670237b8e"; + url = "github:runtimeverification/hs-backend-booster/62139cd3ad35defebed986ad0c169a9a0cf9e4bb"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index ac35589bb31..62139cd3ad3 160000 --- a/hs-backend-booster/src/main/native/hs-backend-booster +++ b/hs-backend-booster/src/main/native/hs-backend-booster @@ -1 +1 @@ -Subproject commit ac35589bb31831b346e143bfa98c51e670237b8e +Subproject commit 62139cd3ad35defebed986ad0c169a9a0cf9e4bb From f46e94a28bba9a0df5cd0e7c4e7ffc2487d0c658 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 20 Nov 2023 13:39:36 +0000 Subject: [PATCH 05/21] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 95a93db1ac4..679ceb95e99 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700130818, - "narHash": "sha256-i4hqzOfI5qpqU4sL0Vk/tJK8VSQEXIuSC42jnNp/0Z0=", + "lastModified": 1700487281, + "narHash": "sha256-nGKyLheitBAcFa6UEQrDrfftfmCiNSBXwdPa/fGU/r4=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "ac35589bb31831b346e143bfa98c51e670237b8e", + "rev": "62139cd3ad35defebed986ad0c169a9a0cf9e4bb", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "ac35589bb31831b346e143bfa98c51e670237b8e", + "rev": "62139cd3ad35defebed986ad0c169a9a0cf9e4bb", "type": "github" } }, From cdaf1c497209947fd43a715f074fc0eff51eee29 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 Nov 2023 15:18:26 +0000 Subject: [PATCH 06/21] deps/hs-backend-booster_release: Set Version 9f5b527d154d79ea9df209befff46ccdfc3b41d3 --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index 75dbf15d9ff..924f4725d81 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -62139cd3ad35defebed986ad0c169a9a0cf9e4bb +9f5b527d154d79ea9df209befff46ccdfc3b41d3 From 3e0baa7c63fc2999f07194ea1039a4f8a386792e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 Nov 2023 15:19:19 +0000 Subject: [PATCH 07/21] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 9f5b527d154d79ea9df209befff46ccdfc3b41d3 --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index a3a9849900f..553ff71a965 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/eebe4e9fd9dd6c606b37a384dbbfecca85943a38"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/62139cd3ad35defebed986ad0c169a9a0cf9e4bb"; + url = "github:runtimeverification/hs-backend-booster/9f5b527d154d79ea9df209befff46ccdfc3b41d3"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index 62139cd3ad3..9f5b527d154 160000 --- a/hs-backend-booster/src/main/native/hs-backend-booster +++ b/hs-backend-booster/src/main/native/hs-backend-booster @@ -1 +1 @@ -Subproject commit 62139cd3ad35defebed986ad0c169a9a0cf9e4bb +Subproject commit 9f5b527d154d79ea9df209befff46ccdfc3b41d3 From 623264defb68e66fcb4a312b73277c8534f44b2e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 Nov 2023 15:19:36 +0000 Subject: [PATCH 08/21] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index fb9003dfc79..011820f3cea 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700487281, - "narHash": "sha256-nGKyLheitBAcFa6UEQrDrfftfmCiNSBXwdPa/fGU/r4=", + "lastModified": 1700579557, + "narHash": "sha256-n0cIePAHF1xGpzg7HowM7LIEsJW/lcKfF70qJi1t5zI=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "62139cd3ad35defebed986ad0c169a9a0cf9e4bb", + "rev": "9f5b527d154d79ea9df209befff46ccdfc3b41d3", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "62139cd3ad35defebed986ad0c169a9a0cf9e4bb", + "rev": "9f5b527d154d79ea9df209befff46ccdfc3b41d3", "type": "github" } }, From 59b6cacaf0db8d8dd727f3fc9727ec74a7f0354d Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 Nov 2023 10:31:52 +0000 Subject: [PATCH 09/21] deps/hs-backend-booster_release: Set Version 8655415982bac2252ac07e5ce90b80a89d7151fe --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index 924f4725d81..ba860bedcfd 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -9f5b527d154d79ea9df209befff46ccdfc3b41d3 +8655415982bac2252ac07e5ce90b80a89d7151fe From 484128563407c1405889939d28b26987ca0d11cb Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 22 Nov 2023 10:32:42 +0000 Subject: [PATCH 10/21] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 8655415982bac2252ac07e5ce90b80a89d7151fe --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 553ff71a965..2337ec84e5e 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/eebe4e9fd9dd6c606b37a384dbbfecca85943a38"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/9f5b527d154d79ea9df209befff46ccdfc3b41d3"; + url = "github:runtimeverification/hs-backend-booster/8655415982bac2252ac07e5ce90b80a89d7151fe"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index 9f5b527d154..8655415982b 160000 --- a/hs-backend-booster/src/main/native/hs-backend-booster +++ b/hs-backend-booster/src/main/native/hs-backend-booster @@ -1 +1 @@ -Subproject commit 9f5b527d154d79ea9df209befff46ccdfc3b41d3 +Subproject commit 8655415982bac2252ac07e5ce90b80a89d7151fe From 544762509e2aec725d8603a0e9cb462b20a31219 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 22 Nov 2023 10:33:00 +0000 Subject: [PATCH 11/21] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 011820f3cea..f9edb5e6afc 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700579557, - "narHash": "sha256-n0cIePAHF1xGpzg7HowM7LIEsJW/lcKfF70qJi1t5zI=", + "lastModified": 1700648821, + "narHash": "sha256-I9oxIAQ0YPaC1JC5S8faocaqjF3ZHG1f1+TcotTfkG0=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "9f5b527d154d79ea9df209befff46ccdfc3b41d3", + "rev": "8655415982bac2252ac07e5ce90b80a89d7151fe", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "9f5b527d154d79ea9df209befff46ccdfc3b41d3", + "rev": "8655415982bac2252ac07e5ce90b80a89d7151fe", "type": "github" } }, From e8a8f2d5bde7902f807aa1b6c0a27871b9841f47 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Nov 2023 09:07:17 +0000 Subject: [PATCH 12/21] deps/hs-backend-booster_release: Set Version 229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index ba860bedcfd..9a9eaf94d86 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -8655415982bac2252ac07e5ce90b80a89d7151fe +229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f From 0849bcb5913d809f6e34a0e31c15b028b49c980d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 Nov 2023 09:08:06 +0000 Subject: [PATCH 13/21] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version 2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1 --- 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 2337ec84e5e..59da2a1a69b 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/eebe4e9fd9dd6c606b37a384dbbfecca85943a38"; + haskell-backend.url = "github:runtimeverification/haskell-backend/2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1"; booster-backend = { url = "github:runtimeverification/hs-backend-booster/8655415982bac2252ac07e5ce90b80a89d7151fe"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index eebe4e9fd9d..2f90bbf6a7a 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit eebe4e9fd9dd6c606b37a384dbbfecca85943a38 +Subproject commit 2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1 From cc38fe450ed9a85e60fb674066d4e0103b911a12 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 Nov 2023 09:08:06 +0000 Subject: [PATCH 14/21] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 59da2a1a69b..935ca1f20ee 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/8655415982bac2252ac07e5ce90b80a89d7151fe"; + url = "github:runtimeverification/hs-backend-booster/229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index 8655415982b..229de443c9f 160000 --- a/hs-backend-booster/src/main/native/hs-backend-booster +++ b/hs-backend-booster/src/main/native/hs-backend-booster @@ -1 +1 @@ -Subproject commit 8655415982bac2252ac07e5ce90b80a89d7151fe +Subproject commit 229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f From 8215a1ee3c9b4c4c536dfc23da8c85af9b4c9612 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 Nov 2023 09:08:23 +0000 Subject: [PATCH 15/21] flake.nix, flake.lock: update --- flake.lock | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/flake.lock b/flake.lock index f9edb5e6afc..b336b9b9f7a 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700648821, - "narHash": "sha256-I9oxIAQ0YPaC1JC5S8faocaqjF3ZHG1f1+TcotTfkG0=", + "lastModified": 1700730161, + "narHash": "sha256-2jomAVz9CzLQwwR47G32yqqAolYh6CJntauuPCYFLXQ=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "8655415982bac2252ac07e5ce90b80a89d7151fe", + "rev": "229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "8655415982bac2252ac07e5ce90b80a89d7151fe", + "rev": "229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f", "type": "github" } }, @@ -71,17 +71,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1698918605, - "narHash": "sha256-p3n0+My1U+rfHjaFPClK92HxAjAWIxSmCYyORCWJfxo=", + "lastModified": 1700651020, + "narHash": "sha256-7BpAXfdiixge0SsSJCjwqgNy085azJ7PpH/eQW9jQ7o=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "eebe4e9fd9dd6c606b37a384dbbfecca85943a38", + "rev": "2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "eebe4e9fd9dd6c606b37a384dbbfecca85943a38", + "rev": "2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1", "type": "github" } }, From 3f8634962b76bbf7d1531cdb32ddf4d0c22b324c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Nov 2023 13:34:22 +0000 Subject: [PATCH 16/21] deps/hs-backend-booster_release: Set Version 44b3ff4097e94fe90168d795ef3886fbc0662de1 --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index 9a9eaf94d86..da18a5d5101 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f +44b3ff4097e94fe90168d795ef3886fbc0662de1 From cc45f2d3666bc91d922798479913665f56bafb83 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 Nov 2023 13:35:11 +0000 Subject: [PATCH 17/21] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 44b3ff4097e94fe90168d795ef3886fbc0662de1 --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 935ca1f20ee..2a7ee24a322 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f"; + url = "github:runtimeverification/hs-backend-booster/44b3ff4097e94fe90168d795ef3886fbc0662de1"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index 229de443c9f..44b3ff4097e 160000 --- a/hs-backend-booster/src/main/native/hs-backend-booster +++ b/hs-backend-booster/src/main/native/hs-backend-booster @@ -1 +1 @@ -Subproject commit 229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f +Subproject commit 44b3ff4097e94fe90168d795ef3886fbc0662de1 From eb98da617effffb0d114a90df180c083da849332 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 Nov 2023 13:35:28 +0000 Subject: [PATCH 18/21] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index b336b9b9f7a..28c5f443d93 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700730161, - "narHash": "sha256-2jomAVz9CzLQwwR47G32yqqAolYh6CJntauuPCYFLXQ=", + "lastModified": 1700745993, + "narHash": "sha256-6YIkuOLitiE1iUMxwm9eygwfQFsPt5qWtOEPKDtzbz8=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f", + "rev": "44b3ff4097e94fe90168d795ef3886fbc0662de1", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "229de443c9f658ac2a2cb9dae8b9d7f64b8c9a8f", + "rev": "44b3ff4097e94fe90168d795ef3886fbc0662de1", "type": "github" } }, From 282654fb4199728fc11c9383f70be143236641ea Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Nov 2023 15:07:06 +0000 Subject: [PATCH 19/21] deps/hs-backend-booster_release: Set Version 1b22ad45abf6209da1ec4c3d7bb65e4553072e1c --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index da18a5d5101..0b03fc3c56c 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -44b3ff4097e94fe90168d795ef3886fbc0662de1 +1b22ad45abf6209da1ec4c3d7bb65e4553072e1c From 7357c2fe94157ccb1d20b327830f4c81f83a8a10 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 Nov 2023 15:07:56 +0000 Subject: [PATCH 20/21] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 1b22ad45abf6209da1ec4c3d7bb65e4553072e1c --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 2a7ee24a322..e9a9e9c3eb1 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/44b3ff4097e94fe90168d795ef3886fbc0662de1"; + url = "github:runtimeverification/hs-backend-booster/1b22ad45abf6209da1ec4c3d7bb65e4553072e1c"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index 44b3ff4097e..1b22ad45abf 160000 --- a/hs-backend-booster/src/main/native/hs-backend-booster +++ b/hs-backend-booster/src/main/native/hs-backend-booster @@ -1 +1 @@ -Subproject commit 44b3ff4097e94fe90168d795ef3886fbc0662de1 +Subproject commit 1b22ad45abf6209da1ec4c3d7bb65e4553072e1c From c827397558fec6e0400a80ea864ba469d0f1108d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 23 Nov 2023 15:08:12 +0000 Subject: [PATCH 21/21] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 28c5f443d93..01ee32a6e96 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700745993, - "narHash": "sha256-6YIkuOLitiE1iUMxwm9eygwfQFsPt5qWtOEPKDtzbz8=", + "lastModified": 1700751772, + "narHash": "sha256-5JaKvmI2AoaO3bD79W8UEUnRW4eosqBsa+O5ct9LwW4=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "44b3ff4097e94fe90168d795ef3886fbc0662de1", + "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "44b3ff4097e94fe90168d795ef3886fbc0662de1", + "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c", "type": "github" } },