April 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_12-branch): New commits
by Roberto Bagnara 16 Apr '12

16 Apr '12

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd323d80193e… Merge: 234cfacce4b9aec54e1532788c3a5d362c2b5f0c 305c39d78c0a6de7a1478f92b892a32e030daa42 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 11:24:50 2012 +0200 Merge branch 'master' into ppl-0_12-branch URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305c39d78c0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 11:23:40 2012 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4804b28aa126… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 11:12:04 2012 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba211104747… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 13 10:53:41 2012 +0200 Minor corrections in the documentation for set_deterministic_timeout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a082744fb5cd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 12 23:02:50 2012 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7038a1b8de24… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 12 21:22:27 2012 +0200 The Intel C/C++ compiler does not support -pedantic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f76c05f99451… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 12 15:44:11 2012 +0200 The Intel C/C++ compiler does not support -pedantic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84128ab43b6e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 12 11:16:52 2012 +0200 Typo fixed. Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebf2319c2e73… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 11 17:25:13 2012 +0200 Test PIP_Problem/weightwatch1 requires unbounded coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04c81f986d57… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 11 15:31:41 2012 +0200 Modified signature of function set_deterministic_timeout(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f021f3e7bd4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 19:33:27 2012 +0200 Fixed a bug in the Prolog interface whereby predicate ppl_set_deterministic_timeout/1. It was flagging arguments bigger than 4294967295 as erroneous. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd121ac6dd6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 19:27:28 2012 +0200 Revert "The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter." This reverts commit 7781b2d72ad31906c830a16a942b31ac305924c2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e61b4cb7728… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 19:08:46 2012 +0200 Substituted "alpha testing" with "beta testing". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7781b2d72ad3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 19:02:56 2012 +0200 The function ppl_set_deterministic_timeout() in the C interface now takes an unsigned long long parameter. It erroneously used to take an unsigned int. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc119cc72ae7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 18:58:33 2012 +0200 Profiled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5e0f990123d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 18:41:48 2012 +0200 New test program. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a218c114b0f2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 18:38:17 2012 +0200 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4dbb6e73d34… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Apr 7 15:54:20 2012 +0200 Ignore always unhandled bits. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a772590b8357… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 15:25:34 2012 +0200 Cleaned. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dfc47517c84… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 14:11:39 2012 +0200 Avoid using @ outside BibTex entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fe7c0066396… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 14:09:41 2012 +0200 Avoid using @ outside BibTex entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6936a75a6bf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 14:04:23 2012 +0200 Missing comma added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=88234071d113… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 7 14:00:05 2012 +0200 Avoid non-ASCII characters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5234d75213a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Apr 7 11:35:41 2012 +0200 Added calls to WEIGHT macros. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=339439dc72b0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 19:21:23 2012 +0200 Weight computation fixed and adjusted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cab1cdf4cf2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 17:34:28 2012 +0200 Let ppl_unreachable_msg() print a more sensible message. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ddaf31d088… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 17:16:50 2012 +0200 Punctuation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bb170031482… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 17:15:23 2012 +0200 Mimic the message given by standard assert. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81a68dd16a56… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 6 16:48:59 2012 +0200 Added a comment to clarify definition of PPL_ASSERT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488490ab24f4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 6 16:38:44 2012 +0200 Improved error message reporting for assertion failures. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb4ff186479c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 12:13:14 2012 +0200 Reordered so as to allow compilability with -DPPL_PROFILE_ADD_WEIGHT=1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34fa558e18b0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 12:12:45 2012 +0200 Variable name fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04e4cfbf6a81… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 12:11:56 2012 +0200 Reference to no longer existing namespace removed. (Wonder why we did not have a Doxygen warning.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e40494f8f37… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 6 10:41:12 2012 +0200 Clarified reason of assertion failing by adding a message. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b406ba2b5a15… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 6 10:19:18 2012 +0200 When dumping Linear_Row::Flags with assertions turned off, force the (unavailable) rpi/nnc validity bits as "set". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=946038b56de1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 09:03:47 2012 +0200 Do not use #define without a value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3415eb20ae3b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 09:03:08 2012 +0200 The given problem is not satisfiable (independently verified with other solvers). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36136d48b149… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 07:51:20 2012 +0200 Make it easier to reproduce issue [PPL 0000353]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e570c208e2a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 6 07:14:21 2012 +0200 Use add_mul_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a194d47db18… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 22:24:58 2012 +0200 Function renamed and documented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b7bc2428f8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 22:03:23 2012 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d6ef34ebb54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 21:50:58 2012 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ff3e5f5be1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 21:24:47 2012 +0200 Set the validity bits. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=236fc0ca4dcc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 5 19:59:53 2012 +0200 To reproduce Mantis issue [PPL 0000353]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=717a18d0a06e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 4 11:31:59 2012 +0200 Made several exception thrower methods static. Renamed throw_generic() as throw_invalid_argument() for consistency. In generalized_affine_{pre}image(), systematically throw an invalid argument exception if relsym == NOT_EQUAL. Corrected several inaccuracies in exception error messages.

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 16 Apr '12

16 Apr '12

Module: ppl/ppl Branch: master Commit: 305c39d78c0a6de7a1478f92b892a32e030daa42 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=305c39d78c0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 11:23:40 2012 +0200 Updated. --- ChangeLog | 247 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 247 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 4f159e8..029eb1b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,250 @@ +2012-04-16 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, README, demos/ppl_lcdd/ppl_lcdd.1, + demos/ppl_lpsol/ppl_lpsol.1, demos/ppl_pips/ppl_pips.1, + doc/libppl.3, doc/libppl_c.3, doc/ppl-config.1: Updated. + +2012-04-13 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * interfaces/C/ppl_c_header.h, + interfaces/OCaml/OCaml_interface.dox, + interfaces/Prolog/Prolog_interface_sysindep.dox: Minor corrections + in the documentation for set_deterministic_timeout. + +2012-04-12 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * NEWS: Updated. + +2012-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * interfaces/C/tests/Makefile.am: The Intel C/C++ compiler does not + support -pedantic. + +2012-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * configure.ac, demos/ppl_lpsol/Makefile.am: The Intel C/C++ + compiler does not support -pedantic. + +2012-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * configure.ac: Typo fixed. Version number bumped. + +2012-04-11 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * tests/PIP_Problem/weightwatch1.cc: Test PIP_Problem/weightwatch1 + requires unbounded coefficients. + +2012-04-11 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * interfaces/C/ppl_c_header.h, + interfaces/C/ppl_c_implementation_common.cc, + interfaces/C/tests/weightwatch1.c, + interfaces/Java/jni/ppl_java_globals.cc, + interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.jav + a, interfaces/Java/tests/Parma_Polyhedra_Library_test2.java, + interfaces/OCaml/ppl_ocaml_common.cc, + interfaces/OCaml/ppl_ocaml_globals.ml, + interfaces/OCaml/ppl_ocaml_globals.mli, + interfaces/OCaml/tests/test1.ml, + interfaces/Prolog/Prolog_interface_sysindep.dox, + interfaces/Prolog/ppl_interface_generator_prolog_procedure_generato + rs.m4, interfaces/Prolog/ppl_prolog_common.cc, + interfaces/Prolog/ppl_prolog_common.defs.hh, + src/Threshold_Watcher.inlines.hh, src/globals.defs.hh, + src/globals.inlines.hh: Modified signature of function + set_deterministic_timeout(). + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, interfaces/Prolog/ppl_prolog_common.cc: Fixed a bug in the + Prolog interface whereby predicate ppl_set_deterministic_timeout/1. + It was flagging arguments bigger than 4294967295 as erroneous. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, interfaces/C/ppl_c_header.h, + interfaces/C/ppl_c_implementation_common.cc: Revert "The function + ppl_set_deterministic_timeout() in the C interface now takes an + unsigned long long parameter." This reverts commit 7781b2d72ad31906c830a16a942b31ac305924c2. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * interfaces/C/ppl_c_header.h, + interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.jav + a, interfaces/OCaml/OCaml_interface.dox, + interfaces/Prolog/Prolog_interface_sysindep.dox: Substituted "alpha + testing" with "beta testing". + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, interfaces/C/ppl_c_header.h, + interfaces/C/ppl_c_implementation_common.cc: The function + ppl_set_deterministic_timeout() in the C interface now takes an + unsigned long long parameter. It erroneously used to take an + unsigned int. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/PIP_Tree.cc: Profiled. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/PIP_Problem/Makefile.am, tests/PIP_Problem/{bug1.cc => + weightwatch1.cc}: New test program. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/MIP_Problem/mipproblem1.cc: Comments improved. + +2012-04-07 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * src/Linear_Row.cc: Ignore always unhandled bits. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/PIP_Problem/Makefile.am: Cleaned. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/ppl_citations.bib: Avoid using @ outside BibTex entries. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/ppl.bib: Avoid using @ outside BibTex entries. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/ppl.bib: Missing comma added. + +2012-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/ppl.bib, doc/ppl_citations.bib: Avoid non-ASCII characters. + +2012-04-07 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/PIP_Tree.cc: Added calls to WEIGHT macros. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/MIP_Problem.cc: Weight computation fixed and adjusted. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/assert.cc: Let ppl_unreachable_msg() print a more sensible + message. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/assert.hh: Punctuation fixed. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/assert.cc: Mimic the message given by standard assert. + +2012-04-06 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/assert.hh: Added a comment to clarify definition of + PPL_ASSERT. + +2012-04-06 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/assert.cc, src/assert.hh: Improved error message reporting for + assertion failures. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/globals.defs.hh: Reordered so as to allow compilability with + -DPPL_PROFILE_ADD_WEIGHT=1. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/Weight_Profiler.cc: Variable name fixed. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/Threshold_Watcher.defs.hh: Reference to no longer existing + namespace removed. (Wonder why we did not have a Doxygen warning.) + +2012-04-06 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Linear_Row.inlines.hh: Clarified reason of assertion failing + by adding a message. + +2012-04-06 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Linear_Row.cc: When dumping Linear_Row::Flags with assertions + turned off, force the (unavailable) rpi/nnc validity bits as "set". + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/PIP_Tree.cc: Do not use #define without a value. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/PIP_Problem/bug1.cc: The given problem is not satisfiable + (independently verified with other solvers). + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/PIP_Problem/Makefile.am, tests/PIP_Problem/bug1.cc, + tests/PIP_Problem/bug1.dat: Make it easier to reproduce issue [PPL + 0000353]. + +2012-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/PIP_Tree.cc: Use add_mul_assign(). + +2012-04-05 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/PIP_Tree.cc: Function renamed and documented. + +2012-04-05 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/PIP_Tree.cc: Indentation fixed. + +2012-04-05 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/PIP_Tree.cc: Indentation fixed. + +2012-04-05 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/PIP_Problem/bug1.dat: Set the validity bits. + +2012-04-05 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/PIP_Problem/bug1.cc, tests/PIP_Problem/bug1.dat: To + reproduce Mantis issue [PPL 0000353]. + +2012-04-04 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/BD_Shape.defs.hh, src/BD_Shape.inlines.hh, + src/BD_Shape.templates.hh, src/Box.defs.hh, src/Box.inlines.hh, + src/Box.templates.hh, src/Grid.defs.hh, src/Grid_nonpublic.cc, + src/Grid_public.cc, src/Octagonal_Shape.defs.hh, + src/Octagonal_Shape.inlines.hh, src/Octagonal_Shape.templates.hh, + src/Polyhedron_public.cc: Made several exception thrower methods + static. Renamed throw_generic() as throw_invalid_argument() for + consistency. In generalized_affine_{pre}image(), systematically + throw an invalid argument exception if relsym == NOT_EQUAL. + Corrected several inaccuracies in exception error messages. + +2012-04-02 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * NEWS: Corrected typo. + +2012-04-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * NEWS, doc/Makefile.am: Distribute the bibliographies. + +2012-04-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/ppl.bib, doc/ppl_citations.bib: Added copyright and licensing + information. + +2012-04-02 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, NEWS, src/Makefile.am: Updated. + 2012-04-01 Roberto Bagnara <bagnara(a)cs.unipr.it> * src/Polyhedron.defs.hh, src/Polyhedron.inlines.hh,

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 16 Apr '12

16 Apr '12

Module: ppl/ppl Branch: master Commit: 4804b28aa126b2e5b71778af702c0a9aef3b4885 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4804b28aa126… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 16 11:12:04 2012 +0200 Updated. --- NEWS | 5 +- README | 323 +++++++++++++++++++++++------------------- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/libppl.3 | 8 +- doc/libppl_c.3 | 16 +- doc/ppl-config.1 | 2 +- 8 files changed, 197 insertions(+), 163 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=4804b28a…

1 0

Vorreste aiutare i malati nel vostro tempo libero guadagnando dai 300 euro alla settimana?
by china-devel-owner＠cs.unipr.it 16 Apr '12

16 Apr '12

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=us-ascii"> <STYLE></STYLE> </HEAD> <BODY> <b>La paga ci sarà ogni venerdì!</b><br> <br> Volendo, potrete aumentare gradualmente il numero delle richieste.<br> Garantiamo il lavoro a tutti. Ma i posti disponibili sono limitati!<br> Perciò vi conviene di presentare la domanda subito. E inizierete a guadagnare dalla settimana seguente.<br> <br> <b>Nella domanda bisogna indicare:</b><br> Il vostro nome<br> Il vostro indirizzo email<br> La vostra città di residenza<br> <br> Indirizzate la domanda al mio email <b>May(a)linklavoro.com</b> e vi risponderò personalmente entro 2 giorni lavorativi<br> <br> Cordiali saluti,<br> Dottor May </BODY></HTML>

1 0

PPL 0.12 bug reporting
by Erotavlas_turbo＠libero.it 16 Apr '12

16 Apr '12

Hi, I have a problem with the latest version of PPL 0.12. I have tried to compile it with Ubuntu 64 bit 11.04 and 11.10. I can compile PPL well but when I make the tests (by make check), I get a message like this: Some test failed, please report a bug to the PPL developers. With the PPL 0.11 all the test are passed. Best Regards Salvatore Frandina

2 1

[GIT] ppl/ppl(master): Minor corrections in the documentation for set_deterministic_timeout.
by Enea Zaffanella 13 Apr '12

13 Apr '12

Module: ppl/ppl Branch: master Commit: 4ba2111047479b93493861aeede40ab50bb89b9d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba211104747… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 13 10:53:41 2012 +0200 Minor corrections in the documentation for set_deterministic_timeout. --- interfaces/C/ppl_c_header.h | 2 +- interfaces/OCaml/OCaml_interface.dox | 13 +++++++------ interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +- 3 files changed, 9 insertions(+), 8 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index db17060..c9d7e21 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -406,7 +406,7 @@ ppl_reset_timeout PPL_PROTO((void)); If \p unscaled_weight has value \f$u\f$ and \p scale has value \f$s\f$, then the (scaled) weight threshold is computed as \f$w = u \cdot 2^s\f$. Computations taking exponential time will be interrupted some time - after reaching the complexity threshold \f$w\f$; + after reaching the complexity threshold \f$w\f$. If the computation is interrupted that way, the interrupted function will return error code <code>PPL_TIMEOUT_EXCEPTION</code>. Otherwise, if the computation completes without being interrupted, diff --git a/interfaces/OCaml/OCaml_interface.dox b/interfaces/OCaml/OCaml_interface.dox index 757ce02..8cb9c6f 100644 --- a/interfaces/OCaml/OCaml_interface.dox +++ b/interfaces/OCaml/OCaml_interface.dox @@ -215,13 +215,14 @@ included with all instantiations of the OCaml interfaces. Resets the timeout time so that the computation is not interrupted. An exception is thrown if the PPL Watchdog library is not enabled. -<H2><CODE> ppl_set_deterministic_timeout weight </CODE></H2> +<H2><CODE> ppl_set_deterministic_timeout unscaled_weight scale</CODE></H2> Computations taking exponential time will be interrupted some time - after reaching the <CODE>weight</CODE> complexity threshold. - If the computation is interrupted that way, a timeout exception - will be thrown. - An exception is immediately thrown if <CODE>weight</CODE> is not strictly - greater than zero, or if the PPL Watchdog library is not enabled. + after reaching the complexity threshold + \f$\mathrm{weight} = \mathrm{unscaled\_weight} \cdot 2^\mathrm{scale}\f$. + If the computation is interrupted that way, a timeout exception will + be thrown. <CODE>unscaled_weight</CODE> must be strictly greater than + zero; <CODE>scale</CODE> must be non-negative; an exception is thrown + if the computed weight threshold exceeds the maximum allowed value. <EM>NOTE:</EM> This "timeout" checking functionality is said to be <EM>deterministic</EM> because it is not based on actual elapsed time. Its behavior will only depend on (some of the) computations performed diff --git a/interfaces/Prolog/Prolog_interface_sysindep.dox b/interfaces/Prolog/Prolog_interface_sysindep.dox index 7a23ef7..482525f 100644 --- a/interfaces/Prolog/Prolog_interface_sysindep.dox +++ b/interfaces/Prolog/Prolog_interface_sysindep.dox @@ -421,7 +421,7 @@ that are included with all instantiations of the Prolog interfaces. <EM>Computations taking exponential time will be interrupted some time after reaching the complexity threshold - \f$\mathrm{Weight} = \mathrm{Unscaled_Weight} \cdot 2^\mathrm{Scale}\f$. + \f$\mathrm{Weight} = \mathrm{Unscaled\_Weight} \cdot 2^\mathrm{Scale}\f$. If the computation is interrupted that way, the current timeout exception atom will be thrown. <CODE>Unscaled_Weight</CODE> must be strictly greater than zero;

1 0

[GIT] ppl/ppl(master): Updated.
by Enea Zaffanella 12 Apr '12

12 Apr '12

Module: ppl/ppl Branch: master Commit: a082744fb5cdd09647455b0052de1f3b7862a3e0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a082744fb5cd… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 12 23:02:50 2012 +0200 Updated. --- NEWS | 10 ++++++---- 1 files changed, 6 insertions(+), 4 deletions(-) diff --git a/NEWS b/NEWS index 8efb8a6..ffe9aab 100644 --- a/NEWS +++ b/NEWS @@ -16,6 +16,12 @@ NEWS for version 0.12.1 (to be released on April 1?, 2012) New and Changed Features ======================== +o In the C, Java, OCaml and Prolog interfaces, modified the signature + of the function/method/predicate for setting the deterministic timeout + threshold. The new interfaces take two input values, named `unscaled' + and `scale', that are used to compute the threshold value as + `unscaled * 2^scale'. + o Added new Box<ITV> methods bool has_upper_bound(Variable var, @@ -34,10 +40,6 @@ o Two BibTeX databases of papers related to the Parma Polyhedra Library Bugfixes ======== -o Fixed a bug in the Prolog interface whereby predicate - ppl_set_deterministic_timeout/1 was flagging arguments bigger than - 4294967295 as erroneous. - o Minor documentation fixes. o Portability improved.

1 0

[GIT] ppl/ppl(master): The Intel C/C++ compiler does not support -pedantic.
by Roberto Bagnara 12 Apr '12

12 Apr '12

Module: ppl/ppl Branch: master Commit: 7038a1b8de24d7ff4a44c49278e9192f948fabf7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7038a1b8de24… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 12 21:22:27 2012 +0200 The Intel C/C++ compiler does not support -pedantic. --- interfaces/C/tests/Makefile.am | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/interfaces/C/tests/Makefile.am b/interfaces/C/tests/Makefile.am index 10d3857..2e6b1dd 100644 --- a/interfaces/C/tests/Makefile.am +++ b/interfaces/C/tests/Makefile.am @@ -50,8 +50,16 @@ AM_CFLAGS = -pedantic -std=gnu89 -Werror else !HOST_OS_MINGW +if ICC + +AM_CFLAGS = -std=c89 + +else !ICC + AM_CFLAGS = -pedantic -std=c89 -Werror +endif !ICC + endif !HOST_OS_MINGW endif GCC

1 0

[GIT] ppl/ppl(master): The Intel C/C++ compiler does not support -pedantic.
by Roberto Bagnara 12 Apr '12

12 Apr '12

Module: ppl/ppl Branch: master Commit: f76c05f9945195d99135594ee379ad1358563308 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f76c05f99451… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 12 15:44:11 2012 +0200 The Intel C/C++ compiler does not support -pedantic. --- configure.ac | 2 ++ demos/ppl_lpsol/Makefile.am | 9 +++++++++ 2 files changed, 11 insertions(+), 0 deletions(-) diff --git a/configure.ac b/configure.ac index feded19..95350e5 100644 --- a/configure.ac +++ b/configure.ac @@ -173,6 +173,8 @@ choke me AC_LANG_POP(C) fi +AM_CONDITIONAL(ICC, test x"$ICC" = xyes) + # The clang compiler masquerades as gcc, but we want to know. if test x"$GCC" = xyes then diff --git a/demos/ppl_lpsol/Makefile.am b/demos/ppl_lpsol/Makefile.am index 89ae245..56dcaa1 100644 --- a/demos/ppl_lpsol/Makefile.am +++ b/demos/ppl_lpsol/Makefile.am @@ -52,9 +52,18 @@ dummy.cc if GCC +if ICC + +# We cannot use -std=c89 because of the definition of sigaction in <signal.h>. +ppl_lpsol_CFLAGS = -std=gnu89 + +else !ICC + # We cannot use -std=c89 because of the definition of sigaction in <signal.h>. ppl_lpsol_CFLAGS = -pedantic -std=gnu89 -Werror +endif !ICC + endif GCC ppl_lpsol_LDADD = \

1 0

[GIT] ppl/ppl(master): Typo fixed. Version number bumped.
by Roberto Bagnara 12 Apr '12

12 Apr '12

Module: ppl/ppl Branch: master Commit: 84128ab43b6ee1f3dc5a4027b86e67d6e4a626a8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84128ab43b6e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 12 11:16:52 2012 +0200 Typo fixed. Version number bumped. --- configure.ac | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 66fe9f1..feded19 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [0.12.1pre2], [ppl-devel(a)cs.unipr.it] [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.12.1pre3], [ppl-devel(a)cs.unipr.it] [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) @@ -145,7 +145,7 @@ AC_ARG_WITH(cxx, # Checks for programs. -# Note that AC_PROG_CC must precede the first use of $GCC abd AC_PROG_CXX +# Note that AC_PROG_CC must precede the first use of $GCC and AC_PROG_CXX # must precede the first use of $GXX. Note also that we do not allow # AC_PROG_CC and AC_PROG_CXX to affect CFLAGS and CXXFLAGS. save_CFLAGS="$CFLAGS"

1 0