stp/stp — pull request #25 by khooyp (2013-09-07 00:38:02+00:00)
Title: Implement BVSHL, BVLSHR and BVASHR bit-shift by expression operators from CVC3.

This implements the CVC3 variable shift operators in the parser and printer (the underlying functionality already exists, just wasn't exposed).