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