- d99bd55 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Copied (97%) from clang/lib/EntoSA/SimpleConstraintManager.cpp]
- ef33f09 Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (98%) from clang/lib/GR/SimpleConstraintManager.cpp]
- 98857c9 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
- 1696f50 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago
- ca08fba [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
- 2ff5ab1 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from clang/lib/Checker/SimpleConstraintManager.cpp]
- 8d602a8 [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
- 6d4db0c PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() and by Jay Foad · 15 years ago
- c5bea1e Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
- 9d0bb1e Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 15 years ago
- e302792 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
- df28e8e - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 15 years ago
- 7f8ea4d Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 15 years ago
- 79404af When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. by Jordy Rose · 15 years ago
- c0fe842 Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 15 years ago
- d6b8708 Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 16 years ago[Renamed (97%) from clang/lib/Analysis/SimpleConstraintManager.cpp]
- de8e744 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 16 years ago
- b0e15df Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 16 years ago
- f694f42 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 · 16 years ago
- 7020eae Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 16 years ago
- 11289f4 Remove tabs, and whitespace cleanups. by Mike Stump · 16 years ago
- 4c6a367 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 16 years ago
- f990684 libAnalysis: by Ted Kremenek · 16 years ago
- 3070210 Remove loc::FuncVal. by Zhongxing Xu · 17 years ago
- dadf250 Finally nuke loc::SymbolVal. by Zhongxing Xu · 17 years ago
- 3e31c26 analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 17 years ago
- 24e7eade This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 17 years ago
- b294d19 analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 17 years ago
- 3f5a85a SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 17 years ago
- 4e34f95 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 17 years ago
- 7efe43d Patch by Ben Laurie: by Ted Kremenek · 17 years ago