URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8be2dc64d07fa... Merge: 95219a9f931d8b868975050d10326bde214dda46 3a65ba183e744e7a86a3fae0c77932f0b9c98fa2 Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Mar 23 11:08:13 2012 +0100

Merge branch 'master' into sparse_matrices

Conflicts: configure.ac src/Box.templates.hh src/CO_Tree.cc src/Congruence_System.cc src/Constraint.cc src/Dense_Matrix.cc src/Dense_Matrix.defs.hh src/Dense_Matrix.inlines.hh src/Dense_Row.cc src/Dense_Row.defs.hh src/Dense_Row.inlines.hh src/Generator.cc src/Generator.defs.hh src/Grid.templates.hh src/Grid_Generator.cc src/Grid_Generator.defs.hh src/Grid_Generator.inlines.hh src/Grid_Generator_System.cc src/Grid_chdims.cc src/Grid_conversion.cc src/Grid_nonpublic.cc src/Grid_public.cc src/Grid_simplify.cc src/Linear_Row.cc src/Linear_Row.defs.hh src/Linear_Row.inlines.hh src/Linear_System.cc src/Linear_System.inlines.hh src/PIP_Tree.cc src/PIP_Tree.defs.hh src/Polyhedron_conversion.templates.hh src/Polyhedron_public.cc src/Polyhedron_widenings.cc src/Row.types.hh src/Row_Flags.cc src/Row_Flags.defs.hh src/Row_Flags.inlines.hh src/Sparse_Matrix.defs.hh src/Sparse_Matrix.inlines.hh src/Sparse_Row.defs.hh src/globals.defs.hh src/globals.inlines.hh src/termination.defs.hh tests/Polyhedron/Makefile.am tests/Polyhedron/densematrix1.cc tests/Sparse_Matrix/Makefile.am

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a65ba183e744... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Mar 21 19:44:00 2012 +0100

Removed extra parenthesis.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42e767e008cc1... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Mar 21 19:39:49 2012 +0100

Added some missing parenthesis.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ada46f6016872... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 21 16:59:21 2012 +0000

Added missing parentheses. Detected by eclair service exprprns.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce51fb2114461... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 21 15:13:28 2012 +0100

Fixed a couple of typos.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28c00aa026e4c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 21 14:30:11 2012 +0100

Improved documentation for Box<ITV>::has_{upper,lower}_bound(). Weakened precondition regarding box emptiness: the box can be empty, but it can not be marked empty. Added a test to the Prolog interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c640b9acf665... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 21 10:56:18 2012 +0100

