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

Co-authored-by: devops <[email protected]>
runtimeverification · Nov 7, 2023 · 69ec6c3 · 69ec6c3
1 parent 37f2a27
commit 69ec6c3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 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
+2 −1		.github/workflows/clang-format-check.yml
+12 −1		docs/proof-trace.md
+12 −3		include/kllvm/ast/AST.h
+2 −0		include/kllvm/codegen/CreateTerm.h
+42 −0		include/kllvm/codegen/ProofEvent.h
+1 −0		lib/codegen/CMakeLists.txt
+54 −48		lib/codegen/CreateTerm.cpp
+198 −0		lib/codegen/ProofEvent.cpp
+2 −3		tools/k-rule-apply/auxiliar.h