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
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