diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release index 9c178d3b81..5d5322df68 100644 --- a/deps/llvm-backend_release +++ b/deps/llvm-backend_release @@ -1 +1 @@ -0.1.95 +0.1.98 diff --git a/flake.lock b/flake.lock index 0573caa5f2..4e61a7d413 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1727116141, - "narHash": "sha256-htGQy05VRhuAWdMkUzCf67gkKRGSHfJUeXU5bc2Z27Q=", + "lastModified": 1727813652, + "narHash": "sha256-x29OdXQARnaith+dz88R3O056tlJcC4VqFbFzlbqLEc=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b830daaa6392ff256e62970cab89deeaaf7aab95", + "rev": "812ea2ad00c91b7b5d144bd2624c7293802db45f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.95", + "ref": "v0.1.98", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 75d1243b0c..0f3c5c4746 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "K Framework"; inputs = { - llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.95"; + llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.98"; haskell-backend = { url = "github:runtimeverification/haskell-backend/v0.1.76"; 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 b830daaa63..812ea2ad00 160000 --- a/llvm-backend/src/main/native/llvm-backend +++ b/llvm-backend/src/main/native/llvm-backend @@ -1 +1 @@ -Subproject commit b830daaa6392ff256e62970cab89deeaaf7aab95 +Subproject commit 812ea2ad00c91b7b5d144bd2624c7293802db45f