1. c037eac Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 15 years ago
  2. e1cea75 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 15 years ago
  3. 2c4036e Fix <rdar://problem/6848739>. When using -analyze, -Werror has no effect. by Ted Kremenek · 16 years ago