From 7aa109b80c54981242758a8d5a761bf292ce0f14 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 24 Nov 2023 08:24:23 -0700 Subject: [PATCH 1/2] Update dependency: deps/hs-backend-booster_release (#3822) Co-authored-by: devops --- deps/hs-backend-booster_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- haskell-backend/src/main/native/haskell-backend | 2 +- .../src/main/native/hs-backend-booster | 2 +- 5 files changed, 13 insertions(+), 13 deletions(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index 089060f81d3..0b03fc3c56c 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -ac35589bb31831b346e143bfa98c51e670237b8e +1b22ad45abf6209da1ec4c3d7bb65e4553072e1c diff --git a/flake.lock b/flake.lock index 92324692306..01ee32a6e96 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1700130818, - "narHash": "sha256-i4hqzOfI5qpqU4sL0Vk/tJK8VSQEXIuSC42jnNp/0Z0=", + "lastModified": 1700751772, + "narHash": "sha256-5JaKvmI2AoaO3bD79W8UEUnRW4eosqBsa+O5ct9LwW4=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "ac35589bb31831b346e143bfa98c51e670237b8e", + "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "ac35589bb31831b346e143bfa98c51e670237b8e", + "rev": "1b22ad45abf6209da1ec4c3d7bb65e4553072e1c", "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" } }, diff --git a/flake.nix b/flake.nix index 3dfb0510011..e9a9e9c3eb1 100644 --- a/flake.nix +++ b/flake.nix @@ -1,9 +1,9 @@ { 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/ac35589bb31831b346e143bfa98c51e670237b8e"; + 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/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 diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index ac35589bb31..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 ac35589bb31831b346e143bfa98c51e670237b8e +Subproject commit 1b22ad45abf6209da1ec4c3d7bb65e4553072e1c From 61de88b450e1a4d561e9470538b5d9025e76a146 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 27 Nov 2023 08:42:54 -0700 Subject: [PATCH 2/2] Update dependency: llvm-backend/src/main/native/llvm-backend (#3826) Co-authored-by: devops --- flake.lock | 6 +++--- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 01ee32a6e96..5408ed8d4cc 100644 --- a/flake.lock +++ b/flake.lock @@ -118,11 +118,11 @@ ] }, "locked": { - "lastModified": 1700523811, - "narHash": "sha256-WgzIxCEAyB2X1n1AoBds9hXIdWPyRhUJ0MRu2ZWWuQk=", + "lastModified": 1701095195, + "narHash": "sha256-HdeElKW8uniPnzcHeAz/DrWKQqG+mpgAWGwSRvMzzzU=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "5ca593b04cd15a3173cf09835eb2656f1264db64", + "rev": "6046ece44da6217b2cca99b3521fd20f26d5c107", "type": "github" }, "original": { diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 5ca593b04cd..6046ece44da 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 5ca593b04cd15a3173cf09835eb2656f1264db64 +Subproject commit 6046ece44da6217b2cca99b3521fd20f26d5c107