Modified interface for Box<ITV>::has_{upper,lower}_bound. The changes are meant to make it more similar to, e.g., maximize(). Hence, we no pass in a Variable rather than a bare dimension_type and the boolean reference argument `closed' is the last one.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f8ede593ef9b... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 20 13:18:03 2012 +0000

Added parentheses and improved formatting. Missing parentheses detected by ECLAIR service exprprns.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec10039245e9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 19:33:55 2012 +0100

This file is not part of the Parma Polyhedra Library.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047c37cda2bb8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 19 17:47:44 2012 +0100

Added Box method has_{upper.lower}_bound to OCaml and Prolog lang interfaces.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1efe14de85745... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 19 10:52:36 2012 +0100

Added Box method has_{upper,lower}_bound to Java language interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee57e6c10412... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 19 08:39:20 2012 +0100

Added Box methods has_{upper,lower}_bound to C language interface.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e604b2c5f03b7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 13:31:42 2012 +0100

Text revised.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ccbc9497bf3e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 12:05:33 2012 +0100

Sentence revised.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0a533690561d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 11:36:58 2012 +0100

Man pages updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea15ab4635ca7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:44:42 2012 +0100

Use a canonical FDL text.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df2fd42dd3c1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:38:52 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b865bbd536bf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:23:18 2012 +0100

URL fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04b8e3abd9df8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:18:56 2012 +0100

Indentation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15a56a55b9ae... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 08:35:10 2012 +0100

Cleaned.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c381f0e1e261e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 08:23:08 2012 +0100

Copyright wording fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0cae23e138a1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 08:12:19 2012 +0100

Updated two spurious references to FDL 1.1.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de17663ee4f66... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 19:04:01 2012 +0100

Use a consistent formatting.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5d848085853... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:57:49 2012 +0100

Wording fixed/improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c24... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:45:30 2012 +0100

Blank line added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d703... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:23:27 2012 +0100

Use consistent formatting for the FDL.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d057ae45cf1b0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:03:59 2012 +0100

Added missing paragraph.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71cd387e80247... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 15:43:21 2012 +0100

Standardized copyright messages.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ede1a395a32c2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 15:26:01 2012 +0100

Made uniform as far as the copyright message and licensing conditions are concerned.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=487f91a9655fe... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 15:22:27 2012 +0100

Updated: we no longer use CVS.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e62b0264bbf... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 15 07:39:52 2012 +0000

Ensure macro parameters in macro bodies are in parentheses.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d1229784b3c... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 14 16:04:27 2012 +0000

Ensure parameters in bodies of macros are parenthesized.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc6864df1b2ca... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 14 13:39:40 2012 +0000

Ensure parameters in macro bodies are parenthesized appropriately. Missing parentheses detected by ECLAIR service macrbody.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3442f48f028d... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Mar 14 11:34:58 2012 +0100

Avoid needless macro complexity.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cca8637a572eb... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Mar 13 18:18:17 2012 +0100

Fixed licenses text.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abfdcd61e39dd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 13 17:49:43 2012 +0100

Removed bogus use of EXTRA_DIST.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15351dec0d694... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 12 13:53:04 2012 +0100

Avoid implicit conversions to bool. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b623cb806b22d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 12 11:39:12 2012 +0100

Avoid implicit conversion from boolean to integral. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2bb64fd41b2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 12 11:38:03 2012 +0100

Prefer testing explicitly against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72de66fb85046... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 19:47:56 2012 +0100

Use variables instead of repetition.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68acb101eab3f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 19:41:31 2012 +0100

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a2efa7ce4e67... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:27:30 2012 +0100

Typos fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9390420242973... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:24:50 2012 +0100

Predicates renamed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fa2a003ff7ba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:20:42 2012 +0100

Identifier fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42d3a7aeede9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:18:30 2012 +0100

String fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec19e1b522088... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 17:21:42 2012 +0100

Comments simplified.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f0ce5d8d426b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:15:34 2012 +0100

Commented-out code removed. Detected by ECLAIR service cmntdout.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5010fa847b1f3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:14:06 2012 +0100

Comment corrected.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00f2ac21655b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:04:35 2012 +0100

Old FIXMEs dealt with. Detected by ECLAIR service cmntdout.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c44e7ac3e024... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 18:57:39 2012 +0100

Do use the notation "[l, u]" to denote the closed interval with boundaries `l' and `u'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfe9db5473e2d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 18:36:05 2012 +0100

Added missing full-stop in comment.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50030fba0045a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 8 13:01:20 2012 +0100

Renamed Box methods get_{upper,lower}_bound() as has_{upper,lower}_bound(). Improved documentation: in particular, make clearer that undefined behavior is obtained when calling them on an empty box.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cab131006b03... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:24:52 2012 +0100

Avoid implicit conversions to bool (prefer explicit tests against zero). Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6c3449ce4708... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:23:29 2012 +0100

Avoid implicit cast narrowing a signed integer value. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f8811aeaabe... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:21:07 2012 +0100

Removed unused static const data member.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d745cfa91fc74... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:19:18 2012 +0100

Avoid implicit conversions to bool. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef23118849edd... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:17:42 2012 +0100

Avoid implicit coversion to bool. Detected by Boolean service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae02418951a24... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 21:41:34 2012 +0100

Added missing parentheses around a macro arguments. Detected by ECLAIR service macrbody.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c06758ef7df... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 20:55:37 2012 +0100

Avoid mixing plain character data with numeric data. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37adcae2f9399... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 20:55:05 2012 +0100

Code layout fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8f677733f78e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 10:36:23 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acadcd82f6c20... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 28 11:46:39 2012 +0100

