Merge remote-tracking branch 'origin/develop'

runtimeverification · Jun 24, 2024 · d2b073b · d2b073b
2 parents 5db2ad3 + 44d0dbc
commit d2b073b
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.50
+0.1.51
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -5,7 +5,7 @@
     nixpkgs.follows = "llvm-backend/nixpkgs";
     flake-utils.url = "github:numtide/flake-utils";
     llvm-backend = {
-      url = "github:runtimeverification/llvm-backend/v0.1.50";
+      url = "github:runtimeverification/llvm-backend/v0.1.51";
       inputs.utils.follows = "flake-utils";
     };
     rv-utils.url = "github:runtimeverification/rv-nix-tools";

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+8 −1		bin/llvm-kompile
+6 −4		include/kllvm/codegen/Decision.h
+27 −9		lib/codegen/Decision.cpp
+1 −1		package/debian/changelog
+1 −1		package/version
+1 −0		runtime/util/CMakeLists.txt
+22 −0		runtime/util/clock.cpp
+6 −0		scripts/matching-profile/join-with-locations
+4 −0		scripts/matching-profile/matching-profile-formatter
+3 −0		scripts/matching-profile/sum-matching-profile
+10 −3		tools/llvm-kompile-codegen/main.cpp