summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
Commit message (Expand)AuthorAgeFilesLines
* Moved everything SMT-related to LLVM and updated the cmake scripts.Mikhail R. Gadelha2019-03-251-12/+13
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-161-0/+5
* Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"Csaba Dabis2019-03-161-5/+0
* [analyzer] ConditionBRVisitor: Remove GDM checkingCsaba Dabis2019-03-161-0/+5
* Fix VS2015 build problem introduced by r353370.Douglas Yung2019-02-121-2/+2
* This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.Mikhail R. Gadelha2019-02-091-13/+12
* Move the SMT API to LLVMMikhail R. Gadelha2019-02-071-12/+13
* Got rid of the `Z3ConstraintManager` classMikhail R. Gadelha2019-02-071-4/+3
* Generalised the SMT state constraintsMikhail R. Gadelha2019-02-071-8/+11
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-301-1/+1
* [analyzer] Move canReasonAbout from Z3ConstraintManager to SMTConstraintManagerMikhail R. Gadelha2018-10-251-0/+46
* [analyzer] Improvements to the SMT APIMikhail R. Gadelha2018-10-021-3/+3
* [analyzer] added cache for SMT queries in the SMTConstraintManagerMikhail R. Gadelha2018-08-231-24/+30
* [analyzer] Moved all CSA code from the SMT API to a new header, `SMTConv.h`. ...Mikhail R. Gadelha2018-08-231-26/+37
* [analyzer] Templatefy SMTConstraintManager so more generic code can be moved ...Mikhail R. Gadelha2018-08-231-9/+205
* [analyzer] Update SMT API documentation and methodsMikhail R. Gadelha2018-07-251-4/+0
* [analyzer] Removed API used by the Refutation Manager from SMTConstraintManag...Mikhail R. Gadelha2018-07-251-8/+0
* [analyzer] Moved code from SMTConstraintManager to SMTSolverMikhail R. Gadelha2018-07-251-183/+0
* [analyzer] Moved non solver specific code from Z3ConstraintManager to SMTCons...Mikhail R. Gadelha2018-07-251-5/+232
* [analyzer] Add method to the generic SMT API to dump the SMT formulaMikhail R. Gadelha2018-06-161-0/+2
* Created a tiny SMT interface and make Z3ConstraintManager implement itMikhail R. Gadelha2018-06-041-0/+43
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-08 03:31:27 +0000