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 | -110/+191 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+359 |