Merge branch 'develop' into adopt-pr-4504

runtimeverification · Jul 10, 2024 · 4e85a5a · 4e85a5a
2 parents fcb0fde + 54e7c65
commit 4e85a5a
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 deletions.
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.52
+0.1.56
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.52";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.56";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.29";
       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		.github/workflows/ci-tests.sh
+1 −1		.gitmodules
+48 −2		include/kllvm/binary/ProofTraceParser.h
+1 −3		include/kllvm/codegen/Options.h
+3 −0		include/kllvm/codegen/SetVisibilityHidden.h
+1 −3		include/kllvm/codegen/Util.h
+16 −7		lib/binary/ProofTraceParser.cpp
+54 −12		lib/codegen/ApplyPasses.cpp
+6 −12		lib/codegen/CreateStaticTerm.cpp
+48 −44		lib/codegen/CreateTerm.cpp
+23 −34		lib/codegen/Decision.cpp
+3 −7		lib/codegen/DecisionParser.cpp
+64 −197		lib/codegen/EmitConfigParser.cpp
+5 −8		lib/codegen/Options.cpp
+3 −18		lib/codegen/Util.cpp
+1 −1		package/debian/changelog
+1 −1		package/version
+9 −9		runtime/finish_rewriting.ll
+20 −22		runtime/fresh.ll
+5 −5		runtime/getTag.ll
+35 −35		runtime/main/main.ll
+7 −8		runtime/move_float.ll
+7 −8		runtime/move_int.ll
+3 −3		runtime/string_equal.ll
+26 −26		runtime/take_steps.ll
+16 −0		test/lit.cfg.py
+81 −0		test/output/add-rewrite/input.proof.debug.out.diff
+1 −0		test/proof/add-rewrite.kore
+17 −1		tools/kore-proof-trace/main.cpp