From c9fd7dc6ba7573a0d3f458f9745967a65123952e Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Oct 2023 11:32:32 +0000 Subject: [PATCH 1/9] deps/hs-backend-booster_release: Set Version eab3a2c66b73c1c35186181d2a866641600a7b3f --- 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 37739d23d81..be871f93e83 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -66439eba81e7311698cb3647b22bb840529ac524 +eab3a2c66b73c1c35186181d2a866641600a7b3f From c0d2a6b852b6f5814d67c692806206f2ef663ca2 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 26 Oct 2023 11:33:36 +0000 Subject: [PATCH 2/9] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version eab3a2c66b73c1c35186181d2a866641600a7b3f --- 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 eafb1a380fc..066cce42e9d 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/66439eba81e7311698cb3647b22bb840529ac524"; + url = "github:runtimeverification/hs-backend-booster/eab3a2c66b73c1c35186181d2a866641600a7b3f"; 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 66439eba81e..eab3a2c66b7 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 66439eba81e7311698cb3647b22bb840529ac524 +Subproject commit eab3a2c66b73c1c35186181d2a866641600a7b3f From 95bc08cd7553628c2b35dc4fc7e26753d36552c3 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 26 Oct 2023 11:34:00 +0000 Subject: [PATCH 3/9] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 59e3cee9a33..3bda85c46ef 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1698013447, - "narHash": "sha256-H3Um2kgQLfEkvbIGJBQAqLojcikVhc0SoMW/7HPdgH8=", + "lastModified": 1698319351, + "narHash": "sha256-tDrFs88QXvXdOSjLTz5WTStULEeFQiJQXb2kYl9FE64=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "66439eba81e7311698cb3647b22bb840529ac524", + "rev": "eab3a2c66b73c1c35186181d2a866641600a7b3f", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "66439eba81e7311698cb3647b22bb840529ac524", + "rev": "eab3a2c66b73c1c35186181d2a866641600a7b3f", "type": "github" } }, From b4f98b7fc0ee5bff41730bc0df748e2ba39bcf28 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 26 Oct 2023 16:33:30 +0000 Subject: [PATCH 4/9] deps/hs-backend-booster_release: Set Version a3886da968d76481a1ba4ae9c5f6db53bd252d4e --- 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 be871f93e83..eea465a2246 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -eab3a2c66b73c1c35186181d2a866641600a7b3f +a3886da968d76481a1ba4ae9c5f6db53bd252d4e From a50cbc4b8463c6777237e3ba3424bfdfd7b9db7f Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 26 Oct 2023 16:34:46 +0000 Subject: [PATCH 5/9] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version a3886da968d76481a1ba4ae9c5f6db53bd252d4e --- 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 066cce42e9d..f29c1f43f54 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/eab3a2c66b73c1c35186181d2a866641600a7b3f"; + url = "github:runtimeverification/hs-backend-booster/a3886da968d76481a1ba4ae9c5f6db53bd252d4e"; 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 eab3a2c66b7..a3886da968d 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 eab3a2c66b73c1c35186181d2a866641600a7b3f +Subproject commit a3886da968d76481a1ba4ae9c5f6db53bd252d4e From 212238c96a436772746aeb2860466d7d9b5c9c02 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 26 Oct 2023 16:35:14 +0000 Subject: [PATCH 6/9] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 3bda85c46ef..9916c35c241 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1698319351, - "narHash": "sha256-tDrFs88QXvXdOSjLTz5WTStULEeFQiJQXb2kYl9FE64=", + "lastModified": 1698337598, + "narHash": "sha256-5KqDNUniJ1G4yy9gMOoF563nk5ih0qasf4TiCXROB7Q=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "eab3a2c66b73c1c35186181d2a866641600a7b3f", + "rev": "a3886da968d76481a1ba4ae9c5f6db53bd252d4e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "eab3a2c66b73c1c35186181d2a866641600a7b3f", + "rev": "a3886da968d76481a1ba4ae9c5f6db53bd252d4e", "type": "github" } }, From 254d276c7269b3f297cef1534fc99d8b9c4e4397 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 27 Oct 2023 04:28:42 +0000 Subject: [PATCH 7/9] deps/hs-backend-booster_release: Set Version 59bdfa3f5e3ee4d82351d8de44137029c47e23a8 --- 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 eea465a2246..cc80e10ceed 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -a3886da968d76481a1ba4ae9c5f6db53bd252d4e +59bdfa3f5e3ee4d82351d8de44137029c47e23a8 From 8b7a77d62d3f9bd55d22e77d44dfb867f67363db Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 27 Oct 2023 04:29:56 +0000 Subject: [PATCH 8/9] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 59bdfa3f5e3ee4d82351d8de44137029c47e23a8 --- 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 f29c1f43f54..0ce991d5e49 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/a3886da968d76481a1ba4ae9c5f6db53bd252d4e"; + url = "github:runtimeverification/hs-backend-booster/59bdfa3f5e3ee4d82351d8de44137029c47e23a8"; 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 a3886da968d..59bdfa3f5e3 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 a3886da968d76481a1ba4ae9c5f6db53bd252d4e +Subproject commit 59bdfa3f5e3ee4d82351d8de44137029c47e23a8 From ff072486a0b14a0b69789fb9f920ce13cb3e17c6 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 27 Oct 2023 04:30:23 +0000 Subject: [PATCH 9/9] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 9916c35c241..b8d4566c582 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1698337598, - "narHash": "sha256-5KqDNUniJ1G4yy9gMOoF563nk5ih0qasf4TiCXROB7Q=", + "lastModified": 1698380696, + "narHash": "sha256-+2ll6O1nn53Fgm09R+Bz4otMs5jn3Xeo2nx0tfhmnH0=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a3886da968d76481a1ba4ae9c5f6db53bd252d4e", + "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a3886da968d76481a1ba4ae9c5f6db53bd252d4e", + "rev": "59bdfa3f5e3ee4d82351d8de44137029c47e23a8", "type": "github" } },