1. 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
  2. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  3. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  4. 32c3fa4 Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast by Ted Kremenek · 15 years ago
  5. 9031dd7 RegionStore: by Ted Kremenek · 15 years ago
  6. dd66114 Enhance SimpleSValuator to handle nonloc::LocAsInteger -> location casts. by Ted Kremenek · 15 years ago
  7. 4653739 Move RegionStoreManager over to using new by Ted Kremenek · 15 years ago
  8. 54ca9b1 Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case by Ted Kremenek · 15 years ago
  9. e839172 Unbreak build. by Ted Kremenek · 15 years ago