[PPL-devel] [GIT] ppl/ppl(ppl-1_0-branch): New commits

Roberto Bagnara bagnara at cs.unipr.it
Sat Aug 18 09:53:48 CEST 2012 

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e409464fc5168dc9c3a6c2338b4202972edf7714
Merge: b909bcc5dc711a80c14a096d72f5c2964ddb8d35 ec76e739bace356dfd557bb9bd85040ad65c2e8f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Aug 18 09:52:59 2012 +0200

    Merge branch 'master' into ppl-1_0-branch

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec76e739bace356dfd557bb9bd85040ad65c2e8f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Aug 18 09:50:09 2012 +0200

    Avoided som implicit integral conversion that changed the signedness of the underlying type.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e21546a47281ac48407d8407cfd8cb97756421f6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Aug 17 20:55:00 2012 +0200

    Unwanted recursion removed.
    Detected by ECLAIR service funrecsn.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55227bfc8118c5bc2d96808fff3df85af4d65860
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Aug 17 18:18:12 2012 +0200

    Prefer explicit cast to implicit narrowing conversion.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0873d966a21ec85959b2d8274e9e3ac561a3a09f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Aug 17 17:13:39 2012 +0200

    Added helper method insert_precise_aux to avoid recursive call.
    Detected by ECLAIR service funrecsn.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=076f771d01f2c38f0aaf1b586befb63dd5a4aea8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Aug 17 09:11:18 2012 +0200

    Added several missing <CODE> tags in Doxygen comments.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3307c8da8a4a3d8b98e6f8561c90e45a84b3098a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Aug 17 14:03:52 2012 +0200

    Unwanted recursion removed.
    Detected by ECLAIR service funrecsn.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a9d181747120b92aa84e5fd3ab0aafbfbaff34e
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Aug 16 17:29:09 2012 +0200

    Fixed several minor documentation issues.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6fd3a314e3a8cad086dbdbad57dce60a1d472c9
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Aug 16 11:46:29 2012 +0200

    Use PPL_U when macro parameters are used as template type arguments.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d14a674e3ee1b3568dcb62ca514a3d94a2c1881
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Aug 16 11:29:45 2012 +0200

    Avoid outer-scope name hiding.
    Detected by ECLAIR service declhidn.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d2a72e2c4acc93b60eed10a89c103e3ab0d5e45
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Aug 16 11:25:04 2012 +0200

    Avoid outer-scope name hiding.
    Detected by ECLAIR service declhidn.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=359a800b113d5b09b165e87b43b37ad5636cde57
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Aug 16 14:28:20 2012 +0200

    Indentation fixed.
    Detected by ECLAIR service indntion.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38e903cb004877d6c3de366568529b171f154ee5
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Aug 16 12:02:41 2012 +0200

    Avoid implicit floating-integral conversions.
    Detected by ECLAIR service utypflag.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4cc7becbaff582fe8afaec5eeff00c16662e4092
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Aug 16 11:59:10 2012 +0200

    Do not let constant unsigned integer expressions wrap-around.
    Detected by ECLAIR service cnstwrap.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=079da25d79e9c5a4f6773efa6b77811dc25d2924
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Aug 16 11:58:16 2012 +0200

    Use a standard comment header block.
    Detected by ECLAIR service cmntfile.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88e9d4926cd3182140061421a5a7ad969193b17f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 15 15:56:13 2012 +0200

    Literals fixed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9ca22ec68e0a3c0673454f9d9cb76c69d40e6b7
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 15 15:40:52 2012 +0200

    Comment improved.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7decce2dd41a1ba453a8a351464e8065c884823
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 15 15:39:11 2012 +0200

    Do not use comments to "comment out" code.
    Detected by ECLAIR service cmntdout.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60feec935a435ebbfa7276cb493aee90954bf13e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 15 15:35:07 2012 +0200

    Use a standard comment header block.
    Detected by ECLAIR service cmntfile.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b783b0e686d983759983346d2c5583dbc4f225b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 15 14:30:32 2012 +0200

    Code should not be on the same line as a null statement.
    Detected by ECLAIR service nullstmt.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93c41b7c1deca42ec41d5732042eb536352de3ac
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 15 14:27:37 2012 +0200

    Do not use C-style casts.
    Detected by ECLAIR service castexpr.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b67686580fa7ca3e4c75dac6d9b74791eedb521
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Aug 15 14:24:30 2012 +0200

    Detected by ECLAIR service inclmixd.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19bb7a9c716c6b4bbd1b61a0a5dd39170fbed5e7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Aug 14 16:26:45 2012 +0200

    Fixed a couple of name hiding issues in Expression_Hide_Inhomo adapter.
    This commit is meanto to be part of 9e4c9c57ae8ffca73bb9ee6c75a43d6ed6cd4096

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e4c9c57ae8ffca73bb9ee6c75a43d6ed6cd4096
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Aug 14 11:35:55 2012 +0200

    Changed the way of accessing the underlying expression in classes
    Constraint, Generator, Congruence and Grid_Generator.
    
    The public methods expression() systematically returns (a const reference to)
    an expression adapter derived from template Expression_Adapter (including
    Expression_Hide_Inhomo and Expression_Hide_Last). These adapters provide
    a *read-only* interface enabling most (but not all) of the operations
    that can be performed on a Linear_Expression.
    
    Added four templatic constructors to Linear_Expression accepting any
    such adapter. Removed a dozen specific constructors that were tailored
    to the four classes Constraint, Generator, Congruence and Grid_Generator.
    As a consequence previous code such as
        Linear_Expression expr(gen);
    will no longer compile and should be replaced by
        Linear_Expression expr(gen.expression());
    
    The systematic use of the new adapters, besides removing some indirections,
    also decreases the memory overhead of classes Constraint, Generator and
    Grid_Generator, as we no longer need members `wrapped_expr' and
    `semi_wrapped_expr'.
    
    While at it, corrected a few latent bugs in adapter Expression_Hide_Inhomo
    (these could not manifest as real failures because currently the Hide_Inhomo
    adapter is always re-wrapped using the Expression_Hide_Last adapter).

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72e6f15244b621b877eff29b1017fd7aa277adde
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Aug 11 17:27:27 2012 +0200

    Version number bumped.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88cf8d3fe09f92b4ad6ab36245d0e705c22ed3bc
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug 8 15:04:55 2012 +0200

    Added a few recent changes regarding the Java language interface.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dda4797dcd59ac3dd21d315e09aec8049620f3ad
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug 8 14:35:17 2012 +0200

    A couple of changes to the Java interface:
      - Variable's id are of long type (like space dimension arguments);
      - added NOT_EQUAL value to enumeration Relation_Symbol.

More information about the PPL-devel mailing list