Merge remote-tracking branch 'origin/develop'

runtimeverification · Sep 20, 2024 · b6a32fa · b6a32fa
2 parents c278066 + 43bc2a8
commit b6a32fa
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.92
+0.1.94
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,7 +1,7 @@
 {
   description = "K Framework";
   inputs = {
-    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.92";
+    llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.94";
     haskell-backend = {
       url = "github:runtimeverification/haskell-backend/v0.1.76";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+1 −1		bin/llvm-kompile-testing
+2 −2		config/llvm_header.inc
+34 −17		include/kllvm/binary/ProofTraceParser.h
+30 −1		include/kllvm/codegen/ProofEvent.h
+3 −1		include/runtime/header.h
+53 −11		include/runtime/proof_trace_writer.h
+6 −2		lib/binary/ProofTraceParser.cpp
+70 −5		lib/codegen/ProofEvent.cpp
+1 −1		package/debian/changelog
+1 −1		package/version
+18 −2		runtime/main/main.ll
+8 −2		runtime/util/ConfigurationSerializer.cpp
+8 −4		runtime/util/finish_rewriting.cpp
+1 −0		test/defn/imp-sum-slow.kore
+1 −0		test/defn/imp-sum.kore
+1 −0		test/defn/imp.kore
+34 −0		test/lit.cfg.py
+2 −0		test/output/imp.statistics.out.diff