| commit | 08f943c5630d8ee31d6a93227171d2f05db59e62 | [log] [tgz] |
|---|---|---|
| author | Dominic Chen <d.c.ddcc@gmail.com> | Tue Apr 04 19:52:25 2017 +0000 |
| committer | Dominic Chen <d.c.ddcc@gmail.com> | Tue Apr 04 19:52:25 2017 +0000 |
| tree | dc3f764fcd40f5e471aa753d3a13da614386c8a8 | |
| parent | 9eb0a1e09b1eeece9c59e8ee6c5164fcd6bbcacb [diff] |
[analyzer] Add new Z3 constraint manager backend Summary: Implement new Z3 constraint manager backend. Reviewers: zaks.anna, dcoughlin, NoQ, xazax.hun Subscribers: mgorny, cfe-commits Differential Revision: https://reviews.llvm.org/D28952 llvm-svn: 299463