Re: Moving C++ bindings in gmpxx.h into a namespace

2013-06-30 Thread Roberto Bagnara
On 06/29/13 20:16, Sam Varshavchik wrote: Is there any interest in moving all the C++ bindings into their own namespace, say gnu::mp? This is definitely a good idea. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it

Undefined-behavior overflows in GMP?

2012-11-20 Thread Roberto Bagnara
Library, one in BIND, and one in OpenSSL. We received no response from the developers of these three packages. Talking about GMP alone, is this accurate and up to date? Would it be possible to see the reports that were sent? Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods