summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis
AgeCommit message (Collapse)Author
2012-09-24Fix up some of the interval solving stuff.Zancanaro; Carlo
Still missing: - Guards - Actual construction of the EquationSystem - Necessary operators for a Vector EquationSystem - Splitting blocks on multiple-assignment - Solving/linking with Checkers
2012-09-24Add the clang library to the repo (with some of my changes, too).Zancanaro; Carlo