Update dependency: llvm-backend/src/main/native/llvm-backend (#3657)

Co-authored-by: devops <[email protected]>
runtimeverification · Sep 26, 2023 · 03d280e · 03d280e
1 parent 6bda50e
commit 03d280e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 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 −1		INSTALL.md
+3 −3		bin/llvm-kompile-clang
+2 −1		bindings/python/ast.cpp
+3 −1		cmake/RuntimeConfig.cmake
+2 −0		config/macros.h
+13 −4		debug/kgdb.py
+33 −2		include/kllvm/ast/AST.h
+1 −1		include/kllvm/parser/KOREScanner.h
+21 −2		include/runtime/header.h
+136 −37		lib/ast/AST.cpp
+28 −8		lib/codegen/CreateStaticTerm.cpp
+11 −19		lib/codegen/CreateTerm.cpp
+1 −0		lib/codegen/Debug.cpp
+3 −0		lib/codegen/Decision.cpp
+3 −0		lib/codegen/DecisionParser.cpp
+73 −38		lib/codegen/EmitConfigParser.cpp
+11 −37		lib/parser/KOREScanner.l
+21 −20		matching/src/main/scala/org/kframework/backend/llvm/matching/Parser.scala
+2 −3		nix/llvm-backend.nix
+6 −6		runtime/alloc/alloc.cpp
+1 −0		runtime/collect/collect.cpp
+1 −0		runtime/collections/hash.cpp
+4 −0		runtime/collections/kelemle.cpp
+1 −1		runtime/fresh.ll
+3 −3		runtime/io/io.cpp
+1 −1		runtime/json/json.cpp
+2 −2		runtime/meta/ffi.cpp
+6 −2		runtime/meta/substitution.cpp
+19 −10		runtime/strings/bytes.cpp
+1 −1		runtime/strings/numeric.cpp
+16 −12		runtime/strings/strings.cpp
+20 −24		runtime/util/ConfigurationPrinter.cpp
+4 −0		runtime/util/ConfigurationSerializer.cpp
+42 −0		test/defn/k-files/test-unicode-strings.k
+3,350 −0		test/defn/test-unicode-strings.kore
+1 −0		test/input/test-unicode-strings.in
+1 −0		test/output/test-unicode-strings.out.diff
+1 −1		test/output/test-unicode.out.diff
+2 −2		unittests/runtime-strings/stringtest.cpp