URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f09abe8574b... Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue May 3 13:13:55 2011 +0200

Merge branch 'master' into floating_point

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12f97bbef1ad3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 15 12:06:59 2011 +0100

For increased portability, use zero-length arrays (when available), not flexible arrays.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=121539b86e288... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 23 13:25:28 2011 +0100

Two items added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c8f5935d3a6c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 23 13:23:28 2011 +0100

When cross-compiling, assume that GMP has been compiled with support for propagating exceptions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26c113f59e20e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 23 13:21:12 2011 +0100

Work around a bug showing up under mingw-w64.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b537ac3b2872c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 21:01:24 2011 +0100

Avoid (again) using the same macro name for different purposes. Doing it confuses both the reader and Doxygen.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=676839fa3c6c2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 19:26:18 2011 +0100

Get rid of LaTeX warnings related to package fancyhdr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=981f391c6dd52... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 18:32:51 2011 +0100

Avoid duplicate PDF labels in the configured C interface manuals.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16fc9b1bbb2a7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 16:59:33 2011 +0100

Fixed a duplicate hypertarget error in the generated PDF documentation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e85e862edc6b5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 14:10:31 2011 +0100

Avoid using the same macro name for different purposes. Doing it confuses both the reader and Doxygen.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2f745cdb383e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 10:19:21 2011 +0100

Set INLINE_SOURCES = NO when producing LaTeX documentation.

This change is a workaround to a pdftex + hyperref issue that may result in the following error \pdfendlink ended up in different nesting level than \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3).

According to http://tug.org/errors.html the error is triggered when a hyperlink is split across page boundaries and it can be generated even by valid LaTeX code. Disabling source inlining is a way to greatly decrease its likelihood.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95893a2b2a7e4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Feb 22 17:07:35 2011 +0100

Fixed a couple of Doxygen related problems.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=225b29f1ab3b8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 22 10:13:29 2011 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c526a80d5c06... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 22 09:51:45 2011 +0100

No longer overwrite the SIGILL handler.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c9105aa28e8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 21 12:19:22 2011 +0100

Never use `\c'; use <CODE></CODE> instead (yes, uppercase).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07f8c154d6e0b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 21 09:56:13 2011 +0100

The `--disable-fpmath' configure option now disables all floating point computations.