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

Co-authored-by: devops <[email protected]>
runtimeverification · Oct 2, 2023 · c802b4d · c802b4d
1 parent c71f50d
commit c802b4d
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
+1 −2		bindings/python/ast.cpp
+1 −3		cmake/RuntimeConfig.cmake
+0 −2		config/macros.h
+4 −13		debug/kgdb.py
+2 −33		include/kllvm/ast/AST.h
+1 −1		include/kllvm/parser/KOREScanner.h
+0 −19		include/runtime/header.h
+37 −136		lib/ast/AST.cpp
+8 −28		lib/codegen/CreateStaticTerm.cpp
+14 −6		lib/codegen/CreateTerm.cpp
+0 −1		lib/codegen/Debug.cpp
+0 −3		lib/codegen/Decision.cpp
+0 −3		lib/codegen/DecisionParser.cpp
+38 −73		lib/codegen/EmitConfigParser.cpp
+37 −11		lib/parser/KOREScanner.l
+6 −6		nix/llvm-backend-matching.mavenix.lock
+0 −1		runtime/collect/collect.cpp
+0 −1		runtime/collections/hash.cpp
+0 −4		runtime/collections/kelemle.cpp
+1 −1		runtime/fresh.ll
+1 −5		runtime/meta/substitution.cpp
+4 −13		runtime/strings/bytes.cpp
+4 −8		runtime/strings/strings.cpp
+23 −19		runtime/util/ConfigurationPrinter.cpp
+0 −4		runtime/util/ConfigurationSerializer.cpp
+0 −42		test/defn/k-files/test-unicode-strings.k
+0 −3,350		test/defn/test-unicode-strings.kore
+0 −1		test/input/test-unicode-strings.in
+0 −1		test/output/test-unicode-strings.out.diff
+1 −1		test/output/test-unicode.out.diff