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

Co-authored-by: devops <[email protected]>
runtimeverification · Nov 21, 2023 · f9ef98a · f9ef98a
1 parent 0229096
commit f9ef98a
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
+0 −1		.github/workflows/test-flake.yml
+1 −1		bin/CMakeLists.txt
+1 −1		bin/llvm-kompile
+1 −1		bin/llvm-kompile-clang
+1 −1		include/CMakeLists.txt
+410 −0		include/kllvm/binary/ProofTraceValidator.h
+9 −0		lib/binary/CMakeLists.txt
+21 −0		lib/binary/ProofTraceValidator.cpp
+1 −1		test/defn/imp-proof.kore
+7 −0		test/lit.cfg.py
+1 −0		tools/CMakeLists.txt
+12 −0		tools/kore-proof-trace/CMakeLists.txt
+31 −0		tools/kore-proof-trace/main.cpp