commit | fd443eb00b2456006f03252ba085c1f851e8adf5 | [log] [tgz] |
---|---|---|
author | Treehugger Robot <treehugger-gerrit@google.com> | Sat Nov 04 01:09:28 2017 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Sat Nov 04 01:09:28 2017 +0000 |
tree | b79aa6e99e01fcba51bfb8ef37aa441a35594879 | |
parent | 521be425d5727496538bc52781e0f39e84422c34 [diff] | |
parent | f31a00c9e341f55eb352c3713d6dc47bd2df453b [diff] |
Merge "runtime: Bitstring implementation for subtype checking (2/4)."