Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added "Auditor" interface for auditing the construction of ExplodedGraphs. | Ted Kremenek | 2008-08-27 | 1 | -0/+23 |
* | Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. | Ted Kremenek | 2008-08-27 | 1 | -0/+6 |
* | Use back() instead of end()-1 | Argyrios Kyrtzidis | 2008-04-22 | 1 | -2/+2 |
* | Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! | Ted Kremenek | 2008-04-20 | 1 | -2/+5 |
* | In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using | Ted Kremenek | 2008-04-16 | 1 | -5/+34 |
* | Make a major restructuring of the clang tree: introduce a top-level | Chris Lattner | 2008-03-15 | 1 | -0/+227 |