From e2400c5dd42381af6dc8807b1b0c615d5c0f9e6e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 23 Oct 2024 23:17:28 +0000 Subject: [PATCH 1/6] deps/haskell-backend_release: Set Version v0.1.93 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 3ea761aedb..dd8e501c99 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.92 +v0.1.93 From 16dbaf55ee7d316af2dbb4d6d8098a7e8b916d5b Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 23 Oct 2024 23:18:31 +0000 Subject: [PATCH 2/6] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.93 --- 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 0917becbb2..35298fcd4e 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.101"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.92"; + url = "github:runtimeverification/haskell-backend/v0.1.93"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; inputs.nixpkgs.follows = "llvm-backend/nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index d933d5ccb4..4615f33176 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit d933d5ccb4cee63b83b8a990a03d3f4267139e41 +Subproject commit 4615f33176bc147ef3f8272e71ce4dc866de65bb From 16d04a9e1363121dbfb3096ddd175fda8353c968 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 23 Oct 2024 23:18:45 +0000 Subject: [PATCH 3/6] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 22f4c07a79..2069ec7a76 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1729679874, - "narHash": "sha256-+HNfnDTdH08YEHgTYIB0CF1YWrJMbiH9vyQUKnOyhsA=", + "lastModified": 1729724138, + "narHash": "sha256-Ap/bmEjRJRisYYExZ9mBhskaKQlJ0OnEorQjELCJfKQ=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "d933d5ccb4cee63b83b8a990a03d3f4267139e41", + "rev": "4615f33176bc147ef3f8272e71ce4dc866de65bb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.92", + "ref": "v0.1.93", "repo": "haskell-backend", "type": "github" } From 69b981e120edf1d44e9299f0f7ebbe034b23adf1 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 29 Oct 2024 13:05:31 +0000 Subject: [PATCH 4/6] deps/haskell-backend_release: Set Version v0.1.94 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index dd8e501c99..189b4b2fdd 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.93 +v0.1.94 From 196dfab516abadd2264175b68d46bc25f55879d0 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 29 Oct 2024 13:06:35 +0000 Subject: [PATCH 5/6] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.94 --- 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 35298fcd4e..d727bb70ce 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.101"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.93"; + url = "github:runtimeverification/haskell-backend/v0.1.94"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; inputs.nixpkgs.follows = "llvm-backend/nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 4615f33176..bc4baaf4e4 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 4615f33176bc147ef3f8272e71ce4dc866de65bb +Subproject commit bc4baaf4e437e711e45da7171a94eb7f617885cd From 21050bf59c20482180c01cb0fa786583ae08f6a1 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 29 Oct 2024 13:06:49 +0000 Subject: [PATCH 6/6] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 2069ec7a76..45a3fca1db 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1729724138, - "narHash": "sha256-Ap/bmEjRJRisYYExZ9mBhskaKQlJ0OnEorQjELCJfKQ=", + "lastModified": 1730205852, + "narHash": "sha256-XKnmxGR8s3x5PviM2c5I67C1ZE4inNPkd/cL1HclYlc=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "4615f33176bc147ef3f8272e71ce4dc866de65bb", + "rev": "bc4baaf4e437e711e45da7171a94eb7f617885cd", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.93", + "ref": "v0.1.94", "repo": "haskell-backend", "type": "github" }