Age | Commit message (Expand) | Author |
---|---|---|
2010-12-01 | Rename all 'AssumeXXX' methods in libChecker | Ted Kremenek |
2010-11-24 | Adjust method calls to reflect name changes in | Ted Kremenek |
2010-06-18 | Fold additive constants, and support comparsions of the form $sym+const1 <> c... | Jordy Rose |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |