June 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(pip): Got rid of objective function and optimization mode.
by Enea Zaffanella 14 Jun '09

14 Jun '09

Module: ppl/ppl Branch: pip Commit: 2fd3c6ecc65c30b7c7cd1aa57227f76e756c54a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd3c6ecc65c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jun 14 19:08:18 2009 +0200 Got rid of objective function and optimization mode. --- src/PIP_Problem.defs.hh | 163 ++++++++++------------------------------------- 1 files changed, 34 insertions(+), 129 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2fd3c6ec…

1 0

[GIT] ppl/ppl(pip): Blatantly ripped from MIP_Problem.*.hh.
by Roberto Bagnara 14 Jun '09

14 Jun '09

Module: ppl/ppl Branch: pip Commit: d7b35a781e433e9cfe635fc04b5fcd7245dcb0f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7b35a781e43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jun 14 17:55:09 2009 +0200 Blatantly ripped from MIP_Problem.*.hh. --- src/PIP_Problem.defs.hh | 435 ++++++++++++++++++++++++++++++++++++++++++++++ src/PIP_Problem.types.hh | 32 ++++ 2 files changed, 467 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d7b35a78…

1 0

[GIT] ppl/ppl(pip): Corrected silly typo in compile-time check.
by Enea Zaffanella 14 Jun '09

14 Jun '09

Module: ppl/ppl Branch: pip Commit: cd10d9cbc12869eb3f2c1538cf466a9dd0f715af URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd10d9cbc128… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 21 09:08:45 2009 +0200 Corrected silly typo in compile-time check. --- src/BD_Shape.templates.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index e6cda70..042eb59 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -2077,8 +2077,8 @@ template <typename T> template <bool integer_upper_bound> bool BD_Shape<T>::BHZ09_upper_bound_assign_if_exact(const BD_Shape& y) { - PPL_COMPILE_TIME_CHECK(not (integer_upper_bound - && std::numeric_limits<T>::is_integer), + PPL_COMPILE_TIME_CHECK(!integer_upper_bound + || std::numeric_limits<T>::is_integer, "BD_Shape<T>::BHZ09_upper_bound_assign_if_exact(y):" " instantiating for integer upper bound," " but T in not an integer datatype.");

1 0

[GIT] ppl/w3ppl(master): Minor improvements to English.
by Patricia Hill 13 Jun '09

13 Jun '09

Module: ppl/w3ppl Branch: master Commit: 14734459339e9779d535121c07cab54a6fdda1e3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=1473445933… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat Jun 13 11:19:36 2009 +0100 Minor improvements to English. --- htdocs/news.raw | 2 +- htdocs/ppl.raw | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index ec008fb..a23308a 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -14,7 +14,7 @@ of the Parma Polyhedra Library. <TD> The PPL has now a bug tracking system - We finally got round to setting up a + We have finally got round to setting up a <A HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index b932c42..e6379d3 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -52,7 +52,7 @@ version 3</A> or any later version). <TD> The PPL has now a bug tracking system - We finally got round to setting up a + We have finally got round to setting up a <A HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it

1 0

[GIT] ppl/ppl(master): Using the bug tracking system is now the recommended way to report PPL issues .
by Roberto Bagnara 13 Jun '09

13 Jun '09

Module: ppl/ppl Branch: master Commit: 0bfb384588dbbeb770a45f4d850514a1d87349be URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0bfb384588db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 13 08:50:03 2009 +0200 Using the bug tracking system is now the recommended way to report PPL issues. --- BUGS | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/BUGS b/BUGS index 794468e..87627ce 100644 --- a/BUGS +++ b/BUGS @@ -1,9 +1,9 @@ -The PPL developers encourage you to report any bugs you find to -ppl-devel(a)cs.unipr.it. Here `bug' should be interpreted in its -broadest sense: outright software errors, misfeatures, bad interfaces, -missing or unclear documentation... whatever is a subject for possible -improvement. +The PPL developers encourage you to report any bugs you find using the +bug tracking system available at https://www.cs.unipr.it/mantis/ . +Here `bug' should be interpreted in its broadest sense: outright +software errors, misfeatures, bad interfaces, missing or unclear +documentation... whatever is a subject for possible improvement. As far as software bugs are concerned, the best reports are those that are reproducible. Including (or pointing us to) code that exhibits

1 0

[GIT] ppl/ppl(master): Typos fixed.
by Roberto Bagnara 13 Jun '09

13 Jun '09

Module: ppl/ppl Branch: master Commit: 335d133acf5dca4f15c4536a063c46479467668f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335d133acf5d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 25 17:38:54 2009 +0200 Typos fixed. --- interfaces/Prolog/Prolog_interface.dox | 2 +- interfaces/Prolog/ppl_prolog_sysindep_dox | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index f498615..9af2b30 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -328,7 +328,7 @@ The specification uses the following grammar rules: Control_Parameter_Value for MIP problems --> pricing_steepest_edge_float | pricing_steepest_edge_exact - | pricing_rextbook + | pricing_textbook Vars_List --> [] list of PPL variables | [PPL_Var | Vars_List]. diff --git a/interfaces/Prolog/ppl_prolog_sysindep_dox b/interfaces/Prolog/ppl_prolog_sysindep_dox index 9fa5ccc..eed4006 100644 --- a/interfaces/Prolog/ppl_prolog_sysindep_dox +++ b/interfaces/Prolog/ppl_prolog_sysindep_dox @@ -262,7 +262,7 @@ The specification uses the following grammar rules: Control_Parameter_Value for MIP problems --> pricing_steepest_edge_float | pricing_steepest_edge_exact - | pricing_rextbook + | pricing_textbook Vars_List --> [] list of PPL variables | [PPL_Var | Vars_List].

1 0

[GIT] ppl/w3ppl(master): Banner removed.
by Roberto Bagnara 13 Jun '09

13 Jun '09

Module: ppl/w3ppl Branch: master Commit: 21b3e9d7864c2168bd726f8acff5cda9c01aaf74 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=21b3e9d786… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 13 07:24:02 2009 +0200 Banner removed. --- htdocs/templates/choicestrip.tmpl | 6 ------ 1 files changed, 0 insertions(+), 6 deletions(-) diff --git a/htdocs/templates/choicestrip.tmpl b/htdocs/templates/choicestrip.tmpl index 8edc694..dbc1077 100644 --- a/htdocs/templates/choicestrip.tmpl +++ b/htdocs/templates/choicestrip.tmpl @@ -9,12 +9,6 @@ @ENDMACRO@ <TABLE BORDER=0 CELLSPACING=0 CELLPADDING=0> -<TR><TD> -<a href="http://stopsoftwarepatents.eu/391001735712/"><img -src="http://stopsoftwarepatents.eu/banner/391001735712/ssp-240-400.gif" -alt="stopsoftwarepatents.eu petition banner" -width="240" height="400" /></a> -</TD></TR> @STRIP_ELEMENT("Home", "", "PPL")@ @STRIP_ELEMENT("Documentation", "Documentation/", "Documentation")@ @STRIP_ELEMENT("FAQ", "FAQ", "FAQ")@

1 0

[GIT] ppl/w3ppl(master): Anchors fixed.
by Roberto Bagnara 13 Jun '09

13 Jun '09

Module: ppl/w3ppl Branch: master Commit: 18526f9f157418ea582f686529c8d8f6baa82b53 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=18526f9f15… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 13 07:22:17 2009 +0200 Anchors fixed. --- htdocs/Bugs/Bugs.raw | 2 +- htdocs/news.raw | 3 ++- htdocs/ppl.raw | 3 ++- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 48335c6..a74d9a8 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -15,7 +15,7 @@ by definition, not smart enough to debug it. The PPL developers encourage you to report any bugs you find using the -<HREF="https://www.cs.unipr.it/mantis/">bug tracking system</A>. +<A HREF="https://www.cs.unipr.it/mantis/">bug tracking system</A>. Here `bug' should be interpreted in its broadest sense: outright software errors, misfeatures, bad interfaces, missing or unclear documentation... whatever is a subject for possible improvement. diff --git a/htdocs/news.raw b/htdocs/news.raw index abf4d36..ec008fb 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -15,7 +15,8 @@ of the Parma Polyhedra Library. The PPL has now a bug tracking system We finally got round to setting up a - <HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. + <A + HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it for communicating, commenting and keeping track of all PPL issues. </TD> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 65d53f2..b932c42 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -53,7 +53,8 @@ version 3</A> or any later version). The PPL has now a bug tracking system We finally got round to setting up a - <HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. + <A + HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it for communicating, commenting and keeping track of all PPL issues. </TD>

1 0

[GIT] ppl/w3ppl(master): Announce the new bug tracking system.
by Roberto Bagnara 13 Jun '09

13 Jun '09

Module: ppl/w3ppl Branch: master Commit: b796f4415776d153be1e27a0a7bec8f1799f0121 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=b796f44157… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 13 07:18:57 2009 +0200 Announce the new bug tracking system. --- htdocs/Bugs/Bugs.raw | 4 ++-- htdocs/news.raw | 12 ++++++++++++ htdocs/ppl.raw | 42 +++++++++++++----------------------------- 3 files changed, 27 insertions(+), 31 deletions(-) diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 4fc4823..48335c6 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -14,8 +14,8 @@ by definition, not smart enough to debug it. The PPL developers encourage you to report -any bugs you find to -<A HREF="mailto:ppl-devel@cs.unipr.it">ppl-devel(a)cs.unipr.it</A>. +any bugs you find using the +<HREF="https://www.cs.unipr.it/mantis/">bug tracking system</A>. Here `bug' should be interpreted in its broadest sense: outright software errors, misfeatures, bad interfaces, missing or unclear documentation... whatever is a subject for possible improvement. diff --git a/htdocs/news.raw b/htdocs/news.raw index 029cb9d..abf4d36 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,18 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Jun 12, 2009</TT></TD> + <TD> + The PPL has now a bug tracking system + + We finally got round to setting up a + <HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. + Users and developers are now strongly encouraged to use it + for communicating, commenting and keeping track of all PPL issues. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 27, 2009</TT></TD> <TD> Elena graduated! diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 3345f93..65d53f2 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -48,9 +48,21 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Jun 12, 2009</TT></TD> + <TD> + The PPL has now a bug tracking system + + We finally got round to setting up a + <HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. + Users and developers are now strongly encouraged to use it + for communicating, commenting and keeping track of all PPL issues. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Apr 27, 2009</TT></TD> <TD> - Elena graduated! + Elena graduated! Elena Mazzi got her Laurea degree in Mathematics with a dissertation on correct widening operators for weakly-relational @@ -74,34 +86,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Apr 14, 2009</TT></TD> - <TD> - PPL 0.10.1 has been released - - This release includes several important improvements to PPL 0.10, - among which is better portability (including the support for - cross-compilation), increased robustness, better packaging and - several bug fixes. - </TD> -</TR> - -<TR> - <TD VALIGN=TOP><TT>Apr 11, 2009</TT></TD> - <TD> - New paper on exact join detection - - <A HREF="Documentation/bibliography#BagnaraHZ09TRa">Exact Join - Detection for Convex Polyhedra and Other Numerical - Abstractions</A> presents algorithms to decide whether the - lattice-theoretic join of two numerical abstractions (as computed - by the <CODE>upper_bound_assign</CODE> methods of the PPL) - corresponds to set-theoretic union. The algorithms described and - proved correct in the paper are the ones actually used in the PPL - to implement the <CODE>upper_bound_assign_if_exact</CODE> methods. - </TD> -</TR> - </TABLE> For older news items, see the <A HREF="news">complete news archive</A>.

1 0

FreeBSD package
by Tobias Grosser 11 Jun '09

11 Jun '09

Hi, I just wanted to note that since about 1 week FreeBSD has again the current PPL in its ports tree. However at the moment we only build the C/C++ interfaces. Patches to allow the optional build of the other interfaces are welcome, otherwise I will add them as I find some time. The current port works smoothly for my GRAPHITE development, however if there are problems/bugs in other circumstances please feel free to report to the FreeBSD bug tracker. I will try to fix these bugs soon. Tobi

2 1