[PPL-devel] [GIT] ppl/ppl(ppl-0_12-branch): New commits

Roberto Bagnara bagnara at cs.unipr.it
Fri Mar 23 20:57:23 CET 2012 

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da49b6da9d4f01ed01fcd1e42f55fea6513da7a7
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=02e002940b96a5ec913740a3cb48ca929bde3e75
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=b2b38ae6fe5b928db9b9536c3e094f6220381db4
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=c624c9cf8f1b8a21c060c4ac13e7d2b3033c2255
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=954845098a82b48a74298a103b7a295fcb8e55cd
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=ff875158151cc4eec5141ccf1e602c05df03bbb9
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=8ecb6d324aa76b22ae7bce11726f7dcad8f2143e
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=d8c239c15a38b260b6ecf229dbacb18557ffe11b
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=02b24672d0da24a0574e94e24330113183c19765
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=3a307d1dc79bf9bb9df4f8e3137054f4a13170a1
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=653badaea3d1afb23641174962214ea19f476308
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=f0419b9724f64e96f0b1f54b028015141bf86ee0
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=7004fc9973c2a84c120c621f1b549e2e2ba98976
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=85ccb147c4badaddaf0bf533e66e8320840e8167
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=51135c5a6818d910dc4537b283fc5ee10f10ed10
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=2461b9858e7b079067877620aa11bb2da5dbd706
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=45fc1f8c918374ef1292e15150ccbd42d057ddfe
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=4fe204fcf95a9d89e7d48c179d63202b3b2e8bec
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=22719a0b121d5d823a53387553150aa639988283
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=cd8f93c17c3acd0c6984da399b80814be4d9ee61
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=c8166f32234f91422b893975170856e05020b2c4
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=26b1616807a13f8f9bf2eb6eb372b13f0b208ab1
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=13c45a25b2081c5c52dda8ddbdee9e06f5fe774b
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=7938d98bf57b298d3d47b6493eeb10a8b87b7e84
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=53c943c937832f3183ebb5093742baf25ccdaba0
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=6d9ce77b9449658a534f7d235c2495f5fe56bfaf
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=17b6215af5d3490ce0966a7299e0f09db41b51f9
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=6763df2e1a2bff08155b24544f14fb5d8bda7791
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=db8d1ecafd6e31e34073f5c07858dd83a319dca1
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=a875756207e4b0bc4b176af2ad2d21c5fb43b565
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=bc3b26054fcb2ee6e8973529094130a91d40077e
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=3735093d1fd31c835c5763199efc2212f3f04a2a
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=be5d1ab6547e6f8912941a7dd13860c1bd9fceed
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=854726472dddd4d0e8c1772b94f0e42c49fdbe93
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=ca26b104d2b52e7cb00f3bdc97e2a3c434f916e2
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=30b4263b34c78ced667f6333542d154d3f85aeef
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=36b487d4fdc7451930bf5de1c68805c093651e8c
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=33f8c1568d882fe806bf4abc8517afd19eaea20c
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=3bc90e6a92c3f131d76204263d5cb8c0302f3935
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=97c61de3f9ab6c4a620fd63e829d3bd33655d053
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=4de67715a1f1232434d99b716e3d2403c0ed5cf2
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=6b90039b2c28bbe4f57c03f3400d89ffb6a536f3
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=35df86fca704f42c4979121633613a86ce86cda7
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=d26f48ce69ca58728fdc9388525b2d905889508c
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=1586a0a17e005bd101c869701d232b8b5b7366e9
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=597bfb65c4ef4d3bb90941484202c01a7717f1e4
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=b523e08bece3ee43134280569bcf4f21efcc8a94
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=e68fdc815829b55e9a664f8c7dca1a0fa92e20ac
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=bc52edfcbdbb2518d39c400a4f94f7b7fa932be1
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=abfa36f3f43dc1a2de32952c2f4b67a9ac420531
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=e9ea1c3671abe55f6ddbee54a7e8937db3e1429a
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=cbad3d6c4c18b166727fb71ef6efacbc784df4e7
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=a04f60ce096828594192bbe917d91da813450a25
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=1cec0624497c2a1ac140b803879111662ec9d30a
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=dbf329613862375521a539dc77d95a4b40625907
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=1205e1b991ed5cf69fc1da2388bf7ca408a95fae
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=aff24b88a898c7f8af1a08c3efbbb1c7b75d9901
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=33e5d9b3e14b4188a073fea50369efef3b52ba63
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=02ac64c825e211a97b1fa7daeaa053dbb9d576f0
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=3d6b9b9abb4431f9b2f2aefb957f9188dae7db97
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=4cb1be2e5bbfff8662f168b6ff59ae21355b40f5
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=fbeca674e51845670d9baf7632fb8e021101035c
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=290fd9a768651f54d71dd48572cea83e36c97d25
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=d53f4a4b7aa6b3bf3d6360019b165d98d3174008
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=f5876cc415bbe5b91dbc1e1dc159b5685a2d63f7
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=63dcbf78ad7d2001defbf7ab43c5484111da3cd8
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