1. b21ff77 Add printing method to ElementRegion. by Zhongxing Xu · 16 years ago
  2. 511191c Add ElementRegion to represent memory chunks for array elements. by Zhongxing Xu · 16 years ago
  3. 4bd1eef Add pretty-printing support for FieldRegions. by Ted Kremenek · 16 years ago
  4. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
  5. 1789275 This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc. by Zhongxing Xu · 16 years ago
  6. 722c288 Fix typos. by Zhongxing Xu · 16 years ago
  7. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago