Age | Commit message (Expand) | Author |
---|---|---|
2013-01-03 | [analyzer] Rename callback EndPath -> EndFunction | Anna Zaks |
2012-09-25 | [analyzer] Add tests for symbolic expression liveness. | Jordan Rose |
2012-09-25 | Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB... | Jordan Rose |
2012-09-20 | Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi... | Jordan Rose |
2012-09-08 | [analyzer] Remove constraints on dead symbols as part of removeDeadBindings. | Jordan Rose |