Merge remote-tracking branch 'origin/develop'

runtimeverification · Apr 9, 2024 · 4947235 · 4947235
2 parents 5bff7dd + 048ef5b
commit 4947235
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
+9 −8		matching/src/main/scala/org/kframework/backend/llvm/matching/Matrix.scala
+3 −3		runtime/collect/collect.cpp