From 4b845ffc088f873777ee09fe0cc2e3757507eb56 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 19 Jun 2024 05:41:50 -0600 Subject: [PATCH] Update dependency: deps/llvm-backend_release (#4452) Co-authored-by: devops --- deps/llvm-backend_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- llvm-backend/src/main/native/llvm-backend | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 352e98e2f38..0665a48efd5 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.49 +0.1.50 diff --git a/flake.lock b/flake.lock index b29c4c235bb..773258f0b95 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1718022605, - "narHash": "sha256-2eDL/m8nROZid2tczwlzYPsJOj3gA2k60VVL8YuFJBc=", + "lastModified": 1718737220, + "narHash": "sha256-0yMDvOr3TQPqpKBKOXAqfrz6FO+rOJ0qG3uNotxXhao=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "2a33228656e168965e89d40ec77a758ccd8f1c29", + "rev": "a7e321383372ba625173d4064836ab4f8cebef85", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.49", + "ref": "v0.1.50", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index c187d7fba41..61ac4965466 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.49"; + url = "github:runtimeverification/llvm-backend/v0.1.50"; 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 2a33228656e..a7e32138337 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 2a33228656e168965e89d40ec77a758ccd8f1c29 +Subproject commit a7e321383372ba625173d4064836ab4f8cebef85