[PATCH] D75544: Change CMake so that we only look for Z3 when LLVM_ENABLE_Z3_SOLVER is enabled

Zion via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 5 10:35:56 PDT 2020

Previous message: [PATCH] D75544: Change CMake so that we only look for Z3 when LLVM_ENABLE_Z3_SOLVER is enabled
Next message: [llvm] 937cb7a - Reland D80640: [CodeGen][SVE] Calculate correct type legalization for scalable vectors.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

hcorion added a comment.

AFAIK I don't have push permissions, thanks I appreciate that.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D75544/new/

https://reviews.llvm.org/D75544

Previous message: [PATCH] D75544: Change CMake so that we only look for Z3 when LLVM_ENABLE_Z3_SOLVER is enabled
Next message: [llvm] 937cb7a - Reland D80640: [CodeGen][SVE] Calculate correct type legalization for scalable vectors.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list