diff options
| author |  Rustan Leino <unknown> | 2014-03-20 15:01:57 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-03-20 15:01:57 -0700 |
| commit | 912adaa06621d89a47460d6a6befd8809ded5c85 (patch) | |
| tree | 1016a8998a8fd80042aaf36997e98bbfb5f9c236 /Util | |
| parent | 73d20fd1f40d380f10a4a62cb8853137e340514a (diff) | |
Fixed problem with propagating allocation information about array elements.
Improved situation with (reducing bogosity of) type checking of "object".
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions