Merge remote-tracking branch 'origin/develop'

runtimeverification · Nov 16, 2023 · b6fdb93 · b6fdb93
2 parents 750b5cf + 7a94f0f
commit b6fdb93
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
+7 −2		docs/proof-trace.md
+0 −2		include/kllvm/codegen/Debug.h
+25 −0		include/kllvm/codegen/Options.h
+5 −0		include/kllvm/codegen/ProofEvent.h
+5 −22		lib/codegen/ApplyPasses.cpp
+1 −0		lib/codegen/CMakeLists.txt
+0 −2		lib/codegen/Debug.cpp
+10 −1		lib/codegen/Decision.cpp
+63 −0		lib/codegen/Options.cpp
+42 −7		lib/codegen/ProofEvent.cpp
+8 −0		runtime/main/main.ll
+9 −0		runtime/util/util.cpp
+22 −54		tools/llvm-kompile-codegen/main.cpp