Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek | 2010-12-01 | 1 | -169/+0 |
* | Add a fixme. | Zhongxing Xu | 2010-11-26 | 1 | -0/+1 |
* | Relax assertion in SValuator so that we don't crash when analyzing a call via... | Ted Kremenek | 2010-11-15 | 1 | -1/+12 |
* | GCC didn't care for my attempt at API compatibility, so brute-force everything | John McCall | 2010-08-25 | 1 | -2/+2 |
* | Pointer comparisons (and pointer-pointer subtraction). Basically filling in S... | Jordy Rose | 2010-06-28 | 1 | -4/+4 |
* | Cast evaluation no longer touch GRState. | Zhongxing Xu | 2010-02-04 | 1 | -27/+14 |
* | Explicitly check for casts to double or complex types instead of possibly ass... | Ted Kremenek | 2010-02-02 | 1 | -0/+6 |
* | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+164 |