Age | Commit message (Expand) | Author |
---|---|---|
2010-08-25 | GCC didn't care for my attempt at API compatibility, so brute-force everything | John McCall |
2010-08-16 | - Allow making ElementRegions with complex offsets (expressions or symbols) f... | Jordy Rose |
2010-06-27 | Implicitly compare symbolic expressions to zero when they're being used as co... | Jordy Rose |
2010-06-21 | When folding additive operations, convert the values to the same type. When a... | 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 |