Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove reference to AnalysisContext in Environment. We already have LocationC... | Zhongxing Xu | 2010-03-05 | 1 | -14/+6 |
* | When profiling Environment, also profile with AnalysisContext*, bacause | Zhongxing Xu | 2010-03-04 | 1 | -0/+6 |
* | Revert 95541. | Ted Kremenek | 2010-02-08 | 1 | -4/+4 |
* | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu | 2010-02-08 | 1 | -4/+4 |
* | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -1/+2 |
* | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -1/+2 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+358 |