summaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer
diff options
context:
space:
mode:
authorZancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au>2012-09-24 14:28:32 +1000
committerZancanaro; Carlo <czan8762@plang3.cs.usyd.edu.au>2012-09-24 14:28:32 +1000
commitf168645671e31b5d2e7fb134b9d9f8750aebb872 (patch)
treea3451ad69fb1038022f25479d4c39135daea195e /clang/lib/StaticAnalyzer
parent222e2a7620e6520ffaf4fc4e69d79c18da31542e (diff)
Fix up some of the interval solving stuff.
Still missing: - Guards - Actual construction of the EquationSystem - Necessary operators for a Vector EquationSystem - Splitting blocks on multiple-assignment - Solving/linking with Checkers
Diffstat (limited to 'clang/lib/StaticAnalyzer')
0 files changed, 0 insertions, 0 deletions