Added a missing project and updated a broken link.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cbfdb30e8e8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 27 17:24:27 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=143fc5c5b4fdc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 27 17:22:59 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d19a65f547bc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 15:57:45 2012 +0100

Let classes in Concrete_Expression.defs.hh appear in the user manual.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e8e448a39aa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 27 15:51:03 2012 +0100

Documented the enumerated values of enum Floating_Point_Format.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee55850a6d4e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 14:32:57 2012 +0100

Let the docs for the I_Result enum appear on the devref manual only.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763276a346dee... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 10:49:17 2012 +0100

Mark some docs for the devref manual only.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fdb4199db20f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 10:37:41 2012 +0100

Group together documentation of functions controlling FPU.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=521ce21afd825... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 10:25:56 2012 +0100

Fixed documentation for linearize and added \relates directive.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ef9269b43b18... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 10:24:43 2012 +0100

Grouped together docs for the linear-ranking functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9f93b1ac2922... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 27 10:07:48 2012 +0100

CO_Tree and Sparse_Row should only appear in the devref manual.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eeb8c755e6c60... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Feb 26 20:17:36 2012 +0100

Fixed missing namespace.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cdc037cdf468... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Feb 26 20:14:48 2012 +0100

Fixed and uniformed iomanip uses.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a819fa12f81ba... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 19:20:46 2012 +0100

Avoid mixing plain character data with numeric data. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4a27887eb1a1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 15:43:55 2012 +0100

Removed references to an obsolete file.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e08bd14506912... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Feb 26 15:28:06 2012 +0100

Removed redundant and unused stuff.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58dff7089d77a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 14:49:39 2012 +0100

Use the same typenames in function declarations/definitions. Detected by ECLAIR service funtypes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=787dc72b55dd6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 14:11:30 2012 +0100

Avoid mixing boolean and arithmetic values. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb5de9a40b4ce... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 14:09:45 2012 +0100

Get rid of redundant declarations of a couple of functions. Detected by ECLAIR service funtypes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9fc312f33c36... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 13:51:03 2012 +0100

Simplified Interval_Info::ascii_load(). Resettting format flags does not change the istream status, which was previously tested and is known to be good: hence, return true.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93bbf657068ab... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 14:19:28 2012 +0100

`#error' messages made consistent.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d988a3b5b9c5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 14:15:07 2012 +0100

Variable names fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f775db925bb1... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun Feb 26 12:04:50 2012 +0100

Avoid to use Variable references. Uniformed Variable creations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32409aa205f59... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 13:53:47 2012 +0100

Types fixed. Useless if-then-else removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8ea55b9bf4c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 13:05:34 2012 +0100

Use `libtool' to test linking with GMP only if the option `--with-gmp-build' was given.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d2064c3d8080... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 12:59:39 2012 +0100

Prefer explicit tests against zero. Avoid using boolean values as integer values. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=756ef076d4574... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 11:29:11 2012 +0100

Improved implementation of OR_Matrix<T>::any_row_iterator<U>::operator+=(). Increased readability: - separated explicit type conversions from code performing arithmetic operations (on non-mixed typed values); - added a few redundant parentheses. Similar improvement applied to a couple of other functions. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18385ecd24fe... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 10:16:15 2012 +0100

Provide a named group for all library version control functions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1228063d31da6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 10:10:20 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=681915911631d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 10:01:39 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4005b141d00e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 09:24:29 2012 +0100

Added `Watchdog' to `SUBDIRS'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5238b268632f2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 09:24:01 2012 +0100

