Commits

Xin Tong committed 173fc871ffc
Use a SmallBitVector instead of BitVector in DSE. I observed that most functions do not have over 64 locations which makes SmallBitVector a more suitable choice than BitVector. I see a ~10% drop in compilation time in DSE. i.e. 1430ms to 1270ms (2.2% to 2.0% of overall compilation time).