Merge remote-tracking branch 'origin/develop'

runtimeverification · Jul 15, 2024 · 62fda50 · 62fda50
2 parents 3f0c6c7 + 3115ab1
commit 62fda50
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/llvm-backend_release b/deps/llvm-backend_release
@@ -1 +1 @@
-0.1.56
+0.1.57
diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
+8 −0		lib/codegen/EmitConfigParser.cpp
+1 −1		package/debian/changelog
+1 −1		package/version
+2,582 −0		test/defn/mint.kore
+1 −0		test/input/mint.in
+1 −0		test/output/mint.out.diff