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