Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-02-27 | Rework CFG edges to encode potentially unreachable edges, instead of just mak... | Ted Kremenek | 1 | -1/+2 |
2013-08-23 | Use pop_back_val() instead of both back() and pop_back(). | Robert Wilhelm | 1 | -5/+4 |
2011-07-23 | remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.... | Chris Lattner | 1 | -1/+1 |
2011-03-19 | Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. | Ted Kremenek | 1 | -3/+3 |
2011-02-23 | Migrate CFGReachabilityAnalysis out of the IdempotentOperationsChecker and in... | Ted Kremenek | 1 | -0/+76 |