Merge remote-tracking branch 'origin/develop'

runtimeverification · Oct 3, 2023 · 72ba286 · 72ba286
2 parents e66d8d2 + 5126598
commit 72ba286
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 10 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
+6 −6		nix/llvm-backend-matching.mavenix.lock
+12 −2		runtime/util/ConfigurationPrinter.cpp