diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 3234805de0..5950146bb3 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.101 +0.1.103 diff --git a/flake.lock b/flake.lock index 22f4c07a79..62bb68bfec 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1729195362, - "narHash": "sha256-/Fw5o0F3AJ+zk9nEOEsxLnSrWiKrDOe5RN6ChilbVfY=", + "lastModified": 1730229432, + "narHash": "sha256-2Y4U7TCmSf9NAZCBmvXiHLOXrHxpiRgIpw5ERYDdNSM=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "37b1dd959d47f7b072751b8a3aaef3837de49a79", + "rev": "d5eab4b0f0e610bc60843ebb482f79c043b92702", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.101", + "ref": "v0.1.103", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 0917becbb2..1038735b97 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.101"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.92"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend index 37b1dd959d..d5eab4b0f0 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit 37b1dd959d47f7b072751b8a3aaef3837de49a79 +Subproject commit d5eab4b0f0e610bc60843ebb482f79c043b92702