Merge branch 'develop' into _update-deps/runtimeverification/haskell-…

…backend
runtimeverification · Jul 26, 2024 · f7ff83b · f7ff83b
2 parents b7918cf + c43051f
commit f7ff83b
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.62
+0.1.64
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.62";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.64";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.49";
       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
+3 −0		.github/workflows/test.yml
+6 −6		bindings/c/lib.cpp
+6 −1		flake.nix
+17 −5		nix/overlay.nix
+1 −1		package/debian/changelog
+1 −1		package/version