Merge remote-tracking branch 'origin/develop'

rv-auditor · rv-auditor · commit ee0316373500 · 2024-12-10T19:42:32.000Z
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.103
+0.1.113
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.113";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.104";
       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
@@ -1 +1 @@
-Subproject commit d5eab4b0f0e610bc60843ebb482f79c043b92702
+Subproject commit b16e56c905b7dc4db70ac7c0ec00abc18831500d

Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`{`
`2`	`2`	`description = "K Framework";`
`3`	`3`	`inputs = {`
`4`		`- llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103";`
	`4`	`+ llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.113";`
`5`	`5`	`haskell-backend = {`
`6`	`6`	`url = "github:runtimeverification/haskell-backend/v0.1.104";`
`7`	`7`	`inputs.rv-utils.follows = "llvm-backend/rv-utils";`