Merge remote-tracking branch 'origin/develop'

runtimeverification · Oct 19, 2023 · 97e8a38 · 97e8a38
2 parents 7cb2a33 + 3563005
commit 97e8a38
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
+6 −0		config/macros.h
+3 −1		lib/codegen/ApplyPasses.cpp
+2 −5		lib/codegen/CMakeLists.txt
+18 −5		lib/codegen/CreateTerm.cpp