| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -8/+5 |
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -1/+1 |
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -24/+19 |
| * | More GRState* -> Store changes. | Zhongxing Xu | 2010-02-05 | 1 | -4/+4 |
| * | Now that CastRetrievedVal returns SVal, there is no need to use CastResult. | Zhongxing Xu | 2010-02-04 | 1 | -12/+8 |
| * | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+625 |

