From 4da0743e29011fda035b3c6875b57304fa7ca3e1 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 8 Aug 2024 12:02:40 -0600 Subject: [PATCH] Update dependency: deps/llvm-backend_release (#4578) 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 d9ba7470869..1f7a170d770 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.75 +0.1.77 diff --git a/flake.lock b/flake.lock index 18b4fa3950e..3eb62105884 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1722973323, - "narHash": "sha256-lD8Mc5sftYa4pqyUoglFzYDzTXiJ7m/SiMbeKy2tn2c=", + "lastModified": 1723094785, + "narHash": "sha256-JPe1rZkx4/q7wyEGIOitt3slEHpue5gSnT9x9tbnNMs=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "9cb2137d96059c8751bb57216cc1d0cea5746161", + "rev": "e7266f7e0082b5a90ccf47ceed47ba1811bdc636", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.75", + "ref": "v0.1.77", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 48ca100e172..a536edd8128 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.75"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.77"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.58"; 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 9cb2137d960..e7266f7e008 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 9cb2137d96059c8751bb57216cc1d0cea5746161 +Subproject commit e7266f7e0082b5a90ccf47ceed47ba1811bdc636