[SMT-LIB] overflow checking for bit-vectors

[Schanda Florian]

I think the below post was discarded since the poster was not subscribed to the list...

> -----Original Message-----
> From: Vijay Ganesh [mailto:vganesh at uwaterloo.ca]
> Sent: 08 September 2015 17:28
> To: Schanda Florian; smt-lib at cs.nyu.edu
> Subject: RE: [SMT-LIB] overflow checking for bit-vectors
> 
> I think this is a good idea, and will simplify the lives of people who
> use bit-vector solvers.
> 
> Cheers,
> Vijay Ganesh.
> https://ece.uwaterloo.ca/~vganesh