Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fold additive constants, and support comparsions of the form $sym+const1 <> c... | Jordy Rose | 2010-06-18 | 1 | -54/+70 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+317 |