Completed `ppl_config_SOURCES'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81b598e7484f1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 08:21:32 2012 +0100

Cater for platforms where no floating-point type is supported.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa1aba6cae22a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Feb 26 00:27:51 2012 +0100

Added several missing \relates and \ingroup Doxygen commands.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609f967933927... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 23:55:53 2012 +0100

Remove docs for a few implementation classes from the user manual.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9163fbd8bc14... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 22:55:33 2012 +0100

Properly terminate Doxygen comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637df0294f81d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 25 18:22:24 2012 +0100

Wrong guard fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e87943772e790... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 25 18:16:44 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbc3deda4d9ee... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 18:09:09 2012 +0100

Hide enum initializers from docs. Remove I_Result enumeration form user manual.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fcbdfeab44225... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 25 17:06:00 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ac71293891db... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 16:12:58 2012 +0100

For code clarity purposes, better distinguish signed/unsigned operations. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73aee8ff7b811... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 16:11:07 2012 +0100

Exploit new helper function least_significant_one_mask(), thereby avoiding unary minus on unsigned integer values. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=015e50d0dfee5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 16:08:48 2012 +0100

Added helper function least_significant_one_mask().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02eb888f14e01... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 13:34:55 2012 +0100

Prefer explicit test against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce56ec4220367... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 12:54:34 2012 +0100

Prefer explicit test against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b52dea04e8d34... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 25 12:37:53 2012 +0100

Reduced the scope of variable declarations. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ddf6ce187e92... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 12:18:10 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ea98773b74de... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 11:33:08 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b7ae1196e04b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 11:17:06 2012 +0100

Prefer explicit test against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e705a68649d8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 11:10:45 2012 +0100

Fixed a few misuses of assignment (instead of comparison) in assertions. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e37265ae0a0f1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 11:08:39 2012 +0100

Prefer explicit test against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20bbd20223a29... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 10:50:26 2012 +0100

Avoid long line.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee9075c66455... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 10:49:52 2012 +0100

Prefer explicit test against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed45790955fc4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Feb 25 10:15:43 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=206682b08f624... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 25 08:43:06 2012 +0100

Code layout made conformat to the coding standard.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b647baaca8ae... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 22:42:44 2012 +0100

Restore previous names.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1113c510bef0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 21:12:15 2012 +0100

Use "" quotes to include non-system headers. Detected by ECLAIR service hedrname.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b09274909915... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 21:10:28 2012 +0100

Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5155daa681e19... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 19:57:30 2012 +0100

Avoid commented-out code. Detected by ECLAIR service cmntdout.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5161145cfadb5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 19:57:23 2012 +0100

Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fd12191d4f79... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 24 16:55:58 2012 +0100

Avoid implicit conversion changing type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ff76cad0788f... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 16:52:41 2012 +0100

Fixed C interface incongruence. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cfc3f1609b01... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 16:52:21 2012 +0100

Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4abb9c3094dc3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 24 16:09:55 2012 +0100

Added any_iterator operator+= and operator+ overloadings for unsigned types.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96b0c536a8dcd... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 15:39:01 2012 +0100

Avoid to offset iterators twice.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa5200686cc9d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 24 15:21:04 2012 +0100

Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76489dec6c233... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 24 15:13:34 2012 +0100

Removed a couple of useless explicit casts.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8aa0c5de6606f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 24 14:53:40 2012 +0100

When working with sizes, prefer vector::resize() to vector::erase(). Added helper function nth_iter().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e2ed9a48ac7e... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 14:30:27 2012 +0100

Fixed implementation defined implicit cast. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2a2bf8ff3f2... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 14:30:22 2012 +0100

Silenced a warning.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aea1d036a659b... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri Feb 24 12:34:21 2012 +0100

Fixed implementation defined implicit cast. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d3b0df6261f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 11:02:30 2012 +0100

Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>. Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b48ffdf47e59... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 24 10:13:34 2012 +0100

Avoid implicit conversions changing type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=223fd2c798b14... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:38:19 2012 +0100

Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91385ebcf6305... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:36:40 2012 +0100

Delimit pseudo-code in Doxygen comments within <CODE> </CODE>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da2d0f8f304... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:33:00 2012 +0100

Comment improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f52a31d61c17a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:32:02 2012 +0100

Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52fe00dd2c217... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:30:49 2012 +0100

Comment improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=267192b352910... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:30:28 2012 +0100

Comments improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c91de8d4cae1d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:30:10 2012 +0100

Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37a29dcd0c523... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:29:35 2012 +0100

Comment improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f874d7e44a235... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:24:31 2012 +0100

Delimit pseudo-code in non-Doxygen comments within <CODE> </CODE>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a576ab2ae6ab... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:23:35 2012 +0100

Comment improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3d706287150dc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:19:43 2012 +0100

Delimit example code in non-Doxygen comments within <CODE> </CODE>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e97c62dec8e2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 09:19:09 2012 +0100

Comments fixed/improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05f9cc35b6a68... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 24 09:33:43 2012 +0100

Avoid implicit conversions changing type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0e8fa1b03ede... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 08:17:30 2012 +0100

Avoid commented-out code. Detected by ECLAIR service cmntdout.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9cbb6dcb1507... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 08:11:59 2012 +0100

Fixed punctuation in comments.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8d5d49fe4558... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 08:10:19 2012 +0100

Avoid commented-out code. Detected by ECLAIR service cmntdout.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbe69df7a291... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 24 08:03:28 2012 +0100

Comment punctuation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8d622c7f000c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Feb 23 20:01:53 2012 +0100

Avoid unnamed namespace in header file. Detected by ECLAIR service hedrfile.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f26f9957b54a3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Feb 23 19:59:13 2012 +0100

Enclose macro argument in parentheses. Detected by ECLAIR service macrbody.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5afe018d5f06... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 18:41:57 2012 +0100

Removed interval restrictions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b736306cfce29... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 23 18:40:30 2012 +0100

Prefer using C_Integer traits rather than <climits> macros, thereby avoiding implicit conversions changing type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0739cd0ea3eaa... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 23 18:21:22 2012 +0100

Rewritten function to avoid mixing signed and unsigned integer types. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=876b91f81ffc7... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 23 15:37:18 2012 +0100

Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5fabffdb88ab... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 15:35:54 2012 +0100

Improved strcaseeq implementation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e985e2756163... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 15:12:44 2012 +0100

Fixed cast. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c43fa8739a05e... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 15:11:19 2012 +0100

Fixed signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66e260f7483f8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 23 14:53:02 2012 +0100

Simplified implementation of method Grid::reduce_reduced(). While at it, got rid of a few implicit conversions changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0426fd6f655b1... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 14:30:50 2012 +0100

mp_bitcnt_t is not present in gmp 3.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=925cacd7941b4... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 13:37:50 2012 +0100

Forgotten changes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4181f769db322... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 13:34:11 2012 +0100

Simplified min/max evaluation.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cafc8b100358... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 13:10:35 2012 +0100

Prefer bool field.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a03382866a8d4... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 12:15:07 2012 +0100

Use always long for time related quantities.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cd5710b5d2c2... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 11:06:51 2012 +0100

Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=279f44d4d2ad2... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Feb 23 10:47:58 2012 +0100

Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9259e66b7b7f... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Feb 22 23:54:30 2012 +0100

Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9afcaffceb21f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 21:48:20 2012 +0100

Avoid implicit conversions changing integer type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6854dc3b05c23... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 21:05:33 2012 +0100

Avoid implicit conversion changing type signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=800d387ce5e28... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 19:36:39 2012 +0100

Added helper function check_space_dimension_overflow(). Added similar helper in class Polyhedron and got rid of no longer needed method throw_space_dimension_overflow(). Exploit the new helper to simplify space dim checking in constructors.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd4283d7be860... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 17:55:58 2012 +0100

Avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag.

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

Macro PPL_ASSERT is not available in compiler.hh.

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

Let `indent' have type signed int, matching signature of std::setw(). Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7693be2e3933... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 16:22:07 2012 +0100

