mpz_combit

[Torbjorn Granlund]

bodrato at mail.dm.unipi.it writes:

  Ciao,
  
  Il Gio, 27 Dicembre 2012 12:12 pm, Niels ha scritto:
  > Torbjorn Granlund <tg at gmplib.org> writes:
  >> I thought we had discussed this.  The change is fine, optimising the
  >> common case is a great thing in general.
  
  Unfortunately, the common case is not tested by our testsuite!
  
  http://hydra.nixos.org/build/3594794/download/1/coverage/mpz/combit.c.gcov.html
  
  Only check-mini-gmp stress-tests it ;-)
  
Fortunately, our own coverage runs disagree:

http://gmplib.org/devel/lcov/panda/gmp/mpz/combit.c.gcov.html
http://gmplib.org/devel/lcov/tom/gmp/mpz/combit.c.gcov.html
http://gmplib.org/devel/lcov/shell/gmp/mpz/combit.c.gcov.html

I have no idea why hydra differs.  I use a plain build, and no fancy
nightbuild features for running longer tests.

  > Maybe it would be good to keep that file in the repo?
  
  That's a good idea.
  
More specifically?

I have moved from meta files in the distribution/repo towards web in
recent years.  What purpose would moving in the other direction serve?

OK, I am web dictator, but not repo dictator.  (That is just a result of
lack of infrastructure.  I'd be more than happy to change it, we just
need some mechanism for making a push trigger an rsync.)

-- 
Torbjörn