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

Co-authored-by: devops <[email protected]> Co-authored-by: Bruce Collie <[email protected]>
runtimeverification · Nov 2, 2023 · b1b22ea · b1b22ea
1 parent 47ee46f
commit b1b22ea
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
+5 −4		INSTALL.md
+2 −14		cmake/FindLLVM.cmake
+1 −1		default.nix
+8 −8		flake.nix
+10 −15		include/kllvm/codegen/Util.h
+2 −16		lib/codegen/ApplyPasses.cpp
+37 −19		lib/codegen/CreateStaticTerm.cpp
+30 −22		lib/codegen/CreateTerm.cpp
+0 −5		lib/codegen/Debug.cpp
+15 −14		lib/codegen/Decision.cpp
+6 −3		lib/codegen/DecisionParser.cpp
+23 −11		lib/codegen/EmitConfigParser.cpp
+0 −19		lib/codegen/Util.cpp