Fixed inclusion directive.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3507a9471ca5a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 16:21:22 2012 +0100

Avoid implicit conversions changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75cfbc2340b87... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 15:28:44 2012 +0100

Prefer using C_Integer traits rather than <climits> macros, thereby avoiding implicit conversions changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b09c76dc54fe5... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 15:25:44 2012 +0100

Let `indent_level' have type signed int, matching signature of std::setw(). Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=418c4e60b06c8... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Feb 22 13:57:57 2012 +0000

Avoid using functional casts. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6de4769641fa... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Feb 22 13:03:42 2012 +0000

Replaced all c-style casts. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6bb782d283cc6... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 14:02:19 2012 +0100

Added helper function Implementation::num_constraints(). When implementing it, avoid implicit conversion changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=754dcbd68b32c... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Feb 22 13:17:14 2012 +0100

Uniformed, improved and moved to a better place implementation of clz/ctz.

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

Prefer using C_Integer traits rather than macros in <climits>, thereby avoiding a few implicit conversions changing signedness. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7214979d83371... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 09:21:44 2012 +0100

Declare pure virtual methods in abstract base classes. Override them only once in derived classes. Detected by ECLAIR service ovrdonce.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a28c03f8b5cc... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 22 08:38:08 2012 +0100

Specify the `virtual' keyword when declaring overriding methods. Detected by ECLAIR service ovrdexpl.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5f32d30f3dc... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Feb 21 21:42:56 2012 +0000

