commit | f404dda8a48f2fac24ca3525257db7bc9157ba61 | [log] [tgz] |
---|---|---|
author | Igor Murashkin <iam@google.com> | Fri Nov 03 19:50:40 2017 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Nov 03 19:50:40 2017 +0000 |
tree | 27fdfc63b88ea04927b29ecd349ee6e48fb1fad1 | |
parent | 42530a8a77432bea41ae285f038ec5216df8fe8a [diff] | |
parent | 44559f2810b9d2ead1cd7cf14515e1840313258a [diff] |
Merge "runtime: Bitstring implementation for subtype checking (1/4)."