| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Merge ValueManager into SValBuilder. | Ted Kremenek | 2010-12-02 | 1 | -6/+4 |
| * | Rename all 'AssumeXXX' methods in libChecker | Ted Kremenek | 2010-12-01 | 1 | -1/+1 |
| * | Rename all 'EvalXXX' methods in libChecker to | Ted Kremenek | 2010-12-01 | 1 | -3/+3 |
| * | Rename 'SValuator' to 'SValBuilder'. The new name | Ted Kremenek | 2010-12-01 | 1 | -2/+2 |
| * | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose | 2010-07-04 | 1 | -3/+12 |
| * | Remove #include. | Ted Kremenek | 2010-02-25 | 1 | -1/+0 |
| * | Revert 95541. | Ted Kremenek | 2010-02-08 | 1 | -3/+3 |
| * | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu | 2010-02-08 | 1 | -3/+3 |
| * | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+76 |
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|