Moved another declaration into a smaller scope. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb89844f83a5a... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Feb 21 19:58:36 2012 +0000

Move declarations to nsure variables are declared at smallest possible scope. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b2e1e5fa3b8a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 21 20:22:32 2012 +0100

Multiple-inclusion guards added. Detected by ECLAIR service inclgard.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b39224715d1... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Feb 21 17:28:31 2012 +0100

Avoided functional cast. Detected by ECLAIR service castexpr.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61afde75e7d72... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Feb 21 17:19:11 2012 +0100

Avoid not needed virtual inheritance.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2db3cb6ae4f88... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Feb 21 16:55:58 2012 +0100

Updated Doxygen configuration files to release 1.7.4.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd2ce77bf9d60... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Feb 21 11:29:58 2012 +0000

Added '&' prefix to function identifiers that are not used to call the function. Detected by Eclair service funcalls.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36a7eb86bbe88... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Feb 21 11:01:14 2012 +0000

When object is not used for control, declaration moved outside for statement.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1742962f7d148... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Feb 21 08:20:09 2012 +0000

Declarations that can be moved into a smaller scope have been moved. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00acbd1037dc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 21 09:17:14 2012 +0100

Simplified.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42c3f3d8ad1a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 21 09:15:45 2012 +0100

Simplified.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f578f53d6ca1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 21 08:44:07 2012 +0100

New automatically generated files BUGS.hh, COPYING.hh and CREDITS.hh.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b3c2d0ceffdc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 21 08:42:44 2012 +0100

Explicitly state the array size. New option --decl-only.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47700f1555720... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 21 07:11:39 2012 +0100

Unwanted inclusion removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5dc399d79a0f8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 23:32:50 2012 +0100

Unwanted inclusion removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e69c60b10f80... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 23:17:33 2012 +0100

The Parma Watchdog Library has been merged into the Parma Polyhedra Library.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81c390271c8f4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 22:59:23 2012 +0100

Missing default added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8579a7da71f7d... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Feb 20 21:56:39 2012 +0000

Renamed some variables so that declarations in an outer scope are not hidden. Detected by ECLAIR service declhidn.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9fee53d2e106... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Feb 20 21:47:45 2012 +0000

Revert "Renamed some variables so that declarations in an outer scope are not hidden."

This reverts commit 97cc40667310524111a674be5ad3e8e9e4ec8c90.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37e82b1786040... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 22:53:39 2012 +0100

Global-replace mistake fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed39879f090cb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 22:49:56 2012 +0100

The Parma Watchdog Library has been merged into the Parma Polyhedra Library.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97cc406673105... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Feb 20 20:58:18 2012 +0000

Renamed some variables so that declarations in an outer scope are not hidden.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ded8bb10d824... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 18:57:50 2012 +0100

Spurious line removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2603585b9999c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 20 18:57:17 2012 +0100

Added/fixed some copyright notices.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4dac3bae9765... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 20 17:55:33 2012 +0100

Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c64257c541e08... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 20 17:29:54 2012 +0100

Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb321df039bce... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 20 17:28:02 2012 +0100

Exploit operator| overloading for Rounding_Dir.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=58a8be4d4b1d4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 20 17:27:12 2012 +0100

Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73a3335f0a097... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 20 17:23:49 2012 +0100

Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=803576355bab1... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 20 16:55:20 2012 +0100

Let bitwise operators be applied to unsigned integer types. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f0c06f03f303... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 20 14:23:24 2012 +0100

