[PATCH] D85195: Add Z3 to system libraries list if enabled

Mikhail Ramalho via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Aug 23 15:25:46 PDT 2020

Previous message: [llvm] f6decfa - [InstCombine] Negator: freeze is freely negatible if it's operand is negatible
Next message: [PATCH] D85195: Add Z3 to system libraries list if enabled
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

mikhail.ramalho accepted this revision.
mikhail.ramalho added a comment.
This revision is now accepted and ready to land.

LGTM


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85195

Previous message: [llvm] f6decfa - [InstCombine] Negator: freeze is freely negatible if it's operand is negatible
Next message: [PATCH] D85195: Add Z3 to system libraries list if enabled
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list