| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add null stream check for more APIs. | Zhongxing Xu | 2010-06-18 | 1 | -16/+70 |
| | | | | | llvm-svn: 106274 | ||||
| * | Typo. | Zhongxing Xu | 2010-06-16 | 1 | -1/+1 |
| | | | | | llvm-svn: 106086 | ||||
| * | Although arguments can not be undefined when we get here, they can still be | Zhongxing Xu | 2010-06-16 | 1 | -13/+15 |
| | | | | | | | unknown. llvm-svn: 106085 | ||||
| * | Cast earlier. We know we can get a DefinedSVal. | Zhongxing Xu | 2010-06-16 | 1 | -3/+3 |
| | | | | | llvm-svn: 106084 | ||||
| * | Add StreamChecker. This checker models and checks stream manipulation functions. | Zhongxing Xu | 2010-06-16 | 1 | -0/+116 |
| This is the start. llvm-svn: 106082 | |||||
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|