[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