From b256ac616d55a6e0f64d54ac1a4630d0ce6e1def Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 5 Jul 2024 14:41:23 +0000 Subject: [PATCH 01/12] deps/llvm-backend_release: Set Version 0.1.53 --- 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 9c4d21fb322..a4c528cd58b 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.52 +0.1.53 From bb0c1761ea0841822d438640b63f6f991250adc4 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 5 Jul 2024 14:42:18 +0000 Subject: [PATCH 02/12] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.53 --- 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 f795fd2aec8..97053795da0 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { - url = "github:runtimeverification/llvm-backend/v0.1.52"; + url = "github:runtimeverification/llvm-backend/v0.1.53"; inputs.utils.follows = "flake-utils"; }; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 9dfc379039b..3bfb6db3ad6 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 9dfc379039bfa3a257d92feac6323eb246a8e995 +Subproject commit 3bfb6db3ad6f8c2a47be28f324eb4c276af8a325 From a804682692414921a6c13625b322d68b380c6974 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 5 Jul 2024 14:42:48 +0000 Subject: [PATCH 03/12] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index b0ebac8573b..57e5fb0c79d 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1719488252, - "narHash": "sha256-f6ppPl1kYpFX8MY3Jji6ky6BDpY6QrvQJ4wy0PCjqp4=", + "lastModified": 1720189780, + "narHash": "sha256-g0OcfOTf5jOpVDDYVl4bwp2lPernWc9lFoGLT4+wFcc=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "9dfc379039bfa3a257d92feac6323eb246a8e995", + "rev": "3bfb6db3ad6f8c2a47be28f324eb4c276af8a325", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.52", + "ref": "v0.1.53", "repo": "llvm-backend", "type": "github" } From 3eaf68a26b230dbdfead5e7197efcf35ba5fbbc6 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Jul 2024 20:06:24 +0000 Subject: [PATCH 04/12] deps/llvm-backend_release: Set Version 0.1.54 --- 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 a4c528cd58b..7b300677b06 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.53 +0.1.54 From b2d92200fb5eda885eed59858fed88b362ff35f2 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 9 Jul 2024 20:07:18 +0000 Subject: [PATCH 05/12] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.54 --- 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 97053795da0..a2289c91380 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { - url = "github:runtimeverification/llvm-backend/v0.1.53"; + url = "github:runtimeverification/llvm-backend/v0.1.54"; inputs.utils.follows = "flake-utils"; }; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 3bfb6db3ad6..4a2b609a27f 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 3bfb6db3ad6f8c2a47be28f324eb4c276af8a325 +Subproject commit 4a2b609a27fa3375cc567db19e1d87e1a66fb15a From 1df221ac778693710fa45c512e009ca734bf65de Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 9 Jul 2024 20:07:47 +0000 Subject: [PATCH 06/12] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 57e5fb0c79d..1d19ef4fc48 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1720189780, - "narHash": "sha256-g0OcfOTf5jOpVDDYVl4bwp2lPernWc9lFoGLT4+wFcc=", + "lastModified": 1720554856, + "narHash": "sha256-qzCuf9IpFd1nGT+3UIrumVFgFp4iCffVrXWwmMDtn/M=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "3bfb6db3ad6f8c2a47be28f324eb4c276af8a325", + "rev": "4a2b609a27fa3375cc567db19e1d87e1a66fb15a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.53", + "ref": "v0.1.54", "repo": "llvm-backend", "type": "github" } From 7510c2ad4d90119a0c51e4879dd4501b69db7547 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Jul 2024 20:51:49 +0000 Subject: [PATCH 07/12] deps/llvm-backend_release: Set Version 0.1.55 --- 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 7b300677b06..8893a8e1414 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.54 +0.1.55 From 263d07d20db43d103a607c5da2ceb576cec1ffc3 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 9 Jul 2024 20:52:43 +0000 Subject: [PATCH 08/12] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.55 --- 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 a2289c91380..e1822395320 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { - url = "github:runtimeverification/llvm-backend/v0.1.54"; + url = "github:runtimeverification/llvm-backend/v0.1.55"; inputs.utils.follows = "flake-utils"; }; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 4a2b609a27f..faf2ce69d5c 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 4a2b609a27fa3375cc567db19e1d87e1a66fb15a +Subproject commit faf2ce69d5c3d01dc7ee55f6b9f9eb40bbd10aaf From 79d639e7f4d5132c4e0c8809205e8406557329cd Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 9 Jul 2024 20:53:13 +0000 Subject: [PATCH 09/12] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 1d19ef4fc48..1c3a070c48b 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1720554856, - "narHash": "sha256-qzCuf9IpFd1nGT+3UIrumVFgFp4iCffVrXWwmMDtn/M=", + "lastModified": 1720557741, + "narHash": "sha256-T+4ec8PnlTnLFPym73qIU0AL+F/7IHT8k53v7hCySM8=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "4a2b609a27fa3375cc567db19e1d87e1a66fb15a", + "rev": "faf2ce69d5c3d01dc7ee55f6b9f9eb40bbd10aaf", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.54", + "ref": "v0.1.55", "repo": "llvm-backend", "type": "github" } From 8bc9e2ce2ede4b4f29dfa0ebcf9e0699b63c1313 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jul 2024 10:12:31 +0000 Subject: [PATCH 10/12] deps/llvm-backend_release: Set Version 0.1.56 --- 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 8893a8e1414..c52af3e242b 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.55 +0.1.56 From 80e8f0d3d6540d7118fc23b07f81559d7d4a1f91 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 10 Jul 2024 10:13:30 +0000 Subject: [PATCH 11/12] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.56 --- 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 e1822395320..edbaf159a0f 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { - url = "github:runtimeverification/llvm-backend/v0.1.55"; + url = "github:runtimeverification/llvm-backend/v0.1.56"; inputs.utils.follows = "flake-utils"; }; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index faf2ce69d5c..bd12ae4ace1 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit faf2ce69d5c3d01dc7ee55f6b9f9eb40bbd10aaf +Subproject commit bd12ae4ace1f288b3b6236cc42f7004fe38e9965 From 33c8b65422211e1395c92631f22e130415b7bd50 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 10 Jul 2024 10:14:02 +0000 Subject: [PATCH 12/12] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 1c3a070c48b..350b7713edc 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1720557741, - "narHash": "sha256-T+4ec8PnlTnLFPym73qIU0AL+F/7IHT8k53v7hCySM8=", + "lastModified": 1720605767, + "narHash": "sha256-f2+y13P306W0Ws7gfjVkG4jytHqfSY0qAd4KeF/qZno=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "faf2ce69d5c3d01dc7ee55f6b9f9eb40bbd10aaf", + "rev": "bd12ae4ace1f288b3b6236cc42f7004fe38e9965", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.55", + "ref": "v0.1.56", "repo": "llvm-backend", "type": "github" }