[PPL-devel] Bug affecting PPL 0.10 on big-endian architectures

[Roberto Bagnara]

Dear maintainers of PPL packages,

this message is to let you know about a bug in PPL 0.10 that
affects some of the packages you maintain.  All the information,
including a simple workaround is available here:

     http://www.cs.unipr.it/ppl/Bugs/

Please do not hesitate to come back to us in case you need
further information.
All the best,

     Roberto

P.S. The bug proves that no one ever ran `make check' on PPL 0.10
      on a PowerPC machine and reported back the results.  If you
      have any idea how to make sure this does not happen again...

-- 
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