Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -162/+0 |
* | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek | 2010-12-01 | 1 | -1/+1 |
* | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek | 2010-12-01 | 1 | -1/+1 |
* | Another metadata symbol change (missed a file) | Jordy Rose | 2010-08-14 | 1 | -0/+13 |
* | MemRegion can refer to ASTContext without external help. | Zhongxing Xu | 2010-08-11 | 1 | -2/+2 |
* | Since now we store the cast type with an ElementRegion, there is | Zhongxing Xu | 2010-03-01 | 1 | -8/+4 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+153 |