diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 11808190d4b..9767cc98e70 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.7 +0.1.10 diff --git a/flake.lock b/flake.lock index cccd56462fa..f6eff5d37f3 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ ] }, "locked": { - "lastModified": 1715187346, - "narHash": "sha256-J3FxvB1RubqbLd281+tUDMyvhy58JX11dFaOXSrvYzg=", + "lastModified": 1715269353, + "narHash": "sha256-zWW/um/I1Lqlx8/GNHc2wT1PB7i/YXZtAanu6Z5wT5M=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b6a1b07b837e6fc3ece7c90a858e98c8aea5bfce", + "rev": "ece4d09f3d0a8ee60d21ac3396f05ef4a34a901d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.7", + "ref": "v0.1.10", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index e1d8a1b37e4..6e8d025c2b7 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.7"; + url = "github:runtimeverification/llvm-backend/v0.1.10"; 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 b6a1b07b837..ece4d09f3d0 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit b6a1b07b837e6fc3ece7c90a858e98c8aea5bfce +Subproject commit ece4d09f3d0a8ee60d21ac3396f05ef4a34a901d