aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/BasicConstraintManager.cpp
AgeCommit message (Expand)Author
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