[SMT-LIB] Bitvectors

[Christoph M. Wintersteiger]

Hi there!

Two quick questions: 

a) I know there were plans for a new theories/logics for sizes other
than 32 -- are these plans still there, or did somebody define those
theories already?

b) Are there any plans to introduce a quantified version of the
bitvector logics/theories?


I think there should also be a bitvector theory that does not predefine
the (max) size of a vector, maybe this could be based upon the array
theory? 

Regards,
cmw