From 2e3884a4d1460ea6d4c54d7be9c69b1ea24698c8 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 10 Jan 2025 16:15:41 +0000 Subject: [PATCH] flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.122 --- 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 01b740ce0b..6e1521f5da 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.121"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.122"; 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 c23977459e..d910a26d2a 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit c23977459e01e2b6ef1122642a3c1ebf4d23fb24 +Subproject commit d910a26d2a4c45e1b72eafb35642b76fc0d1faf0