[GIT] ppl/ppl(ppl-0_12-branch): New commits
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.
participants (1)
-
Roberto Bagnara