Help stabilising mini-gmp

[Niels Möller]

tg at gmplib.org (Torbjörn Granlund) writes:

> Of the remaining https://gmplib.org/devel/mini-gmp-status.html issues I
> worry most about #2.  Marco adjusted the parameters to make it faster,
> but I remain unconvinced that g5.gmplib.org-dyn:32 really needed 400
> seconds for the test with old parameters.  I suspect the code can hang
> for certain seeds.  (We cannot tell the seed because of #1.)

If it happens again, the seed should be printed out.
https://gmplib.org/repo/gmp/rev/5abbd164e2a3

> I am not sure #8 (alpha/dupont) is for real.

I'll try to log in to alpha-gentoo and reproduce.

> #15 is strange, I haven't tried to understand why these libgcc link
> errors happens for just certain similar configs.

The direct links to examples are dead. Do these system normally have
LD_LIBRARY_PATH set? If so, maybe something wrong when gmp:s .lib is
prepended to the path.

> I am glad the "red" bugs had one cause (although a serious one).  It
> would have been much worse with many errors of this kind.  (Well, the
> results for end users are same same, but it matters for how to assess
> code quality.)

When the dust has settled, we'll have to think about whether we should
make a "mini-gmp release" with bug-fixes, or just send out an
announcement.

/Niels

-- 
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.