Add signed bit-vectors arithmetic support for the Princess backend
Created by: mario-bucev
The idea is to cast signed BV to unsigned with Mod.cast2UnsignedBV, and use the signed BV operators (already done before).
Created by: mario-bucev
The idea is to cast signed BV to unsigned with Mod.cast2UnsignedBV, and use the signed BV operators (already done before).