summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/SimpleConstraintManager.h
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-89/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-2/+2
* Rename all 'AssumeXXX' methods in libCheckerTed Kremenek2010-12-011-12/+12
* - Allow making ElementRegions with complex offsets (expressions or symbols) f...Jordy Rose2010-08-161-4/+0
* Fold additive constants, and support comparsions of the form $sym+const1 <> c...Jordy Rose2010-06-181-8/+18
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+83
OpenPOWER on IntegriCloud