Age | Commit message (Expand) | Author |
---|---|---|
2010-07-04 | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose |
2010-02-25 | Remove #include. | Ted Kremenek |
2010-02-08 | Revert 95541. | Ted Kremenek |
2010-02-08 | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |