| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Moved the whole SMT API to a single file. NFC. | Mikhail R. Gadelha | 2019-02-07 | 1 | -58/+0 |
| * | Generalised the SMT state constraints | Mikhail R. Gadelha | 2019-02-07 | 1 | -5/+2 |
| * | Update the file headers across all of the LLVM projects in the monorepo | Chandler Carruth | 2019-01-19 | 1 | -4/+3 |
| * | [analyzer] Update SMT API documentation and methods | Mikhail R. Gadelha | 2018-07-25 | 1 | -0/+4 |
| * | [analyzer] Fix compilation when LLVM_ENABLE_MODULES=ON | Mikhail R. Gadelha | 2018-07-25 | 1 | -1/+2 |
| * | [analyzer] Create generic SMT Expr class | Mikhail R. Gadelha | 2018-07-25 | 1 | -0/+57 |
 |
index : clang/clang.git | |
| (deprecated) Vendor branches of https://git.llvm.org/git/clang.git , use clang/llvm-project instead. |
| summaryrefslogtreecommitdiffstats |