summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Fix Z3 backend after D48205Mikhail R. Gadelha2018-07-171-30/+29
* [analyzer] Fix the Z3 backend always generating unsigned APSIntMikhail R. Gadelha2018-07-161-3/+5
* [analyzer] Fix wrong comparison generation of the ranges generated by the ref...Mikhail R. Gadelha2018-06-281-3/+2
* [analyzer] Optimize constraint generation when the range is a concrete valueMikhail R. Gadelha2018-06-201-52/+47
* [analyzer] Add method to the generic SMT API to dump the SMT formulaMikhail R. Gadelha2018-06-161-0/+7
* [Analyzer] Fix Z3ConstraintManager crash (PR37646)Vlad Tsyrklevich2018-06-061-2/+4
* Created a tiny SMT interface and make Z3ConstraintManager implement itMikhail R. Gadelha2018-06-041-3/+58
* [analyzer] fix bug with 1-bit APSInt types in Z3ConstraintManagerDominic Chen2018-05-311-22/+50
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-121-18/+9
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-121-9/+18
* [analyzer] Add new Z3 constraint manager backendDominic Chen2017-04-041-0/+1618
OpenPOWER on IntegriCloud