Merge remote-tracking branch 'origin/develop'

runtimeverification · Dec 7, 2023 · 5ec332b · 5ec332b
2 parents 6395204 + 1b46e89
commit 5ec332b
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
+0 −15		runtime/io/parseKORE.cpp
+0 −11		test/defn/k-files/test27.k
+0 −1		test/defn/kool-static.kore
+0 −3,302		test/defn/test27.kore
+0 −1		test/defn/test33.kore
+0 −1		test/input/test27.in
+0 −1		test/output/test27.out.diff
+0 −1		test/unparse/sort/syntaxDefinition.kore