Update dependency: deps/llvm-backend_release (#4858)

rv-jenkins · rv-auditor · web-flow · commit fc463e4c7f34 · 2025-09-17T12:27:32.000-06:00
This contains our tweaks to the LLVM backend to use consistent LLVM versions across the project. Stemming from this PR: runtimeverification/llvm-backend#1215 --------- Co-authored-by: devops <devops@runtimeverification.com>
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.137
+0.1.138
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -4,7 +4,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.137";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.138";
     llvm-backend.inputs.nixpkgs.follows = "nixpkgs";
 
     haskell-backend = {
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 09a3d777393caba34e89d55916ac5046913dbedb
+Subproject commit 145066375064b27d6e392cdcdfb1efad1c21875d
