| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue. | Jordan Rose | 2012-11-01 | 1 | -4/+7 |
| * | [analyzer] Fix a bug in SimpleStreamChecker - return after sink. | Anna Zaks | 2012-10-31 | 1 | -1/+3 |
| * | [analyzer] SimpleStreamChecker - remove evalAssume and other refinements | Anna Zaks | 2012-10-31 | 1 | -56/+30 |
| * | [analyzer]SimpleStreamChecker: add a TODO for better leak report. | Anna Zaks | 2012-10-30 | 1 | -0/+2 |
| * | [analyzer] Fix a bug in REGISTER_MAP_WITH_PROGRAMSTATE | Anna Zaks | 2012-10-30 | 1 | -7/+5 |
| * | [analyzer] Rename REGISTER_MAP_WITH_GDM ->REGISTER_MAP_WITH_PROGRAMSTATE | Anna Zaks | 2012-10-30 | 1 | -2/+2 |
| * | [analyzer] Add SimpleStreamChecker. | Anna Zaks | 2012-10-29 | 1 | -0/+229 |
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|