[PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Tue Mar 27 16:48:51 CEST 2012
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=954b6a076634b241887d389f06463afbf12ba369
Merge: da49b6da9d4f01ed01fcd1e42f55fea6513da7a7 547d8c5dc79bfb28e23d6a08ed298cab74561b38
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 27 16:48:32 2012 +0200
Merge branch 'master' into ppl-0_12-branch
Conflicts:
configure.ac
interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4
src/Grid_Certificate.cc
src/Polyhedron_nonpublic.cc
src/compiler.hh
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=547d8c5dc79bfb28e23d6a08ed298cab74561b38
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 27 07:15:10 2012 +0200
Parameter name fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f8abc4dc994c7df3c5532090951df4b12fa596
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Mar 27 07:03:19 2012 +0200
Do not assume doubles are supported.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d003a6e58d5a2e4146cc4754647c853c9fd0d90
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 26 19:14:43 2012 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a32cb5e9d79b000054bd5c56d250999ac93b924b
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 26 17:00:46 2012 +0200
Surround non integer costants with a cast to boundary type.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9e4e176fb7479cb0160ec8a13571744f39c272
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 26 15:43:32 2012 +0200
Do not rely on doubles being supported.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1362d3bf62085f7c2b121139fd156d0b60b08169
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Mon Mar 26 14:51:48 2012 +0200
Output is exact also with some added needless zeroes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c55629fd03c729ee85c34a21206f986590d7f2
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Mar 26 10:39:05 2012 +0200
Removed unused parameter name.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59bbf2ad8eeaaa4506c572785f178fd7fdbd9826
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 25 21:18:47 2012 +0200
Keep macro names within the PPL namespace.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a52b5e5ddecd7a8582f41a851c74f6aacf1398b9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 25 19:57:52 2012 +0200
Only build `ppl_pl' for checking and install it only when shared libraries are disabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f70fc76500b85748b84b7c6263afecc188281a3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 25 15:26:14 2012 +0200
Cater for versions of SWI-Prolog configured with `--disable-libdirversion'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a09c726988797c7f1fe7bc3f4896c647fa6b1088
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 25 14:57:50 2012 +0200
Make sure the trailing ^M are suppressed under Windows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4580fa8886eae9074274fe1fbc0636757288b152
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Mar 25 11:59:44 2012 +0200
Remove the drive indication SWI-Prolog prepends to the PLBASE path under Windows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae14af77fe6d4f08fdf971dbcefd2c00b52fd329
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sun Mar 25 10:18:08 2012 +0200
Corrected wrong assertion after call to Grid::simplify().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ef3a18385085697e413378c8de299bd9d8636b8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 24 18:58:43 2012 +0100
Added missing uses of `$EXEEXT'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533fae3d1b7385cef651726d4d71efec95e24088
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 24 18:56:03 2012 +0100
Added missing link options.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dd838e58b176c037e8ffaed13a6577bd48ac2a9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 24 15:51:38 2012 +0100
Useless declarations removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b1ab576f8cb529058f94b6a8943d808b063a3c
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Mar 24 15:50:31 2012 +0100
Fixed debugging code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6677f1f4e72ba6e1b780fd159a3fe66865d7d390
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 24 14:56:05 2012 +0100
Corrected test for has_{upper,lower}_bound so as to avoid calling
the predicate on zero-dim boxes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666ee3e53fbc2d94d29aaf428ab1892a66b196ae
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Mar 24 14:03:14 2012 +0100
Restored the build.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e0662083fcfaf8d2652ca2ddb1f34811
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Fri Mar 23 20:04:38 2012 +0000
Added comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d571fcfe081a22ec0dce540df994fb0725812fe
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 23 20:50:12 2012 +0100
Added `@extra_includes@' to `AM_CPPFLAGS'.
(Thanks to Joao M. Santos Silva.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1ae10fce329c8d02540538f7ce9a29779e1a711
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 23 20:22:26 2012 +0100
Portability improved.
(Thanks to Tim Donahue.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f410b958859913c61d06b7528d71f5eb89b26e3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 23 20:18:02 2012 +0100
Fixed lots of parameter names.
Detected by ECLAIR service funparam.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3aa23db348313bf68cb85dd8b6e9acf21622f4e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Fri Mar 23 18:31:34 2012 +0100
Fixed lots of parameter names.
Detected by ECLAIR service funparam.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05ad33bb7f8b0bf04a5ab64489bb8f54d7532e3
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Thu Mar 22 10:10:05 2012 +0100
Fixed indentation.
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.
More information about the PPL-devel
mailing list