[llvm-dev] LLVM Weekly - #171, Apr 10th 2017

Andrew Santosa via llvm-dev llvm-dev at lists.llvm.org
Mon Apr 10 18:34:03 PDT 2017



On Monday, 10 April 2017, 19:29, via llvm-dev <llvm-dev at lists.llvm.org> wrote:


------------------------------


Message: 12

Date: Mon, 10 Apr 2017 12:29:11 +0100

From: Alex Bradbury via llvm-dev <llvm-dev at lists.llvm.org>

To: llvm-dev <llvm-dev at lists.llvm.org>

Subject: [llvm-dev] LLVM Weekly - #171, Apr 10th 2017

Message-ID:

    <CA+wH296ep_OZGufG_09PDrjSZBzAsLhdt000z-ZgRaLRR-1kBA at mail.gmail.com>

Content-Type: text/plain; charset=UTF-8


LLVM Weekly - #171, Apr 10th 2017

=================================

...

## Clang commits


* Clang's analyzer gained support for the Z3 theorem prover as a constraint

manager backend. [r299463](http://reviews.llvm.org/rL29463).


...



I think the correct link should probably be the following:
https://reviews.llvm.org/D28952

Please keep up the good work on LLVM weekly.


Best,

Andrew


More information about the llvm-dev mailing list