summaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers
AgeCommit message (Collapse)Author
2012-11-27Use stdin to read the Template Constraint Matrix. Better for testing.Zancanaro; Carlo
2012-11-27Updated solver stuff. This really should have already been in here...Zancanaro; Carlo
2012-11-01Fixing up some equation system stuff.Zancanaro; Carlo
Adding function arguments to the system, as well as making it slightly easier to read.
2012-10-15Fix up the Equation System generation. Now there's a bug in the solver.Zancanaro; Carlo
The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying.
2012-09-24Add the clang library to the repo (with some of my changes, too).Zancanaro; Carlo