From d89e3fbcddb2ecd9adb13a0c0428955e44659066 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 30 Oct 2023 10:01:15 +0000 Subject: [PATCH 01/10] deps/hs-backend-booster_release: Set Version 35c52041fadeb401b005bede2c14ddb99c70f8a8 --- 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 cc80e10ceed..246045a4f50 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -59bdfa3f5e3ee4d82351d8de44137029c47e23a8 +35c52041fadeb401b005bede2c14ddb99c70f8a8 From 9d89500a011d6f5fca9a49bbb2ca5c88e9ac30d0 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 30 Oct 2023 10:02:15 +0000 Subject: [PATCH 02/10] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 35c52041fadeb401b005bede2c14ddb99c70f8a8 --- 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 0ce991d5e49..0f00883b1a7 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/59bdfa3f5e3ee4d82351d8de44137029c47e23a8"; + url = "github:runtimeverification/hs-backend-booster/35c52041fadeb401b005bede2c14ddb99c70f8a8"; 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 59bdfa3f5e3..35c52041fad 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 59bdfa3f5e3ee4d82351d8de44137029c47e23a8 +Subproject commit 35c52041fadeb401b005bede2c14ddb99c70f8a8 From 1ed32e3c40e652a1189cffd3d93dd603ad21af11 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 30 Oct 2023 10:02:37 +0000 Subject: [PATCH 03/10] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index b8d4566c582..5b670fdde1a 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1698380696, - "narHash": "sha256-+2ll6O1nn53Fgm09R+Bz4otMs5jn3Xeo2nx0tfhmnH0=", + "lastModified": 1698659834, + "narHash": "sha256-afrCj2H7ZkGFpiWyXCUCeZK36Uklx0u/+ySz9rLpmV8=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8", + "rev": "35c52041fadeb401b005bede2c14ddb99c70f8a8", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8", + "rev": "35c52041fadeb401b005bede2c14ddb99c70f8a8", "type": "github" } }, From c2fc51702f9e5d07bb9371fdc211c848047f07ca Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 31 Oct 2023 09:59:35 +0000 Subject: [PATCH 04/10] deps/hs-backend-booster_release: Set Version a7ea448f3d94929439c28d9663dbddd143b95407 --- 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 246045a4f50..409a574dbb6 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -35c52041fadeb401b005bede2c14ddb99c70f8a8 +a7ea448f3d94929439c28d9663dbddd143b95407 From effcd5ea55a679bc1b1d2d2f318ca68f9ece8bda Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 31 Oct 2023 10:00:45 +0000 Subject: [PATCH 05/10] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version a7ea448f3d94929439c28d9663dbddd143b95407 --- 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 0f00883b1a7..a4704a3e505 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/35c52041fadeb401b005bede2c14ddb99c70f8a8"; + url = "github:runtimeverification/hs-backend-booster/a7ea448f3d94929439c28d9663dbddd143b95407"; 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 35c52041fad..a7ea448f3d9 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 35c52041fadeb401b005bede2c14ddb99c70f8a8 +Subproject commit a7ea448f3d94929439c28d9663dbddd143b95407 From 6e162d8bab5f426ce2f98cd8fb4c0b294d6df620 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 31 Oct 2023 10:01:08 +0000 Subject: [PATCH 06/10] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 5b670fdde1a..00cdd14fc5f 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1698659834, - "narHash": "sha256-afrCj2H7ZkGFpiWyXCUCeZK36Uklx0u/+ySz9rLpmV8=", + "lastModified": 1698746188, + "narHash": "sha256-jnjgEclDqQxcEkRkP5ikrT74kfdIQc2fxME7bBQidNM=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "35c52041fadeb401b005bede2c14ddb99c70f8a8", + "rev": "a7ea448f3d94929439c28d9663dbddd143b95407", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "35c52041fadeb401b005bede2c14ddb99c70f8a8", + "rev": "a7ea448f3d94929439c28d9663dbddd143b95407", "type": "github" } }, From f598035423a76e2c91ef2639bd27241c20ba3988 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 31 Oct 2023 10:48:16 +0000 Subject: [PATCH 07/10] deps/hs-backend-booster_release: Set Version d240f6e954bdbc16572259ac6fec70a66416e2d8 --- 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 409a574dbb6..89daef2f998 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -a7ea448f3d94929439c28d9663dbddd143b95407 +d240f6e954bdbc16572259ac6fec70a66416e2d8 From 01c15039093d91c653c72cb5986b652b2eb6ee79 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 31 Oct 2023 10:49:30 +0000 Subject: [PATCH 08/10] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version 811e94fbcaef8550a6a709a9ce793f7166457911 --- 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 a4704a3e505..7baf60e7aa3 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb"; + haskell-backend.url = "github:runtimeverification/haskell-backend/811e94fbcaef8550a6a709a9ce793f7166457911"; booster-backend = { url = "github:runtimeverification/hs-backend-booster/a7ea448f3d94929439c28d9663dbddd143b95407"; 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 03a6228f78d..811e94fbcae 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb +Subproject commit 811e94fbcaef8550a6a709a9ce793f7166457911 From 6cc4e73e8e2b3b70622ef6e2c19a427777bba9b8 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 31 Oct 2023 10:49:31 +0000 Subject: [PATCH 09/10] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version d240f6e954bdbc16572259ac6fec70a66416e2d8 --- 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 7baf60e7aa3..7e2020c1fff 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/811e94fbcaef8550a6a709a9ce793f7166457911"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/a7ea448f3d94929439c28d9663dbddd143b95407"; + url = "github:runtimeverification/hs-backend-booster/d240f6e954bdbc16572259ac6fec70a66416e2d8"; 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 a7ea448f3d9..d240f6e954b 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 a7ea448f3d94929439c28d9663dbddd143b95407 +Subproject commit d240f6e954bdbc16572259ac6fec70a66416e2d8 From 94e3b96b60d695b25e045b412d9430a1c90dc513 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 31 Oct 2023 10:49:57 +0000 Subject: [PATCH 10/10] flake.nix, flake.lock: update --- flake.lock | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/flake.lock b/flake.lock index 00cdd14fc5f..f0be4f4fdfb 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1698746188, - "narHash": "sha256-jnjgEclDqQxcEkRkP5ikrT74kfdIQc2fxME7bBQidNM=", + "lastModified": 1698748998, + "narHash": "sha256-rtn0XdiVUJe+ilvu+KowIf5nOfzxC/Uqs44g9gy4kgI=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a7ea448f3d94929439c28d9663dbddd143b95407", + "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a7ea448f3d94929439c28d9663dbddd143b95407", + "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8", "type": "github" } }, @@ -87,17 +87,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1697702407, - "narHash": "sha256-r9c5qpgoejKJePbxqq01QkHx/wZNypY/fUSugsapF8w=", + "lastModified": 1698659846, + "narHash": "sha256-zpISCikITipLGr8D//8QpgW9YWKKrJ764QSu3pM6LSU=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb", + "rev": "811e94fbcaef8550a6a709a9ce793f7166457911", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb", + "rev": "811e94fbcaef8550a6a709a9ce793f7166457911", "type": "github" } },