[PPL-devel] [GIT] ppl/ppl(floating_point): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f09abe8574bd20b74635d3e4830949ed5cec4e
Merge: d595301786bc6be8f57cb37dfa31c2741b9be137 12f97bbef1ad3223c630d10474851eb5d67611db
Author: Roberto Bagnara <bagnara at 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=12f97bbef1ad3223c630d10474851eb5d67611db
Author: Roberto Bagnara <bagnara at 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=121539b86e288e585e748b36476180c078509874
Author: Roberto Bagnara <bagnara at 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=9c8f5935d3a6cb4602a7251e3039c4cdf05b1d72
Author: Roberto Bagnara <bagnara at 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=26c113f59e20e39da438e782bcd0631aa171d2cc
Author: Roberto Bagnara <bagnara at 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=b537ac3b2872c009c0f670867ff36b180bc60d5d
Author: Enea Zaffanella <zaffanella at 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=676839fa3c6c29ffe32b6679f7cc242ed0764d1e
Author: Enea Zaffanella <zaffanella at 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=981f391c6dd52ac09e7c7bd865cb11581bb5947c
Author: Enea Zaffanella <zaffanella at 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=16fc9b1bbb2a713b80dca78ee1d1d7cd42e5eebe
Author: Enea Zaffanella <zaffanella at 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=e85e862edc6b516ff51472001c196e55dda05ad1
Author: Enea Zaffanella <zaffanella at 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=f2f745cdb383e86868ece38996a39b8ce9c2aa6c
Author: Enea Zaffanella <zaffanella at 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=95893a2b2a7e4bbb67e29ccd8acb043a630812a5
Author: Enea Zaffanella <zaffanella at 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=225b29f1ab3b83fc3ca6b3d68007919ad3036954
Author: Roberto Bagnara <bagnara at 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=3c526a80d5c063d3f66c2fd2ed438d9d5fe91274
Author: Roberto Bagnara <bagnara at 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=d6c9105aa28e84fdc0c7283c839a017e6d3949aa
Author: Roberto Bagnara <bagnara at 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=07f8c154d6e0bef0e99284e1597c327beddf6b45
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Feb 21 09:56:13 2011 +0100

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