Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 21142581d55918beed544a757e4af3bb865b1812 / lib / StaticAnalyzer / SimpleConstraintManager.h
  1. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 14 years ago[Copied (96%) from lib/EntoSA/SimpleConstraintManager.h]
  2. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 14 years ago[Renamed (96%) from lib/GR/SimpleConstraintManager.h]
  3. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 14 years ago
  4. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 14 years ago
  5. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 14 years ago
  6. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 14 years ago[Renamed from lib/Checker/SimpleConstraintManager.h]
  7. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
  8. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
  9. e701117 - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 14 years ago
  10. ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
  11. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (96%) from lib/Analysis/SimpleConstraintManager.h]
  12. 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
  13. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  14. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  15. f1b8227 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 15 years ago
  16. a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
  17. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  18. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
  19. 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 16 years ago
  20. 669c0e1 Remove accidental duplication of content in .h file. by Ted Kremenek · 16 years ago
  21. 4502195 Patch by Ben Laurie: by Ted Kremenek · 16 years ago