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

rv-jenkins · rv-auditor · jberthold · web-flow · commit 6d9e0ad50dcd · 2025-07-14T22:02:17.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Jost Berthold &lt;jost.berthold@gmail.com&gt;
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.133
+0.1.136
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.133";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.136";
     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 74bf6385cea9835c7f59628e028b45d635b59c74
+Subproject commit f1e8363e98264a449877672d5c21f674aeeb84cd
