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