proxmox-mirrors/llvm-toolchain
1
0
Fork 0
mirror of https://git.proxmox.com/git/llvm-toolchain synced 2025-11-03 07:47:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Enable Z3 solver (llvm & clang) to improve the quality of the static analysis results

Browse Source
This commit is contained in:
Sylvestre Ledru 2019-10-17 18:37:13 +02:00
parent b8c7c424ba
commit ca26100d40
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
debian/changelog vendored
View File

@ -1,15 +1,9 @@
llvm-toolchain-9 (1:9~svn374633-1~exp1) UNRELEASED; urgency=medium
* Prepare 9.0.1
* Enable Z3 solver (llvm & clang) to improve the quality of the static
analysis results
-- Sylvestre Ledru <sylvestre@debian.org> Sun, 13 Oct 2019 09:04:33 +0200
llvm-toolchain-9 (1:9-3) unstable; urgency=medium
* python-clang-9: missing dependency on libclang-9-dev
(Closes: #941890)
* Enable Z3 solver (llvm & clang) to improve the quality of the static
analysis results
* Do not fail the test suite on the -lclang-cpp failing
I think I need to create a libclang-cpp-dev package to unblock it
(but dunno why it works locally)