diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 9506d143fef..5946febf1d2 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.47 +0.1.48 diff --git a/flake.lock b/flake.lock index 2997a727b9b..3c7cf0bcd69 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1717746141, - "narHash": "sha256-+Aak3osveXgDzxkhodc/Helj3QnVrxNkJ54E54errg4=", + "lastModified": 1717777651, + "narHash": "sha256-qnURz7+ozhKRWLitotxNX0dSuJzGYlrsUoj1rEwBdds=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "0ac6525230e0275f10ee3d9c703f486f6d46c966", + "rev": "b22795d22df23ca4286f10ab93916f0e567ec1a2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.47", + "ref": "v0.1.48", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index c170ea89e79..bd9a2139579 100644 --- a/flake.nix +++ b/flake.nix @@ -5,7 +5,7 @@ nixpkgs.follows = "llvm-backend/nixpkgs"; flake-utils.url = "github:numtide/flake-utils"; llvm-backend = { - url = "github:runtimeverification/llvm-backend/v0.1.47"; + url = "github:runtimeverification/llvm-backend/v0.1.48"; inputs.utils.follows = "flake-utils"; }; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 0ac6525230e..b22795d22df 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 0ac6525230e0275f10ee3d9c703f486f6d46c966 +Subproject commit b22795d22df23ca4286f10ab93916f0e567ec1a2