URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e409464fc5168... Merge: b909bcc5dc711a80c14a096d72f5c2964ddb8d35 ec76e739bace356dfd557bb9bd85040ad65c2e8f Author: Roberto Bagnara bagnara@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=ec76e739bace3... Author: Roberto Bagnara bagnara@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=e21546a47281a... Author: Roberto Bagnara bagnara@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=55227bfc8118c... Author: Enea Zaffanella zaffanella@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=0873d966a21ec... Author: Enea Zaffanella zaffanella@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=076f771d01f2c... Author: Enea Zaffanella zaffanella@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=3307c8da8a4a3... Author: Roberto Bagnara bagnara@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=2a9d181747120... Author: Enea Zaffanella zaffanella@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=f6fd3a314e3a8... Author: Enea Zaffanella zaffanella@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=5d14a674e3ee1... Author: Enea Zaffanella zaffanella@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=2d2a72e2c4acc... Author: Enea Zaffanella zaffanella@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=359a800b113d5... Author: Roberto Bagnara bagnara@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=38e903cb00487... Author: Roberto Bagnara bagnara@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=4cc7becbaff58... Author: Roberto Bagnara bagnara@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=079da25d79e9c... Author: Roberto Bagnara bagnara@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=88e9d4926cd31... Author: Roberto Bagnara bagnara@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=d9ca22ec68e0a... Author: Roberto Bagnara bagnara@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=c7decce2dd41a... Author: Roberto Bagnara bagnara@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=60feec935a435... Author: Roberto Bagnara bagnara@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=0b783b0e686d9... Author: Roberto Bagnara bagnara@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=93c41b7c1deca... Author: Roberto Bagnara bagnara@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=2b67686580fa7... Author: Roberto Bagnara bagnara@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=19bb7a9c716c6... Author: Enea Zaffanella zaffanella@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=9e4c9c57ae8ff... Author: Enea Zaffanella zaffanella@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=72e6f15244b62... Author: Roberto Bagnara bagnara@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=88cf8d3fe09f9... Author: Enea Zaffanella zaffanella@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=dda4797dcd59a... Author: Enea Zaffanella zaffanella@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.