1. 27b5706 An ElementRegion is really a typed region. Its super region's type has to be ArrayType. by Zhongxing Xu · 16 years ago
  2. e9f4e54 Add StringRegion to MemRegions. by Zhongxing Xu · 16 years ago
  3. a7f1b9e Added region ObjCObjectRegion that represents an instance of an Objective-C object. by Ted Kremenek · 16 years ago
  4. b21ff77 Add printing method to ElementRegion. by Zhongxing Xu · 16 years ago
  5. 511191c Add ElementRegion to represent memory chunks for array elements. by Zhongxing Xu · 16 years ago
  6. 4bd1eef Add pretty-printing support for FieldRegions. by Ted Kremenek · 16 years ago
  7. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
  8. 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
  9. 722c288 Fix typos. by Zhongxing Xu · 16 years ago
  10. 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