[SMT-LIB] overflow checking for bit-vectors

Schanda Florian florian.schanda at altran.com
Fri Sep 11 05:41:44 EDT 2015


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



More information about the SMT-LIB mailing list