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.