Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update dependency: llvm-backend/src/main/native/llvm-backend (#4106)
Co-authored-by: devops <devops@runtimeverification.com>
- Loading branch information
1 parent
f19a6ca
commit 4f1b4e2
Showing
2 changed files
with
4 additions
and
4 deletions.
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Submodule llvm-backend
updated
11 files
+3 −0 | include/kllvm/ast/AST.h | |
+9 −1 | include/runtime/collect.h | |
+11 −0 | include/runtime/collections/RBTree.h | |
+8 −0 | include/runtime/collections/rangemap.h | |
+4 −0 | lib/ast/AST.cpp | |
+81 −30 | lib/ast/definition.cpp | |
+181 −23 | lib/codegen/Decision.cpp | |
+103 −6 | runtime/collect/collect.cpp | |
+2,687 −0 | test/defn/iterated-map-pointer-residual.kore | |
+1 −0 | test/input/iterated-map-pointer-residual.in | |
+1 −0 | test/output/iterated-map-pointer-residual.out.diff |