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

rv-jenkins · rv-auditor · web-flow · commit 68f2d6f23885 · 2026-05-28T19:47:23.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.139
+0.1.140
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.139";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.140";
     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 618f530031870d6e8a74633b122d46afb5d7ad8e
+Subproject commit f02284f09858cd2b9f310ad0142b3e04054295ec