Add the release date for PPL 0.11.2. Mention a couple of bugs that have been corrected.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3c18f959cc3f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 18 19:33:38 2012 +0100

Reduced the scope of some variables. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b5f76fb05d06... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 17 12:54:04 2012 +0100

Prefer explicit tests againts zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29d65d78b2f43... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 17 11:05:52 2012 +0100

Avoid abusing sort-circuited logical operators.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b861970ac6a1e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 17 11:04:37 2012 +0100

Avoid abusing short-circuited logical operators (prefer explicit control flow). Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5712e36571a5e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 17 10:38:40 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=249a29efe092c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 17 08:50:34 2012 +0100

Added helper is_space(), to be used instead of directly calling isspace().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4921272596a31... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 22:45:01 2012 +0100

Renamed is_infinity() as infinity_sign(), returning an `int' in {-1, 0, 1}. Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37719b83d11db... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 21:48:03 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d4a79c9ad28a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 21:44:34 2012 +0100

Prefer `while (true)' and `while (false)' wrt `while (1)' and `while(0)'. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af3d0755dad9e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 21:39:07 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c5683e1657c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 21:37:02 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b9312e845c29... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 21:33:25 2012 +0100

Prefer explicit tests against zero. Do not abusing short-circuit operators (prefer explicit control flow). Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72ea4b00d875b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 21:30:21 2012 +0100

Prefer explicit test against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5e126e5bc245... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 18:31:29 2012 +0100

Prefer explicit usage of the istream::fail() method. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77a999e4d467d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Feb 16 18:13:59 2012 +0100

Rename as `const_bool_value' the "anonymous" enums encoding a bool value.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca495c20a548f... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 22:48:38 2012 +0100

Prefer using vector::resize wrt insert.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c9fe958cb324... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 22:47:35 2012 +0100

Prefer explicit tests against zero. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb1e922ffe18c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 17:38:51 2012 +0100

Make comparison against zero explicit. Detected by ECLAIR service utypflag. While at it, simplified control flow by removing a use of `continue'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3c4d96c9830a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 17:37:13 2012 +0100

Make comparison against zero explicit. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61f5417dcdf35... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 17:21:18 2012 +0100

Make comparison against zero explicit. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd30b078d199... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 16:34:30 2012 +0100

Added helper function to compute the hash code from a space dimension. Added missing has_code() method to class Box<ITV> and generate corresponding method in Java interface for boxes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f490ee5d25af... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 15:43:49 2012 +0100

Make comparison against zero explicit. Detected by ECLAIR service utypflag.

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

Prefer testing against zero.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bcc4ac885019... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 14:39:43 2012 +0100

For clarity, renamed three-state Float method is_inf() as inf_sign(). Similarly, renamed is_zero() as zero_sign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90cb4b9b18069... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 13:09:49 2012 +0100

Avoid long lines and try to improve readability.

In particular, when using helper function i_constraint(), prefer passing in an already built Relation_Symbol object if its computation is nontrivial.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=912481ec1055d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 12:34:32 2012 +0100

Completed previous commit, fixing is_{m,p}inf_float.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e81747bef37b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 08:26:47 2012 +0100

Let is_inf_float() return a Boolean value, rather than an integer. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68cc056b563b3... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 15 08:25:15 2012 +0100

Prefer using logical (wrt bitwise) operators on Boolean values. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50bf9eb645f7d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Feb 14 11:53:23 2012 +0100

