[PPL-devel] Tinderbox changes

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it