Likely GMP bug

Hans Åberg haberg-1 at
Mon Jul 9 08:32:33 UTC 2018

> On 28 May 2018, at 11:34, Torbjörn Granlund <tg at> wrote:
> "Marco Bodrato" <bodrato at> writes:
>  It was hard, but we got it:
> Thanks!
> It really worries me that our crazy broad testing did not catch this
> until now.  This makes me much less confident about GMP's correctness,
> actually.

Full formal semantics verification would require something like Hoare logic.

More information about the gmp-bugs mailing list