Hi there,

in an attempt to make tinderbox more useful, I have adopted a new short encoding for build names: this should allow to visualize the complete status page at http://www.cs.unipr.it/~tinderbox/PPL-HEAD/status.html without having to scroll left and right (to see this we will have to wait a day or so, when the old build names will disappear).

The encoding is of the form MAOHBC, where:

M is the machine, one of

i igor.cs.unipr.it p spartacus.cs.unipr.it s sandbox.cs.unipr.it c cluster64.unipr.it l clin150.leeds.ac.uk

A is the assertion status, one of

n no assertions a assertions m more assertions

O is the optimization, one of

n no optimization z zero m mild d standard s speed u sspeed

H is the architecture for which code is being optimized, one of

d default 4 Pentium 4 6 Athlon 64

B is the type of build, one of

c make check w documentation make world d make distcheck

C is the type of coefficients, one of

g GMP integers 3 8-bit 4 16-bit 5 32-bit 6 64-bit

All the best,

Roberto