diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 09d8256ac3a..1ec9b0b6463 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.59 +0.1.60 diff --git a/flake.lock b/flake.lock index 63fee7cccf7..4c8ace23457 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721409969, - "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=", + "lastModified": 1721505758, + "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663", + "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.59", + "ref": "v0.1.60", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index a20a08616eb..de83005782a 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.59"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.60"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.46"; 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 ed79b7ead98..548a54ccb12 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit ed79b7ead98fff940ef683e61653d4d30a47b663 +Subproject commit 548a54ccb12c9f3fff37914d46f0879a88f41590