> On 28 May 2018, at 11:34, Torbjörn Granlund <[email protected]> wrote: > > "Marco Bodrato" <[email protected]> writes: > > It was hard, but we got it: > https://gmplib.org/repo/gmp/rev/1f8a8fefb5c2 > > 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. _______________________________________________ gmp-bugs mailing list [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
