URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da49b6da9d4f0... Author: Roberto Bagnara bagnara@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=02e002940b96a... Author: Roberto Bagnara bagnara@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=b2b38ae6fe5b9... Author: Roberto Bagnara bagnara@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=c624c9cf8f1b8... Author: Roberto Bagnara bagnara@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=954845098a82b... Author: Abramo Bagnara abramo.bagnara@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=ff875158151cc... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Mar 21 19:44:00 2012 +0100

Removed extra parenthesis.

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

Added some missing parenthesis.

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

Added missing parentheses. Detected by eclair service exprprns.

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

Fixed a couple of typos.

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

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

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

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

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

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

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

This file is not part of the Parma Polyhedra Library.

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

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

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

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

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

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

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

Text revised.

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

Sentence revised.

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

Man pages updated.

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

Use a canonical FDL text.

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

Updated.

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

URL fixed.

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

Indentation fixed.

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

Cleaned.

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

Copyright wording fixed.

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

Updated two spurious references to FDL 1.1.

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

Use a consistent formatting.

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

Wording fixed/improved.

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

Blank line added.

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

Use consistent formatting for the FDL.

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

Added missing paragraph.

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

Standardized copyright messages.

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

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

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

Updated: we no longer use CVS.

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

Ensure macro parameters in macro bodies are in parentheses.

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

Ensure parameters in bodies of macros are parenthesized.

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

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

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

Avoid needless macro complexity.

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

Fixed licenses text.

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

Removed bogus use of EXTRA_DIST.

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

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

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

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

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

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

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

Use variables instead of repetition.

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

Typo fixed.

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

Typos fixed.

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

Predicates renamed.

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

Identifier fixed.

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

String fixed.

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

Comments simplified.

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

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

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

Comment corrected.

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

Old FIXMEs dealt with. Detected by ECLAIR service cmntdout.

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

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

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

Added missing full-stop in comment.

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

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

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

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

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

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

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

Removed unused static const data member.

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

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

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

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

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

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

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

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

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

Code layout fixed.

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

Updated.

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

Added a missing project and updated a broken link.