[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


    <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:

Please keep up the good work on LLVM weekly.



More information about the llvm-dev mailing list