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

Co-authored-by: devops <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
runtimeverification · Oct 12, 2023 · 5eaf8a3 · 5eaf8a3
1 parent d1838d3
commit 5eaf8a3
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		.clang-format
+2 −0		.github/workflows/update.yml
+1 −0		bin/llvm-kompile-clang
+18 −1		bin/llvm-krun
+1 −2		bindings/c/lib.cpp
+1 −7		bindings/python/runtime.cpp
+5 −1		cmake/FindLLVM.cmake
+10 −0		include/kllvm/ast/AST.h
+6 −6		include/kllvm/parser/KOREParser.h
+11 −5		include/runtime/header.h
+28 −0		lib/ast/AST.cpp
+17 −1		lib/codegen/EmitConfigParser.cpp
+44 −20		lib/parser/KOREParser.cpp
+1 −0		lib/printer/printer.cpp
+0 −1		matching/pom.xml
+9 −12		matching/src/main/scala/org/kframework/backend/llvm/matching/Generator.scala
+34 −38		matching/src/main/scala/org/kframework/backend/llvm/matching/Parser.scala
+6 −6		nix/llvm-backend-matching.mavenix.lock
+4 −6		runtime/util/ConfigurationPrinter.cpp
+1 −0		test/input/search/non-executable/bottom.in
+1 −0		test/input/search/non-executable/three.in
+1 −1		test/output/choice-priority-search.out.diff
+1 −1		test/output/search-execute-to-branch.out.diff
+1 −0		test/output/search/non-executable/bottom.out.diff
+1 −1		test/output/search/search.initial.out.diff
+1 −1		test/output/search/search.next1.out.diff
+2 −0		test/search/search.kore