Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove GRStateManager& field from SimpleConstraintManager. | Ted Kremenek | 2009-06-18 | 1 | -19/+7 |
* | libAnalysis: | Ted Kremenek | 2009-06-18 | 1 | -35/+43 |
* | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek | 2009-03-26 | 1 | -1/+1 |
* | This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for | Zhongxing Xu | 2009-03-25 | 1 | -0/+1 |
* | Added method "canReasonAbout" to ConstraintManager. This method returns true if | Ted Kremenek | 2009-03-11 | 1 | -0/+3 |
* | Remove accidental duplication of content in .h file. | Ted Kremenek | 2009-02-15 | 1 | -81/+1 |
* | Patch by Ben Laurie: | Ted Kremenek | 2009-02-14 | 1 | -0/+160 |