Age | Commit message (Expand) | Author |
---|---|---|
2010-08-16 | - Allow making ElementRegions with complex offsets (expressions or symbols) f... | Jordy Rose |
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 |