Update dependency: llvm-backend/src/main/native/llvm-backend (#4018)

Co-authored-by: devops <[email protected]>
runtimeverification · Feb 20, 2024 · daabb6f · daabb6f
1 parent cc2f814
commit daabb6f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+1 −0		.clang-tidy
+4 −2		bindings/c/lib.cpp
+3 −2		bindings/python/runtime.cpp
+1 −1		cmake/KLLVMCompilerFlags.cmake
+1 −1		deps/immer
+4 −4		flake.lock
+1 −1		flake.nix
+5 −14		include/kllvm/binary/ProofTraceParser.h
+4 −27		include/kllvm/binary/serializer.h
+7 −4		include/runtime/header.h
+16 −14		lib/ast/AST.cpp
+2 −2		lib/ast/definition.cpp
+23 −0		lib/binary/ProofTraceParser.cpp
+15 −9		lib/binary/serializer.cpp
+1 −1		lib/codegen/CreateTerm.cpp
+1 −1		lib/codegen/Decision.cpp
+1 −1		lib/codegen/EmitConfigParser.cpp
+16 −7		lib/codegen/ProofEvent.cpp
+9 −8		lib/printer/addBrackets.cpp
+2 −2		runtime/take_steps.ll
+2 −2		runtime/util/ConfigurationPrinter.cpp
+17 −11		runtime/util/ConfigurationSerializer.cpp
+1 −1		runtime/util/finish_rewriting.cpp
+4,932 −4,932		test/output/imp-proof.out.diff