summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/BasicConstraintManager.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclang...Argyrios Kyrtzidis2010-12-221-335/+0
* [analyzer] Refactoring: include/clang/Checker -> include/clang/GRArgyrios Kyrtzidis2010-12-221-3/+3
* Rename all 'AssumeXXX' methods in libCheckerTed Kremenek2010-12-011-14/+14
* Adjust method calls to reflect name changes inTed Kremenek2010-11-241-4/+6
* Fold additive constants, and support comparsions of the form $sym+const1 <> c...Jordy Rose2010-06-181-54/+70
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-251-0/+317
OpenPOWER on IntegriCloud