SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor, and bvxor.
Fix usability issue with tear-down incremental mode.
Update commit # for get-abc script, anticipating Liana's merge.
SmtEngine::checkModel() now checks that model values are of the correct type (related to bug #569).
Add operator support (resolves bug #563).
changes to run-script to reflect new bv options
Merge branch 'master' of https://github.com/CVC4/CVC4 into bit-vectors