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

Co-authored-by: devops <[email protected]>
runtimeverification · May 8, 2024 · 3c8e94f · 3c8e94f
1 parent 391f614
commit 3c8e94f
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.6
+0.1.7
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -5,7 +5,7 @@
     nixpkgs.follows = "llvm-backend/nixpkgs";
     flake-utils.url = "github:numtide/flake-utils";
     llvm-backend = {
-      url = "github:runtimeverification/llvm-backend/v0.1.6";
+      url = "github:runtimeverification/llvm-backend/v0.1.7";
       inputs.utils.follows = "flake-utils";
     };
     rv-utils.url = "github:runtimeverification/rv-nix-tools";

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+1 −1		bin/llvm-kompile-clang
+1 −1		package/debian/changelog
+1 −1		package/version
+0 −1		test/defn/imp-sum-slow.kore
+0 −1		test/defn/imp-sum.kore
+2 −0		test/defn/imp.kore
+2 −0		test/defn/kool-static.kore
+0 −1,400		test/defn/test-proof-trace-slow.kore
+0 −1,400		test/defn/test-proof-trace.kore
+0 −0		test/input/imp-sum-slow.in
+0 −0		test/input/imp-sum.in
+2 −14		test/lit.cfg.py
+0 −6,752		test/output/imp-proof/imp-proof.out.diff
+0 −7,637		test/output/imp-slow-proof/imp-slow-proof.out.diff
+0 −0		test/output/imp-sum-slow.proof.out.diff
+1 −0		test/output/imp-sum.out.diff
+0 −0		test/output/imp-sum.proof.out.diff
+84,689 −0		test/output/imp.proof.out.diff
+19,781 −0		test/output/kool-static.proof.out.diff
+0 −4		test/python/Inputs/proof-trace.kore
+0 −1		tools/CMakeLists.txt
+0 −12		tools/kore-proof-trace-test/CMakeLists.txt
+0 −81		tools/kore-proof-trace-test/main.cpp