Changes to how domain information about bit-vector nodes is stored.
14 files changed