| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added region ObjCObjectRegion that represents an instance of an Objective-C o... | Ted Kremenek | 2008-10-24 | 1 | -0/+21 |
| * | Add printing method to ElementRegion. | Zhongxing Xu | 2008-10-24 | 1 | -0/+5 |
| * | Add ElementRegion to represent memory chunks for array elements. | Zhongxing Xu | 2008-10-21 | 1 | -0/+28 |
| * | Add pretty-printing support for FieldRegions. | Ted Kremenek | 2008-10-17 | 1 | -0/+5 |
| * | - constify some uses of MemRegion* (MemRegion should be immutable). | Ted Kremenek | 2008-10-17 | 1 | -7/+49 |
| * | This is the first step to implement a field-sensitive store model. Other thin... | Zhongxing Xu | 2008-10-08 | 1 | -0/+34 |
| * | Fix typos. | Zhongxing Xu | 2008-10-06 | 1 | -2/+2 |
| * | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek | 2008-10-04 | 1 | -0/+158 |

