[llvm-branch-commits] [llvm-branch] r368269 - ReleaseNotes: LLVM_ENABLE_Z3_SOLVER (PR42921)

Hans Wennborg via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Thu Aug 8 01:52:27 PDT 2019

Author: hans
Date: Thu Aug  8 01:52:26 2019
New Revision: 368269

URL: http://llvm.org/viewvc/llvm-project?rev=368269&view=rev
ReleaseNotes: LLVM_ENABLE_Z3_SOLVER (PR42921)


Modified: llvm/branches/release_90/docs/ReleaseNotes.rst
URL: http://llvm.org/viewvc/llvm-project/llvm/branches/release_90/docs/ReleaseNotes.rst?rev=368269&r1=368268&r2=368269&view=diff
--- llvm/branches/release_90/docs/ReleaseNotes.rst (original)
+++ llvm/branches/release_90/docs/ReleaseNotes.rst Thu Aug  8 01:52:26 2019
@@ -52,6 +52,10 @@ Non-comprehensive list of changes in thi
 * **llvm-objcopy/llvm-strip** got support for COFF object files/executables,
   supporting the most common copying/stripping options.
+* The CMake parameter ``CLANG_ANALYZER_ENABLE_Z3_SOLVER`` has been replaced by
 .. NOTE
    If you would like to document a larger change, then you can add a
    subsection about it right here. You can copy the following boilerplate

More information about the llvm-branch-commits mailing list