Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | This patch did the following renaming. There should be no functional changes. | Zhongxing Xu | 2008-10-17 | 1 | -15/+15 |
* | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek | 2008-10-04 | 1 | -11/+9 |
* | Modify comments. | Zhongxing Xu | 2008-08-21 | 1 | -2/+3 |
* | Patch by Zhongxing Xu: | Ted Kremenek | 2008-08-20 | 1 | -0/+48 |
* | Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastEx... | Argyrios Kyrtzidis | 2008-08-18 | 1 | -13/+2 |
* | Move some environment methods from ValueState/ValueStateManager to Environmen... | Ted Kremenek | 2008-07-10 | 1 | -8/+95 |
* | Initial work on splitting the ValueState into an Environment, Store, and | Ted Kremenek | 2008-07-08 | 1 | -0/+29 |