From 5cdded53c7af5353f788b91ba35a6f97984a6c3c Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 16:32:09 +0000 Subject: [PATCH 1/6] deps/llvm-backend_release: Set Version 0.1.123 --- deps/llvm-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index aa3e27071d1..2c88ab2344a 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.122 +0.1.123 From 628a925173c22c9dc63a5f0e43d486a224993e98 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 17 Jan 2025 16:33:08 +0000 Subject: [PATCH 2/6] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.123 --- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 6e1521f5dad..5ef88593017 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.122"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.123"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.108"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index d910a26d2a4..c36e5c3db72 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit d910a26d2a4c45e1b72eafb35642b76fc0d1faf0 +Subproject commit c36e5c3db723c4f46b79e0b5ecb29e1aa5f379f8 From 7e1d73863ecff0fd1e34b8a1f56ee9a16bf5ae81 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 17 Jan 2025 16:33:22 +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 5f6e64d4c46..4461d41d653 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1736524972, - "narHash": "sha256-h9tcey+vDixmOjLFtpdPU+bQJPkzyU8FsyrHWZHEWWk=", + "lastModified": 1737130823, + "narHash": "sha256-eH9Kz0I5r/lDvfaxzFdjz0W1KE9b65UsULthh4K012c=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "d910a26d2a4c45e1b72eafb35642b76fc0d1faf0", + "rev": "c36e5c3db723c4f46b79e0b5ecb29e1aa5f379f8", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.122", + "ref": "v0.1.123", "repo": "llvm-backend", "type": "github" } From 9d3386b1f8f1b6666735db7852e5eb7be61eed8e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 Jan 2025 17:13:20 +0000 Subject: [PATCH 4/6] deps/llvm-backend_release: Set Version 0.1.124 --- deps/llvm-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 2c88ab2344a..98eb271542a 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.123 +0.1.124 From 10dfdac5dbb52c7962134c93abe5a7a2f4df36ef Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 22 Jan 2025 17:14:25 +0000 Subject: [PATCH 5/6] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.124 --- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 5ef88593017..f44c5abc526 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.123"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.124"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.108"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index c36e5c3db72..ae90dd1ee5e 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit c36e5c3db723c4f46b79e0b5ecb29e1aa5f379f8 +Subproject commit ae90dd1ee5e469590a104a4eef343e90e99f5763 From 232f6b97110637280fcddbc4379cc3b4bbc1cc5d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 22 Jan 2025 17:14:39 +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 4461d41d653..7f77de7f645 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1737130823, - "narHash": "sha256-eH9Kz0I5r/lDvfaxzFdjz0W1KE9b65UsULthh4K012c=", + "lastModified": 1737565310, + "narHash": "sha256-85nH5F21utHcPgcFRuXtIEMYpNg9Vgsx6iGpOydxh74=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "c36e5c3db723c4f46b79e0b5ecb29e1aa5f379f8", + "rev": "ae90dd1ee5e469590a104a4eef343e90e99f5763", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.123", + "ref": "v0.1.124", "repo": "llvm-backend", "type": "github" }