Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a92bd303a6aed5cf12de5f76938c112b00cc06e6 / lib / Analysis / SimpleConstraintManager.h
  1. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  2. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  3. f1b8227 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 15 years ago
  4. a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
  5. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
  6. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 15 years ago
  7. 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 15 years ago
  8. 669c0e1 Remove accidental duplication of content in .h file. by Ted Kremenek · 16 years ago
  9. 4502195 Patch by Ben Laurie: by Ted Kremenek · 16 years ago