flake.nix, llvm-backend/src/main/native/llvm-backend: update to version v0.1.140

rv-auditor · rv-auditor · commit 22861c3db9be · 2026-05-28T18:46:07.000Z
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
