Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 21, 2023 · 8f78558 · 8f78558
2 parents 3f547d5 + 44bb19b
commit 8f78558
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