Commit message (Expand) | Author | Age | |
---|---|---|---|
* | BasicAA: Use reachabilty instead of dominance for checking value equality in phi | Arnold Schwaighofer | 2014-01-03 |
* | BasicAA: Fix value equality and phi cycles | Arnold Schwaighofer | 2014-01-02 |
* | TBAA: remove !tbaa from testing cases if not used. | Manman Ren | 2013-04-29 |
* | Phi speculation improvement for BasicAA | Hal Finkel | 2012-11-17 |