Fixed a bug in Box<ITV>::upper_bound_assign(_if_exact). Calling the method with an empty argument that, due to computational laziness, is not yet flagged as being empty was producing wrong results. (Note: here `wrong' means unnecessarily imprecise; from the point of view of approximation, the results were still correct). See test08 in tests/Box/upperbound1.cc.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fcad61ebee93... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Feb 14 11:51:11 2012 +0100

Restored a few tests commented out long time ago. Added a new test (synthesized from a Java test provided by Gianluca Amato) showing a problem in the implementation of Box<ITV>::upper_bound_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c99baeae690... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 13 16:48:40 2012 +0100

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc8006165e6ff... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 13 16:48:11 2012 +0100

Indentation fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b459380ce0ca5... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Mon Feb 13 15:19:25 2012 +0000

Enabled CC76_narrowing_assign for Boxes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=690131aa5ec3e... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 13 15:48:24 2012 +0100

Invoke libtool when checking with Valgrind enabled.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4de3f8fdbdeb0... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 13 15:19:24 2012 +0100

Fixed value for Valgrind --num-callers option. According to man pages, maximum value is 50.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2622a438e6d24... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 13 14:54:20 2012 +0100

Avoid pointer casts when allocating coefficients in Dense_Row::Impl. Detected by ECLAIR service M++.5-2-8.

We now use a std::allocator object (similar to what done in CO_Tree).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6bcf0a3f8598... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 13 14:49:04 2012 +0100

For naming consistency, `coefficient_allocator' renamed as `data_allocator'. Explicitly include <memory> for std::allocator. Fixed deallocation bugs in CO_Tree::rebuild_bigger_tree(): - use delete[] for `indexes'; - use data_allocator.deallocayte for `data'. On copy construction, assignment and swap, do also copy/assign/swap the allocator.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=230921583305c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 13 09:23:49 2012 +0100

Reduce scope of loop index variable. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab67c65fbe704... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 21:43:25 2012 +0100

Make sure each case within a switch statement is properly terminated. Detected by ECLAIR service swchbrek.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=723a711049fe8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 21:08:36 2012 +0100

Spurious spaces removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37b4bdd5f5520... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 19:46:43 2012 +0100

Type fixed. Detected by ECLAIR service utypflag.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df14c76cab47c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 19:37:34 2012 +0100

Added missing parentheses around a macro argument. Detected by ECLAIR service macrbody.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35c29d765b0b2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 10:24:21 2012 +0100

Avoid null statements that, apart from a comment, are not on a line by themselves. Detected by ECLAIR service nullstmt.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f263321dba7e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 09:10:15 2012 +0100

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e0afa8fa25c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 08:48:59 2012 +0100

Prolog sources must go under .../share/ppl as these files are architecture independent. Moreover, new versions of Automake no longer accept pkglib_DATA.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a372f86d78f0e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 08:16:03 2012 +0100

Added missing template parameter.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a847c76c1073... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 12 08:14:28 2012 +0100

INT_MIN % -1 is undefined behavior in C++11. The PPL has been proven to be immune to this potential problem by ECLAIR. (Thanks to Rene Sugar.) Long lines avoided on passing.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb83c4ee577c1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 11 21:02:10 2012 +0100

Reflected file removal.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccd09e698f00e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 11 20:51:31 2012 +0100

INT_MIN % -1 is undefined behavior in C++11. The PPL has been proven to be immune to this potential problem by ECLAIR. (Thanks to Rene Sugar.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a190d3da98795... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Feb 3 16:58:13 2012 +0000

Added a default label to switch.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9516ac54f007f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 3 10:19:01 2012 +0100

Be consistent with the use of attribute weak.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23359d3f3ae60... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 3 10:18:08 2012 +0100

The functions fatal() and internal_error() are now attributed with noreturn.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cd53027cc4dd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 22 20:44:03 2012 +0100

Improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68ee3845682d6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jan 20 18:46:10 2012 +0100

Reduced the scope of some variables. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ae3015148642... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jan 18 13:07:31 2012 +0100

Bumped copyright years.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f879511e0d65... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jan 18 11:48:24 2012 +0100

Reduced the scope of several variables. Detected by ECLAIR service minscope.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c34e47c445db8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Jan 5 15:44:12 2012 +0100

Also add bugseng_logo.pdf to EXTRA_DIST.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19fed334bf697... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Jan 4 08:49:02 2012 +0100

Added ppl_logo* to EXTRA_DIST.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bd518e21c830... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Dec 24 12:36:39 2011 +0100

Revert "Do not use the <TAB> character for code layout."

This reverts commit f6060073e3b31277cf475ba90c0eb751663a81e8.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6060073e3b31... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Dec 24 12:31:20 2011 +0100

Do not use the <TAB> character for code layout. Detected by ECLAIR service tabindnt.