Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-6022 cleaner model of variable equality modulo <: | Adriaan Moors | 2012-08-09 | 1 | -0/+20 |
a more conservative "excludes": no need to reason about types (TODO: check we don't get any spurious unreachability errors in the eclipse build, which is a good canary for this kind of thing) |