[PATCH] D78025: Make sure z3 can be disabled from outside, even if detected on the system.

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Jan 19 08:53:42 PST 2023

Previous message: [PATCH] D78025: Make sure z3 can be disabled from outside, even if detected on the system.
Next message: [PATCH] D78025: Make sure z3 can be disabled from outside, even if detected on the system.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

lebedev.ri accepted this revision.
lebedev.ri added a comment.
This revision is now accepted and ready to land.
Herald added a subscriber: StephenFan.

Makes sense to me.


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

https://reviews.llvm.org/D78025

Previous message: [PATCH] D78025: Make sure z3 can be disabled from outside, even if detected on the system.
Next message: [PATCH] D78025: Make sure z3 can be disabled from outside, even if detected on the system.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list