[PPL-devel] [GIT] ppl/ppl(sparse_matrices): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Fri Mar 23 11:20:30 CET 2012
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8be2dc64d07fa9e8c7275f144a4a72629ce0794c
Merge: 95219a9f931d8b868975050d10326bde214dda46 3a65ba183e744e7a86a3fae0c77932f0b9c98fa2
Author: Enea Zaffanella <zaffanella at 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=3a65ba183e744e7a86a3fae0c77932f0b9c98fa2
Author: Abramo Bagnara <abramo.bagnara at 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=42e767e008cc1dec0b4d4f2a9f77339526aaba3a
Author: Abramo Bagnara <abramo.bagnara at 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=ada46f601687254f1e91a2b098b7377ba0436c4d
Author: Patricia Hill <p.m.hill at 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=ce51fb2114461753e076542cb655442db575697c
Author: Enea Zaffanella <zaffanella at 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=28c00aa026e4c4d55e7f61ccf46c4500265e85ec
Author: Enea Zaffanella <zaffanella at 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=8c640b9acf6657f971377a9f80fce5e55aabbb9a
Author: Enea Zaffanella <zaffanella at 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=8f8ede593ef9b97682b100bb0ec6535caf414dcd
Author: Patricia Hill <p.m.hill at 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=1ec10039245e916983a4cd8082b6ba0d878760c5
Author: Roberto Bagnara <bagnara at 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=047c37cda2bb8b73e4529647e4bbddd3c0ef8e89
Author: Enea Zaffanella <zaffanella at 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=1efe14de85745fad6e00f32f4c74d3f2e0dc0d74
Author: Enea Zaffanella <zaffanella at 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=2ee57e6c104122a98ba0e3a2faeba0ec4b5b72a6
Author: Enea Zaffanella <zaffanella at 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=e604b2c5f03b7ed08a3a355d8e9bc787d1b0025f
Author: Roberto Bagnara <bagnara at 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=5ccbc9497bf3e51bd726a1bbe828311c7b7fe931
Author: Roberto Bagnara <bagnara at 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=f0a533690561d711ff634804e7870856e5c1f1a0
Author: Roberto Bagnara <bagnara at 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=ea15ab4635ca74ff9f77f3a5fcb10a9b92938bc1
Author: Roberto Bagnara <bagnara at 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=8df2fd42dd3c1fac0bd9d19b08c617d536c62545
Author: Roberto Bagnara <bagnara at 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=0b865bbd536bfa982521884c328130821a4acd03
Author: Roberto Bagnara <bagnara at 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=04b8e3abd9df81633f50fef5c8dfa2b625916379
Author: Roberto Bagnara <bagnara at 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=d15a56a55b9aeb58ac25c7559f5218fcd892a138
Author: Roberto Bagnara <bagnara at 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=c381f0e1e261eda0de1f6b23fd9ec86579891ea0
Author: Roberto Bagnara <bagnara at 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=a0cae23e138a1371ad757f8db2c2dce5c7a79911
Author: Roberto Bagnara <bagnara at 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=de17663ee4f66cdc356bc097aa15067ed5d9724e
Author: Roberto Bagnara <bagnara at 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=fe5d848085853879f7cd1ea18f41715bd1496ff0
Author: Roberto Bagnara <bagnara at 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=ca4e7f70b1c242d8012926dc4445789522e1807c
Author: Roberto Bagnara <bagnara at 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=0aaaf32d0d703a0a6744bc0b4dee276108d8ce1a
Author: Roberto Bagnara <bagnara at 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=d057ae45cf1b02454c4ecc0a93495e9810b1e91d
Author: Roberto Bagnara <bagnara at 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=71cd387e80247071b73e5d6fcec57df6516bb9ac
Author: Roberto Bagnara <bagnara at 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=ede1a395a32c24154c42c02f2cf72ca7c4f02265
Author: Roberto Bagnara <bagnara at 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=487f91a9655fe5d7fec77b4d24475bd639fa7f75
Author: Roberto Bagnara <bagnara at 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=f6e62b0264bbfd0fb9090621fe13ccabbd7ac928
Author: Patricia Hill <p.m.hill at 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=92d1229784b3c5b32ceafa1e83fd2cdb41ba6b08
Author: Patricia Hill <p.m.hill at 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=dc6864df1b2ca5636de717c179b562d2a104dacd
Author: Patricia Hill <p.m.hill at 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=f3442f48f028d6e94df0246c9ad23d9c43feaf43
Author: Abramo Bagnara <abramo.bagnara at 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=cca8637a572ebcf456d4b65268a2947d22e93dd9
Author: Abramo Bagnara <abramo.bagnara at 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=abfdcd61e39ddd20bdaaca51b9e3784c0a740db6
Author: Roberto Bagnara <bagnara at 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=15351dec0d694afe3fc73174a5833f009fd26dc4
Author: Enea Zaffanella <zaffanella at 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=b623cb806b22deb707f97a29995a26d464f5ba15
Author: Enea Zaffanella <zaffanella at 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=5a2bb64fd41b260b6f68e47053c7a94cb84a65ed
Author: Enea Zaffanella <zaffanella at 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=72de66fb850462c62458725dc21e33c4026eaf2c
Author: Roberto Bagnara <bagnara at 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=68acb101eab3f4adfa2bfc6612088ec918c20478
Author: Roberto Bagnara <bagnara at 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=1a2efa7ce4e67c1fe02325d30bbf7b4eb30e19b9
Author: Roberto Bagnara <bagnara at 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=9390420242973cd81d3b1f890b464327cec2af86
Author: Roberto Bagnara <bagnara at 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=3fa2a003ff7babd4bfd668443d1f929ef60aaabc
Author: Roberto Bagnara <bagnara at 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=c42d3a7aeede91a6afe160f4f71c61f739d883c1
Author: Roberto Bagnara <bagnara at 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=ec19e1b522088e842b90896794eb5f1f68997511
Author: Roberto Bagnara <bagnara at 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=0f0ce5d8d426bb5aa7288d3f0956c615b1e18ff4
Author: Roberto Bagnara <bagnara at 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=5010fa847b1f389aaee61e8cdfc94e1d8df27c1b
Author: Roberto Bagnara <bagnara at 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=a00f2ac21655be81d14e14c0cbf2dad07bf3e28d
Author: Roberto Bagnara <bagnara at 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=9c44e7ac3e0247d174ddfa43ebbe4a77c55f3adc
Author: Roberto Bagnara <bagnara at 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=bfe9db5473e2d4958bebb4cc28380a46ecbd6967
Author: Roberto Bagnara <bagnara at 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=50030fba0045a46c3aad0dfc6d3906fbaa3590bf
Author: Enea Zaffanella <zaffanella at 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=7cab131006b0385c9855b298de5e0b85d8f05101
Author: Enea Zaffanella <zaffanella at 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=b6c3449ce47087c1e3957d2e37f717f5239c9796
Author: Enea Zaffanella <zaffanella at 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=49f8811aeaabece9332d1fece40ac88e05e2c3d8
Author: Enea Zaffanella <zaffanella at 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=d745cfa91fc74f852df242bc0507ca2a53a0a14a
Author: Enea Zaffanella <zaffanella at 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=ef23118849edd5ed1003afae43466566e63e1616
Author: Enea Zaffanella <zaffanella at 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=ae02418951a247595a8f8ade2090e3401bd8520c
Author: Roberto Bagnara <bagnara at 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=e7c06758ef7dfcbf8139b1158e702dcc56ce7ce8
Author: Roberto Bagnara <bagnara at 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=37adcae2f9399565ab4052853371f2fd446c003e
Author: Roberto Bagnara <bagnara at 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=c8f677733f78eda065f381d50d00afd7a24113f9
Author: Roberto Bagnara <bagnara at 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=acadcd82f6c200e12723630c950ac7c279f4ceca
Author: Roberto Bagnara <bagnara at 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=00cbfdb30e8e8a7e5c7fe20f63c53a27370a7905
Author: Roberto Bagnara <bagnara at 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=143fc5c5b4fdc0a6c24271d60f515214937ee39b
Author: Roberto Bagnara <bagnara at 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=7d19a65f547bc4224622dbf70df1c43b792a194f
Author: Enea Zaffanella <zaffanella at 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=d0e8e448a39aa80a48464825317d8c0b2142371f
Author: Roberto Bagnara <bagnara at 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=2ee55850a6d4eb0457d89600c7e65f76c1daa626
Author: Enea Zaffanella <zaffanella at 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=763276a346dee715359c1e4a61ca43c1b4868922
Author: Enea Zaffanella <zaffanella at 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=7fdb4199db20f7eb06cb25dff3c374f6092dccb9
Author: Enea Zaffanella <zaffanella at 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=521ce21afd82500e219f795ee8acd0c5a87cc2d8
Author: Enea Zaffanella <zaffanella at 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=5ef9269b43b18f0b49dfe647cc5457ed93bea9e0
Author: Enea Zaffanella <zaffanella at 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=a9f93b1ac29223079b9d894b3081cabf43cf407f
Author: Enea Zaffanella <zaffanella at 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=eeb8c755e6c6092967511944881d24120a89fd93
Author: Abramo Bagnara <abramo.bagnara at 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=9cdc037cdf468b82a6d14217c6c1caad531b0bbd
Author: Abramo Bagnara <abramo.bagnara at 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=a819fa12f81baba2e8b939e7cf1ec43dae8f6573
Author: Enea Zaffanella <zaffanella at 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=a4a27887eb1a1c28eb2b985a8a5acbc0cf702c0a
Author: Roberto Bagnara <bagnara at 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=e08bd14506912121a1c188ecbb337e82ec6534c8
Author: Abramo Bagnara <abramo.bagnara at 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=58dff7089d77a0d9762953c66734f95d52b2ddca
Author: Enea Zaffanella <zaffanella at 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=787dc72b55dd658b8e630e3d2eeb3cf7434c1f5d
Author: Enea Zaffanella <zaffanella at 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=cb5de9a40b4ce3ccde1104e90da8a154ca877607
Author: Enea Zaffanella <zaffanella at 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=e9fc312f33c36f9e2a3eb520f4881b9abff5d75e
Author: Enea Zaffanella <zaffanella at 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=93bbf657068ab68e114336684eef87f7a6ce787c
Author: Roberto Bagnara <bagnara at 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=5d988a3b5b9c564a81d91cf3a919cb8bb959bbf8
Author: Roberto Bagnara <bagnara at 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=5f775db925bb1a3f3dcf5fd7de81873e6bc8fcf0
Author: Abramo Bagnara <abramo.bagnara at 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=32409aa205f59894ca35f15ca7494ce4a702d2c9
Author: Roberto Bagnara <bagnara at 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=8e8ea55b9bf4cbcf3c06216f83cf8e2021eef523
Author: Roberto Bagnara <bagnara at 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=0d2064c3d8080286fe7a3fb44065be95e271ff56
Author: Enea Zaffanella <zaffanella at 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=756ef076d4574278d3665d3885b7dc41526a2b81
Author: Enea Zaffanella <zaffanella at 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=a18385ecd24fee64a91f70a8a5833f8748aee484
Author: Enea Zaffanella <zaffanella at 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=1228063d31da6c206e3b62f24419c0d0ddd77011
Author: Enea Zaffanella <zaffanella at 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=681915911631d0b4b137d86a0b23a10d3bceff41
Author: Roberto Bagnara <bagnara at 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=f4005b141d00e70a247d006cc9d78f2f52bf1e1b
Author: Roberto Bagnara <bagnara at 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=5238b268632f21366a5ba79816bf742fbb8ebc71
Author: Roberto Bagnara <bagnara at 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=81b598e7484f1d4b0d3323bafb30578c17149b1d
Author: Roberto Bagnara <bagnara at 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=fa1aba6cae22ad32a1f520cb2fce421d0259c3a8
Author: Enea Zaffanella <zaffanella at 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=609f96793392774847c032d06ac3898e62995d4f
Author: Enea Zaffanella <zaffanella at 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=f9163fbd8bc14a1ab5a466b4d058925803caaca0
Author: Enea Zaffanella <zaffanella at 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=637df0294f81d71e4f00d55063be06cf34adf4c4
Author: Roberto Bagnara <bagnara at 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=e87943772e7901e7b5c0e550d89742423b7fe225
Author: Roberto Bagnara <bagnara at 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=bbc3deda4d9ee21af4609396779e4ab1bde16d5b
Author: Enea Zaffanella <zaffanella at 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=fcbdfeab44225f1b03243f11bd32e999828c0b4c
Author: Roberto Bagnara <bagnara at 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=5ac71293891dbc160c066a80738a4bd27b93a450
Author: Enea Zaffanella <zaffanella at 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=73aee8ff7b811416d25b4c54344fbaa214ea7804
Author: Enea Zaffanella <zaffanella at 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=015e50d0dfee5724c26b989121c15e79b92b8059
Author: Enea Zaffanella <zaffanella at 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=02eb888f14e01881c56274ed8009d6c5aa3d8e41
Author: Enea Zaffanella <zaffanella at 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=ce56ec42203672a969d24b819854e48a8ec60985
Author: Enea Zaffanella <zaffanella at 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=b52dea04e8d347087359c175ed5c7d963ed3c8e2
Author: Roberto Bagnara <bagnara at 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=4ddf6ce187e9217e560fb3e8d18b315fa28d6d92
Author: Enea Zaffanella <zaffanella at 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=1ea98773b74de31caebd07558ec8b215d8298c6b
Author: Enea Zaffanella <zaffanella at 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=7b7ae1196e04b62461a77d98086479fad8712bc7
Author: Enea Zaffanella <zaffanella at 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=5e705a68649d84a32490ae8692158d19706cad2c
Author: Enea Zaffanella <zaffanella at 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=e37265ae0a0f108cc0ed86f7e848b9ebc8ff7883
Author: Enea Zaffanella <zaffanella at 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=20bbd20223a29626e84163094c0e0782b6ca4882
Author: Enea Zaffanella <zaffanella at 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=2ee9075c66455229ef794874e2f1bdf45e02c6d4
Author: Enea Zaffanella <zaffanella at 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=ed45790955fc4f20ef69774b573dd8b505a71d78
Author: Enea Zaffanella <zaffanella at 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=206682b08f624911ad29cfdc1d64bef59d6e8278
Author: Roberto Bagnara <bagnara at 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=1b647baaca8ae93381e8579ac7ca157af0d433ac
Author: Abramo Bagnara <abramo.bagnara at 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=d1113c510bef0d225dc673e31ed4df18ab5c4749
Author: Roberto Bagnara <bagnara at 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=4b09274909915d1908c5a0668390286604a2bda7
Author: Roberto Bagnara <bagnara at 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=5155daa681e19cb6bede5c899860cade0ac18174
Author: Roberto Bagnara <bagnara at 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=5161145cfadb50f9c441a4fc41fecf441483918e
Author: Roberto Bagnara <bagnara at 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=9fd12191d4f7912e12b5f3965be1b69a52787d04
Author: Enea Zaffanella <zaffanella at 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=1ff76cad0788fa1893f40f32257dcd3c732f2319
Author: Abramo Bagnara <abramo.bagnara at 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=7cfc3f1609b01c51c1a402012bb313a95f847e61
Author: Abramo Bagnara <abramo.bagnara at 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=4abb9c3094dc31615447801e02e71ac6c4af1ff4
Author: Enea Zaffanella <zaffanella at 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=96b0c536a8dcd3cf29759452003bca3172d7509c
Author: Abramo Bagnara <abramo.bagnara at 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=aa5200686cc9d529a5e9b23869e8c8d882174f94
Author: Enea Zaffanella <zaffanella at 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=76489dec6c233a03f13706fb58b3b370c20fe412
Author: Enea Zaffanella <zaffanella at 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=8aa0c5de6606f30b40a31e74b7a8c10180af8ffe
Author: Enea Zaffanella <zaffanella at 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=5e2ed9a48ac7e6bf2f68b5395791f4e7f4379e19
Author: Abramo Bagnara <abramo.bagnara at 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=0f2a2bf8ff3f23db8c7d4607d1abc3c963e89eca
Author: Abramo Bagnara <abramo.bagnara at 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=aea1d036a659bb31d25e382a7e215a59e3e557da
Author: Abramo Bagnara <abramo.bagnara at 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=92d3b0df6261f177871ee667186d2c73bb1141d5
Author: Roberto Bagnara <bagnara at 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=6b48ffdf47e595250802fe87464fe348bc488d45
Author: Enea Zaffanella <zaffanella at 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=223fd2c798b1476d3bcca1a311c99990e9df3ccd
Author: Roberto Bagnara <bagnara at 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=91385ebcf63053e0a648a03e87aca586347cbc8e
Author: Roberto Bagnara <bagnara at 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=a2da2d0f8f30442768c4702f969f739dde916b6d
Author: Roberto Bagnara <bagnara at 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=f52a31d61c17aa70ae91544c5b9ac5f889008726
Author: Roberto Bagnara <bagnara at 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=52fe00dd2c217c09f107286860e308d318a942c2
Author: Roberto Bagnara <bagnara at 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=267192b3529109ebdd2327c3ba70b782a3ca165f
Author: Roberto Bagnara <bagnara at 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=c91de8d4cae1d6d0bc68fc703fae0c553411af2c
Author: Roberto Bagnara <bagnara at 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=37a29dcd0c523dc25e9bb63107681844c93b762b
Author: Roberto Bagnara <bagnara at 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=f874d7e44a235c00d8b29db71f0f590c61badcd9
Author: Roberto Bagnara <bagnara at 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=3a576ab2ae6abfeec793a8b64783c2426b975a51
Author: Roberto Bagnara <bagnara at 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=3d706287150dc89d7abeb4585c7dfbd37adb5f89
Author: Roberto Bagnara <bagnara at 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=0e97c62dec8e2c8ea70e9e663cfa96d5ebdcb311
Author: Roberto Bagnara <bagnara at 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=05f9cc35b6a68f506206d89fa4fe2103349c5650
Author: Enea Zaffanella <zaffanella at 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=a0e8fa1b03ede3be0ba1795f8774234437e07ce0
Author: Roberto Bagnara <bagnara at 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=e9cbb6dcb1507d145f924ecd4dc625b07a01d644
Author: Roberto Bagnara <bagnara at 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=b8d5d49fe4558480808babf8388a04493ed2af82
Author: Roberto Bagnara <bagnara at 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=0dbe69df7a291d78b532a8dd11003fd230d82e32
Author: Roberto Bagnara <bagnara at 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=e8d622c7f000c31be848de1f6cb181a28d842fd8
Author: Roberto Bagnara <bagnara at 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=f26f9957b54a3e328e9dd9562cf95ec96f503058
Author: Roberto Bagnara <bagnara at 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=b5afe018d5f069b74c9603986a0b83e17c66316f
Author: Abramo Bagnara <abramo.bagnara at 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=b736306cfce299d80dd85052d6c6c93bdbc2cdf1
Author: Enea Zaffanella <zaffanella at 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=0739cd0ea3eaac5d117266245898b505901da822
Author: Enea Zaffanella <zaffanella at 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=876b91f81ffc77c5fdbc0ca3935e6025f1853e9a
Author: Enea Zaffanella <zaffanella at 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=c5fabffdb88abe18d5df5e2cdf5360361f61858b
Author: Abramo Bagnara <abramo.bagnara at 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=3e985e2756163cf85e29af42fc35f45b75657e05
Author: Abramo Bagnara <abramo.bagnara at 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=c43fa8739a05e831357a67ad81da925aa89edf37
Author: Abramo Bagnara <abramo.bagnara at 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=66e260f7483f86e3bbe79b32550f2402453a9fe8
Author: Enea Zaffanella <zaffanella at 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=0426fd6f655b115197d632e43a59bbf58826a417
Author: Abramo Bagnara <abramo.bagnara at 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=925cacd7941b45922210b1c296f1af8285fc9fae
Author: Abramo Bagnara <abramo.bagnara at 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=4181f769db322af862f7eab29dd7c742a1f48f51
Author: Abramo Bagnara <abramo.bagnara at 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=8cafc8b100358ecaa3df10074c91c132e9698fd7
Author: Abramo Bagnara <abramo.bagnara at 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=a03382866a8d47ab99ecc7b1e542b5bbbcbcb799
Author: Abramo Bagnara <abramo.bagnara at 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=6cd5710b5d2c2785398aee90bc39dcf007d0481e
Author: Abramo Bagnara <abramo.bagnara at 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=279f44d4d2ad2e818be866ff37b79336ab0333e7
Author: Abramo Bagnara <abramo.bagnara at 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=b9259e66b7b7fa5a536497b66baf3fcee31b2cdb
Author: Abramo Bagnara <abramo.bagnara at 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=9afcaffceb21f412fe286e06bb438a8cc78b7dd6
Author: Enea Zaffanella <zaffanella at 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=6854dc3b05c23b4a4c465980a2fb9be1c077df18
Author: Enea Zaffanella <zaffanella at 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=800d387ce5e288bfe7bda719e018986715d10490
Author: Enea Zaffanella <zaffanella at 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=cd4283d7be860b9a4222c3d1a589680bf5847d37
Author: Enea Zaffanella <zaffanella at 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=d7d915b5e2c110dddebbf054d4b781f7c5ce6e0e
Author: Enea Zaffanella <zaffanella at 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=f27f93acfbf308ef6a7811306ab7c56bfbe5f7b7
Author: Enea Zaffanella <zaffanella at 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=d7693be2e393346c52244298816350a22c2bc60f
Author: Enea Zaffanella <zaffanella at 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=3507a9471ca5a94749d1931d6edd3d6c582be40b
Author: Enea Zaffanella <zaffanella at 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=75cfbc2340b87b0adc85cc57440cca4715b7b5fc
Author: Enea Zaffanella <zaffanella at 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=b09c76dc54fe5f26fc7596772aaea2ef95861a8f
Author: Enea Zaffanella <zaffanella at 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=418c4e60b06c8668bda97d9ba0fddbbcc49ef213
Author: Patricia Hill <p.m.hill at 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=a6de4769641faef9750c18f8b69ec884815101e1
Author: Patricia Hill <p.m.hill at 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=6bb782d283cc62200324e028c310428a4eb68b78
Author: Enea Zaffanella <zaffanella at 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=754dcbd68b32c262d39d7d5dba3ed01a9f816b6c
Author: Abramo Bagnara <abramo.bagnara at 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=ff759c6b48d0bf2ed81e2bcdaf5aa072d1b540e5
Author: Enea Zaffanella <zaffanella at 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=7214979d8337182cd1592292abdaabc772c0f94c
Author: Enea Zaffanella <zaffanella at 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=1a28c03f8b5cc431553f06385c8124acfc9ab4e1
Author: Enea Zaffanella <zaffanella at 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=6d5f32d30f3dc5494aff61bf04cb27c56903150e
Author: Patricia Hill <p.m.hill at 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=cb89844f83a5aa0591bece53a9ce517e9c807da1
Author: Patricia Hill <p.m.hill at 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=1b2e1e5fa3b8a93544d30b53dd6f2bc27bee8eda
Author: Roberto Bagnara <bagnara at 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=c3b39224715d165d8965d93f3a51fd4d12d0dcb8
Author: Abramo Bagnara <abramo.bagnara at 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=61afde75e7d72eff478a60815e11d3a4f442252a
Author: Abramo Bagnara <abramo.bagnara at 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=2db3cb6ae4f889495dad47d46deff16b175191c7
Author: Enea Zaffanella <zaffanella at 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=bd2ce77bf9d603c397578ad077ef4d1a30f2afee
Author: Patricia Hill <p.m.hill at 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=36a7eb86bbe88a5bd278495b3bfd435422245530
Author: Patricia Hill <p.m.hill at 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=1742962f7d14843cd437b9c4294468aa74e543f1
Author: Patricia Hill <p.m.hill at 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=a00acbd1037dc7da2fff39884f185b06f2e2dabd
Author: Roberto Bagnara <bagnara at 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=e42c3f3d8ad1a541eb102c3b4379b624e1645f9a
Author: Roberto Bagnara <bagnara at 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=7f578f53d6ca109d5b233ffbc2cba4b593067c1a
Author: Roberto Bagnara <bagnara at 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=1b3c2d0ceffdcf1779f57988c8490f4b238cfabe
Author: Roberto Bagnara <bagnara at 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=47700f1555720a88ce2c5b5ee94517af003b9863
Author: Roberto Bagnara <bagnara at 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=5dc399d79a0f80e096a2355f2fe4f31c7cac64f0
Author: Roberto Bagnara <bagnara at 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=9e69c60b10f80fe3babe7460589a80f2ca9368d3
Author: Roberto Bagnara <bagnara at 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=81c390271c8f47449334cf77571eb991c40c47d8
Author: Roberto Bagnara <bagnara at 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=8579a7da71f7d73e4c6835434aa00bae29865e2d
Author: Patricia Hill <p.m.hill at 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=e9fee53d2e10691f6a6723c0c28631e573e84ffc
Author: Patricia Hill <p.m.hill at 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=37e82b178604094c5862863e651583096b31b332
Author: Roberto Bagnara <bagnara at 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=ed39879f090cbad40861608fa63488c071c2f99a
Author: Roberto Bagnara <bagnara at 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=97cc40667310524111a674be5ad3e8e9e4ec8c90
Author: Patricia Hill <p.m.hill at 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=3ded8bb10d824721a1bb6ed083de18d2350be36f
Author: Roberto Bagnara <bagnara at 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=2603585b9999c9288e1168cdc179014e7f865b27
Author: Roberto Bagnara <bagnara at 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=b4dac3bae9765441ee8be3b45a8fb495fbcdc56d
Author: Enea Zaffanella <zaffanella at 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=c64257c541e084d8f6adce267f894384fa39d45b
Author: Enea Zaffanella <zaffanella at 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=bb321df039bce4988dc316523b88546e8c2dd057
Author: Enea Zaffanella <zaffanella at 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=58a8be4d4b1d493d01074409b87fe34ddfa09c05
Author: Enea Zaffanella <zaffanella at 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=73a3335f0a0974c903e88c4cd4b7107fb779bbcb
Author: Enea Zaffanella <zaffanella at 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=803576355bab1ffbad948d7d5a75be21121765dc
Author: Enea Zaffanella <zaffanella at 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=6f0c06f03f3034842f06d7c99d4a56f9e08549ac
Author: Enea Zaffanella <zaffanella at 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=a3c18f959cc3f93de367b3b129e995a5fe629648
Author: Roberto Bagnara <bagnara at 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=7b5f76fb05d066c9e1e7192f1a6859974b662c6b
Author: Enea Zaffanella <zaffanella at 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=29d65d78b2f43ecac60f5dc0f1af0804d740acab
Author: Enea Zaffanella <zaffanella at 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=b861970ac6a1e593686b21df0619cc0f171d7a70
Author: Enea Zaffanella <zaffanella at 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=5712e36571a5ed8744e550d51199d16c3b9f89e7
Author: Enea Zaffanella <zaffanella at 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=249a29efe092ce88e00fec45b2e00a9ca1bdb20b
Author: Enea Zaffanella <zaffanella at 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=4921272596a31a0d7d68b67623911c2725736375
Author: Enea Zaffanella <zaffanella at 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=37719b83d11dba82b8675ff901bba44949524994
Author: Enea Zaffanella <zaffanella at 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=0d4a79c9ad28ae210b8fc6b0c28567f56ffa841d
Author: Enea Zaffanella <zaffanella at 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=af3d0755dad9e98e8276440f9b8bb330aa4b73dd
Author: Enea Zaffanella <zaffanella at 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=69c5683e1657ccc784c68a03e01cdae694af25ca
Author: Enea Zaffanella <zaffanella at 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=2b9312e845c29e6ee5fb555c3d877fe57b072d6c
Author: Enea Zaffanella <zaffanella at 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=72ea4b00d875ba14181c12ef669d66e116da1427
Author: Enea Zaffanella <zaffanella at 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=b5e126e5bc245317e7d41883d7834ef15a75639c
Author: Enea Zaffanella <zaffanella at 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=77a999e4d467daa92a629cf4b32d5a5736fd901d
Author: Enea Zaffanella <zaffanella at 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=ca495c20a548f8befaa4402a2bd970ec252fb373
Author: Enea Zaffanella <zaffanella at 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=7c9fe958cb324b418ed19bba5ba6d99fba169cfe
Author: Enea Zaffanella <zaffanella at 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=eb1e922ffe18c27b7b544781b745102730d8c2c4
Author: Enea Zaffanella <zaffanella at 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=e3c4d96c9830ac4233b84d178810b2dd3fcd7f9e
Author: Enea Zaffanella <zaffanella at 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=61f5417dcdf35d4f56ba737a45eb7ebc494e2e41
Author: Enea Zaffanella <zaffanella at 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=dbd30b078d19997cdfeef23663310025fd8113a0
Author: Enea Zaffanella <zaffanella at 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=2f490ee5d25afea0c21e16463e27059223c734d0
Author: Enea Zaffanella <zaffanella at 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=0691decf11e6f384b602d762c3060af30bf43a50
Author: Enea Zaffanella <zaffanella at 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=2bcc4ac88501983c95dc035d8fc7ff5dbbf76975
Author: Enea Zaffanella <zaffanella at 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=90cb4b9b18069d2fb809704fcc0edce6bef20834
Author: Enea Zaffanella <zaffanella at 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=912481ec1055d52b37ee8a64e97ad3be70cd1a7b
Author: Enea Zaffanella <zaffanella at 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=2e81747bef37b0c49447ca598e75312691526bf8
Author: Enea Zaffanella <zaffanella at 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=68cc056b563b384a43a45278fb30c97907901240
Author: Enea Zaffanella <zaffanella at 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=50bf9eb645f7db8db9157788112b41d88cf18f08
Author: Enea Zaffanella <zaffanella at 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=2fcad61ebee93894f4c465da36f49db9a32d921e
Author: Enea Zaffanella <zaffanella at 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=85c99baeae690a24a5a17eb5ee1279869e5e145d
Author: Roberto Bagnara <bagnara at 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=cc8006165e6ffa0265e001311db62ec68118511e
Author: Roberto Bagnara <bagnara at 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=b459380ce0ca5721c8dad52e72b4cb4e407450a9
Author: Patricia Hill <p.m.hill at 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=690131aa5ec3e6c69c43c84ceca54ea893f2b0d4
Author: Enea Zaffanella <zaffanella at 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=4de3f8fdbdeb0d99e728dbfe9540b52daab08373
Author: Enea Zaffanella <zaffanella at 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=2622a438e6d247763b436b8eeefe2c15dd9bc7f1
Author: Enea Zaffanella <zaffanella at 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=b6bcf0a3f859871de9fb397308bb705a11440e38
Author: Enea Zaffanella <zaffanella at 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=230921583305ca2fe45f474fe7763ee238441691
Author: Enea Zaffanella <zaffanella at 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=ab67c65fbe7043f3d3defced489c04494909345c
Author: Roberto Bagnara <bagnara at 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=723a711049fe8b07edd9781111e6394248fd3ecd
Author: Roberto Bagnara <bagnara at 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=37b4bdd5f55204f194749a687ab97a9ef1f03fc4
Author: Roberto Bagnara <bagnara at 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=df14c76cab47c24f88acc88c0a60dafeda066fcb
Author: Roberto Bagnara <bagnara at 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=35c29d765b0b2acd717b13a878fed3a742f728f1
Author: Roberto Bagnara <bagnara at 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=4f263321dba7e0865cd234aa0ed69a716b13c688
Author: Roberto Bagnara <bagnara at 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=10e0afa8fa25c9e0e8eaac9a0d730ab325086010
Author: Roberto Bagnara <bagnara at 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=a372f86d78f0effbfb551dd6f1078f6a4a7a0161
Author: Roberto Bagnara <bagnara at 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=7a847c76c10734e3d554f43963f647ac421f93f4
Author: Roberto Bagnara <bagnara at 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=cb83c4ee577c102c190f919efbd711ef53e7519a
Author: Roberto Bagnara <bagnara at 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=ccd09e698f00e26a8dc4ccc2265843e6b9ec1598
Author: Roberto Bagnara <bagnara at 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=a190d3da98795c4e4a696746633e08fe8f335baa
Author: Patricia Hill <p.m.hill at 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=9516ac54f007f2155b89ac0453bdfcd85a4204de
Author: Roberto Bagnara <bagnara at 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=23359d3f3ae607d613f8fd535030dea5a66dc48f
Author: Roberto Bagnara <bagnara at 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=9cd53027cc4ddcfe5e38030e697e968b26a4cfa1
Author: Roberto Bagnara <bagnara at 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=68ee3845682d61e60861d9c9afd9fdb707164c39
Author: Roberto Bagnara <bagnara at 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=3ae3015148642e342aa5b7addb4270201a0c2883
Author: Roberto Bagnara <bagnara at 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=7f879511e0d654a8d218e4eaf2b94f7b7c1993b6
Author: Roberto Bagnara <bagnara at 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=c34e47c445db87c610a7b266d880e0c4717ab82d
Author: Enea Zaffanella <zaffanella at 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=19fed334bf697bfd4c63e1c94f3239d912dd6219
Author: Enea Zaffanella <zaffanella at 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=5bd518e21c830084f13f75a99f748151b843b236
Author: Roberto Bagnara <bagnara at 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=f6060073e3b31277cf475ba90c0eb751663a81e8
Author: Roberto Bagnara <bagnara at 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.
More information about the PPL-devel
mailing list