aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/RangeConstraintManager.cpp
AgeCommit message (Expand)Author
2010-08-26zap dead ctorChris Lattner
2010-06-18Fold additive constants, and support comparsions of the form $sym+const1 <> c...Jordy Rose
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek