From 761e954fa444d385bd0cc6bf2d940800ad8d2187 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 28 Nov 2023 13:46:51 +0000 Subject: [PATCH 1/4] deps/hs-backend-booster_release: Set Version c289a1a29575f9e5156fae75fb34e1c97cfffd02 --- 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 0b03fc3c56c..5c6a34f3068 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -1b22ad45abf6209da1ec4c3d7bb65e4553072e1c +c289a1a29575f9e5156fae75fb34e1c97cfffd02 From 1e274211557bd36d02082aef4999624adbee54e8 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 28 Nov 2023 13:47:39 +0000 Subject: [PATCH 2/4] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version b2bade8ce62e5f3add32d87e98244ceb31790f9f --- 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 e9a9e9c3eb1..0da3df3dae0 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1"; + haskell-backend.url = "github:runtimeverification/haskell-backend/b2bade8ce62e5f3add32d87e98244ceb31790f9f"; booster-backend = { url = "github:runtimeverification/hs-backend-booster/1b22ad45abf6209da1ec4c3d7bb65e4553072e1c"; 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 2f90bbf6a7a..b2bade8ce62 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1 +Subproject commit b2bade8ce62e5f3add32d87e98244ceb31790f9f From d0e1dc984bc3cd2a8ecd993db7e638b886c84bf1 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 28 Nov 2023 13:47:40 +0000 Subject: [PATCH 3/4] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version c289a1a29575f9e5156fae75fb34e1c97cfffd02 --- 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 0da3df3dae0..724cb3afb78 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/b2bade8ce62e5f3add32d87e98244ceb31790f9f"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/1b22ad45abf6209da1ec4c3d7bb65e4553072e1c"; + url = "github:runtimeverification/hs-backend-booster/c289a1a29575f9e5156fae75fb34e1c97cfffd02"; 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 1b22ad45abf..c289a1a2957 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 1b22ad45abf6209da1ec4c3d7bb65e4553072e1c +Subproject commit c289a1a29575f9e5156fae75fb34e1c97cfffd02 From 5b966783a79b9c24ae264dbc96f4ca6986b95076 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 28 Nov 2023 13:47:57 +0000 Subject: [PATCH 4/4] flake.nix, flake.lock: update --- flake.lock | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/flake.lock b/flake.lock index 5408ed8d4cc..a17f57d3df6 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700751772, - "narHash": "sha256-5JaKvmI2AoaO3bD79W8UEUnRW4eosqBsa+O5ct9LwW4=", + "lastModified": 1701178934, + "narHash": "sha256-NO3b9RLeEmBcb8bGK9LA91cxH0TdUF5iuHDk3XDQioY=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c", + "rev": "c289a1a29575f9e5156fae75fb34e1c97cfffd02", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c", + "rev": "c289a1a29575f9e5156fae75fb34e1c97cfffd02", "type": "github" } }, @@ -71,17 +71,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1700651020, - "narHash": "sha256-7BpAXfdiixge0SsSJCjwqgNy085azJ7PpH/eQW9jQ7o=", + "lastModified": 1700818937, + "narHash": "sha256-Bbv9kGWm9kTtHX6BrRbm9zIrahY1rydhbPEffZWMESA=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1", + "rev": "b2bade8ce62e5f3add32d87e98244ceb31790f9f", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "2f90bbf6a7a970fe0b8fc4c8a5c1ec3fd8aee4f1", + "rev": "b2bade8ce62e5f3add32d87e98244ceb31790f9f", "type": "github" } },