Merge branch 'develop' into _update-deps/runtimeverification/hs-backe…

…nd-booster
runtimeverification · Nov 14, 2023 · 065e055 · 065e055
2 parents 860f120 + 5630b98
commit 065e055
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
+27 −23		docs/proof-trace.md
+10 −3		include/kllvm/codegen/ProofEvent.h
+7 −6		lib/codegen/CreateTerm.cpp
+30 −4		lib/codegen/Decision.cpp
+32 −8		lib/codegen/ProofEvent.cpp
+2 −2		runtime/take_steps.ll
+1 −0		runtime/util/ConfigurationPrinter.cpp
+2 −2		runtime/util/ConfigurationSerializer.cpp