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

Co-authored-by: devops <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
runtimeverification · Dec 20, 2023 · 81d0f42 · 81d0f42
1 parent 5426fc2
commit 81d0f42
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
+12 −0		.clang-tidy
+10 −7		bindings/core/src/core.cpp
+6 −0		bindings/python/ast.cpp
+10 −10		include/kllvm/ast/AST.h
+9 −8		include/kllvm/bindings/core/core.h
+11 −8		include/kllvm/codegen/CreateTerm.h
+10 −9		include/kllvm/codegen/Debug.h
+5 −5		include/kllvm/codegen/Decision.h
+3 −3		include/kllvm/codegen/DecisionParser.h
+2 −2		include/kllvm/codegen/ProofEvent.h
+4 −3		include/kllvm/codegen/Util.h
+3 −3		include/kllvm/parser/KOREParser.h
+2 −1		include/kllvm/printer/printer.h
+61 −72		lib/ast/AST.cpp
+1 −1		lib/ast/CMakeLists.txt
+2 −2		lib/binary/serializer.cpp
+6 −13		lib/codegen/CreateStaticTerm.cpp
+23 −25		lib/codegen/CreateTerm.cpp
+20 −18		lib/codegen/Debug.cpp
+26 −28		lib/codegen/Decision.cpp
+11 −13		lib/codegen/DecisionParser.cpp
+24 −38		lib/codegen/EmitConfigParser.cpp
+2 −2		lib/codegen/ProofEvent.cpp
+1 −1		lib/codegen/Util.cpp
+12 −13		lib/parser/KOREParser.cpp
+2 −2		lib/printer/addBrackets.cpp
+2 −4		lib/printer/printer.cpp
+11 −11		runtime/alloc/alloc.cpp
+33 −33		runtime/alloc/arena.cpp
+2 −2		runtime/arithmetic/int.cpp
+2 −2		runtime/collect/collect.cpp
+5 −6		runtime/collect/migrate_roots.cpp
+8 −8		runtime/collections/hash.cpp
+17 −17		runtime/collections/kelemle.cpp
+2 −2		runtime/collections/lists.cpp
+1 −1		runtime/collections/maps.cpp
+12 −14		runtime/collections/rangemaps.cpp
+1 −1		runtime/collections/sets.cpp
+23 −22		runtime/io/io.cpp
+16 −16		runtime/json/json.cpp
+16 −17		runtime/meta/ffi.cpp
+3 −3		runtime/meta/substitution.cpp
+9 −9		runtime/strings/bytes.cpp
+9 −7		runtime/strings/numeric.cpp
+1 −1		runtime/strings/strings.cpp
+5 −5		runtime/util/ConfigurationParser.cpp
+16 −11		runtime/util/ConfigurationPrinter.cpp
+8 −9		runtime/util/ConfigurationSerializer.cpp
+11 −4		runtime/util/match_log.cpp
+1 −1		scripts/clang-tidy.sh
+3 −3		tools/k-rule-apply/main.cpp
+6 −5		tools/k-rule-find/main.cpp
+1 −1		tools/kore-convert/main.cpp
+2 −4		tools/kore-expand-macros/main.cpp
+1 −1		tools/llvm-kompile-codegen/main.cpp
+8 −6		tools/llvm-kompile-gc-stats/main.cpp