Update dependency: deps/llvm-backend_release (#4667)

Co-authored-by: devops <[email protected]> Co-authored-by: Roberto Rosmaninho <[email protected]>
runtimeverification · Oct 18, 2024 · 4363408 · 4363408
1 parent 7e36761
commit 4363408
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.100
+0.1.101
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.100";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.101";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.90";
       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
+7 −7		matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala
+1 −1		package/debian/changelog
+1 −1		package/version
+2 −0		test/input/same-name-diff-value/transferFunds.in
+29 −0		test/output/same-name-diff-value/transferFunds.proof.out.diff
+64 −0		test/proof/k-files/same-name-diff-value.k
+3,206 −0		test/proof/same-name-diff-value.kore