| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -1/+1 |
| * | Checker: random include cleanup. | Benjamin Kramer | 2010-03-27 | 1 | -1/+1 |
| * | Add simpler checker to check if variables captured by a block are uninitialized. | Ted Kremenek | 2010-02-16 | 1 | -0/+101 |

