Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implicitly compare symbolic expressions to zero when they're being used as co... | Jordy Rose | 2010-06-27 | 1 | -3/+7 |
* | When folding additive operations, convert the values to the same type. When a... | Jordy Rose | 2010-06-21 | 1 | -20/+31 |
* | Fold additive constants, and support comparsions of the form $sym+const1 <> c... | Jordy Rose | 2010-06-18 | 1 | -49/+108 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+249 |