Merge remote-tracking branch 'origin/develop'

runtimeverification · Jan 19, 2024 · 95bc70f · 95bc70f
2 parents 4d7542c + ef0eb64
commit 95bc70f
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
+66 −86		bindings/c/lib.cpp
+1 −0		test/defn/io.kore
+1 −0		test/defn/test26.kore