Merge branch 'develop' into _update-deps/runtimeverification/haskell-backend

jberthold · web-flow · commit fbe89a79c431 · 2025-10-16T14:41:46.000+11:00
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.138
+0.1.139
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.138";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.139";
     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 145066375064b27d6e392cdcdfb1efad1c21875d
+Subproject commit 618f530031870d6e8a74633b122d46afb5d7ad8e
