March 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(termination): Fixed documentation files.
by Roberto Amadini 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: 97bd553465561f16c14e291cc942004cc534df86 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd55346556… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Mar 8 21:10:04 2010 +0100 Fixed documentation files. --- doc/definitions.dox | 2 ++ doc/devref.doxyconf-html.in | 7 ++++++- 2 files changed, 8 insertions(+), 1 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 48fd25d..d3d4756 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2637,6 +2637,8 @@ Generic concrete floating point expressions on \f$\mathbb{F}_t\f$ are represented by the \link Parma_Polyhedra_Library::Floating_Point_Expression \c Floating_Point_Expression \endlink abstract class. Its concrete derivate classes are: + - \link Parma_Polyhedra_Library::Cast_Floating_Point_Expression \c + Cast_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Constant_Floating_Point_Expression \c Constant_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Variable_Floating_Point_Expression \c diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 534aa10..e8148db 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -328,25 +328,30 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Floating_Point_Expression.templates.hh \ @srcdir@/../src/Cast_Floating_Point_Expression.types.hh \ @srcdir@/../src/Cast_Floating_Point_Expression.defs.hh \ - @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.types.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.inlines.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.types.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Difference_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Division_Floating_Point_Expression.types.hh \ @srcdir@/../src/Division_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Division_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Division_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.types.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Multiplication_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.types.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.inlines.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.types.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Sum_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.types.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.inlines.hh \

1 0

[GIT] ppl/ppl(master): Merge branch 'master' into floating_point
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: master Commit: f9fbde6765402ee509a03d952fdae02115c266fa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9fbde676540… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:04:15 2010 +0400 Merge branch 'master' into floating_point Conflicts: doc/definitions.dox ---

1 0

[GIT] ppl/ppl(master): Fixed documentation files.
by Roberto Amadini 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: master Commit: 97bd553465561f16c14e291cc942004cc534df86 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd55346556… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Mar 8 21:10:04 2010 +0100 Fixed documentation files. --- doc/definitions.dox | 2 ++ doc/devref.doxyconf-html.in | 7 ++++++- 2 files changed, 8 insertions(+), 1 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 48fd25d..d3d4756 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2637,6 +2637,8 @@ Generic concrete floating point expressions on \f$\mathbb{F}_t\f$ are represented by the \link Parma_Polyhedra_Library::Floating_Point_Expression \c Floating_Point_Expression \endlink abstract class. Its concrete derivate classes are: + - \link Parma_Polyhedra_Library::Cast_Floating_Point_Expression \c + Cast_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Constant_Floating_Point_Expression \c Constant_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Variable_Floating_Point_Expression \c diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 534aa10..e8148db 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -328,25 +328,30 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Floating_Point_Expression.templates.hh \ @srcdir@/../src/Cast_Floating_Point_Expression.types.hh \ @srcdir@/../src/Cast_Floating_Point_Expression.defs.hh \ - @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.types.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.inlines.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.types.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Difference_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Division_Floating_Point_Expression.types.hh \ @srcdir@/../src/Division_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Division_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Division_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.types.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Multiplication_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.types.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.inlines.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.types.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Sum_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.types.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.inlines.hh \

1 0

[GIT] ppl/ppl(floating_point): New commits
by Roberto Bagnara 09 Mar '10

09 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9fbde676540… Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:04:15 2010 +0400 Merge branch 'master' into floating_point Conflicts: doc/definitions.dox URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:57 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c65… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:37 2010 +0400 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6c325c3b96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 18:39:23 2010 +0400 Support newer versions of SWI-Prolog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54bf68f9ee93… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 16:24:38 2010 +0400 Use \link ... \endlink consistently. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d054a83797b9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 7 11:36:11 2010 +0100 Corrected an invalid reference bug in PIP_Solution_Node::update_tableau(). The addition of tableau rows invalidates previously computed references. Thanks to Marco Poletti for reporting this. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fad4a942862… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Mar 7 21:13:37 2010 +0100 Eventually perform solution tree simplifications after incremental addition of parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f010ef5edd82… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Mar 7 20:27:09 2010 +0100 Moved the compatibility_check static methods to PIP_Tree_Node. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7af846ade60… Author: François Galea <francois.galea(a)uvsq.fr> Date: Sun Mar 7 20:25:00 2010 +0100 Added one more test for incremental solving. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22d7dc4353fc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 6 09:23:32 2010 +0100 Corrected a couple of typos in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed63be5fa24… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 6 08:31:33 2010 +0100 Test 4 in digitalfilers1.cc overflows with 64-bits if assertions are on. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fa2669e96e9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 5 18:09:15 2010 +0100 Tests 20, 21 and 22 overflow on 8-bit coefficients (derived from test02). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be7b34ac1879… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 4 17:57:23 2010 +0100 Encoded custom overflow conditions for digitalfilters1.cc tests 5 and 6. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4b4cb73d97d… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Mar 4 14:14:05 2010 +0100 Added a test for problem feasibility when incrementally adding parameter constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06b9697b65… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Mar 4 13:59:59 2010 +0100 Added two tests for incremental addition of parametric constraints. Even though correct, the resulting solution trees can be simplified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e961e540b837… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 4 10:09:37 2010 +0400 Replaced using directives by using declarations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca010b524e4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 3 22:13:57 2010 +0400 Apparently GNU Hurd only supports ITIMER_REAL. (Thanks to Michael Tautschnig: http://www.cs.unipr.it/pipermail/ppl-devel/2010-March/016072.html). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aeb2709a41cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 3 22:07:01 2010 +0400 Proper spacing added to throw_syscall_error(). (Thanks to Michael Tautschnig.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9c769a3992b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 22:09:29 2010 +0100 Detected several overflows in tests 5 and 6 of digitalfilters1.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b72c39080c69… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 22:07:29 2010 +0100 Adopted a more flexible implementation for the DO_TEST* macros. (Based on a set of macros provided by Abramo Bagnara.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6503e77440bc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 2 14:59:10 2010 +0100 Made a pass on the documentation of class PIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=802e03131e75… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 23:58:07 2010 +0100 Method PIP_Tree_Node::solve() now checks context feasibility when needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=893ad34ee7a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 23:57:03 2010 +0100 Corrected typo in test19(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8daf23edd9ad… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 23:43:41 2010 +0100 Several minor improvements to the PIP_Problem resolution process. Reorganized helper functions update_context() and compatibility_check(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90f18fa7da95… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 1 11:05:37 2010 +0000 The wrap_assign has only been added to the C interface so the procedure must be local to the C interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a65a2985d7b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 1 11:15:05 2010 +0100 Completed removal of support for circular intervals. Removed now ambiguous method CC76_narrowing_assign(). While at it, also wrapped a few long lines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57c7504c6e09… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 1 08:45:34 2010 +0000 Added C interface for wrap_assign. Minor NELS improvements to documentation describing Wrapping Operator (should be checked by the author of these notes).

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: master Commit: a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:57 2010 +0400 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 9196291..9913e1a 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,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.11pre12], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre13], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: master Commit: 71dcb7f32c6508034075af6673086932649ebe0c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c65… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:37 2010 +0400 Indentation fixed. --- src/Pointset_Powerset.inlines.hh | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/Pointset_Powerset.inlines.hh b/src/Pointset_Powerset.inlines.hh index a5e8fc3..b1bf7ec 100644 --- a/src/Pointset_Powerset.inlines.hh +++ b/src/Pointset_Powerset.inlines.hh @@ -51,7 +51,7 @@ Pointset_Powerset<PSET>::max_space_dimension() { template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(dimension_type num_dimensions, - Degenerate_Element kind) + Degenerate_Element kind) : Base(), space_dim(num_dimensions) { Pointset_Powerset& x = *this; if (kind == UNIVERSE) @@ -62,14 +62,14 @@ Pointset_Powerset<PSET>::Pointset_Powerset(dimension_type num_dimensions, template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const Pointset_Powerset& y, - Complexity_Class) + Complexity_Class) : Base(y), space_dim(y.space_dim) { } template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const C_Polyhedron& ph, - Complexity_Class complexity) + Complexity_Class complexity) : Base(), space_dim(ph.space_dimension()) { Pointset_Powerset& x = *this; if (complexity == ANY_COMPLEXITY) { @@ -86,7 +86,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const C_Polyhedron& ph, template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const NNC_Polyhedron& ph, - Complexity_Class complexity) + Complexity_Class complexity) : Base(), space_dim(ph.space_dimension()) { Pointset_Powerset& x = *this; if (complexity == ANY_COMPLEXITY) { @@ -102,7 +102,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const NNC_Polyhedron& ph, template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const Grid& gr, - Complexity_Class) + Complexity_Class) : Base(), space_dim(gr.space_dimension()) { Pointset_Powerset& x = *this; if (!gr.is_empty()) { @@ -133,7 +133,7 @@ Pointset_Powerset<PSET> template <typename PSET> template <typename Interval> Pointset_Powerset<PSET>::Pointset_Powerset(const Box<Interval>& box, - Complexity_Class) + Complexity_Class) : Base(), space_dim(box.space_dimension()) { Pointset_Powerset& x = *this; if (!box.is_empty()) @@ -144,7 +144,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const Box<Interval>& box, template <typename PSET> template <typename T> Pointset_Powerset<PSET>::Pointset_Powerset(const Octagonal_Shape<T>& os, - Complexity_Class) + Complexity_Class) : Base(), space_dim(os.space_dimension()) { Pointset_Powerset& x = *this; if (!os.is_empty()) @@ -155,7 +155,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const Octagonal_Shape<T>& os, template <typename PSET> template <typename T> Pointset_Powerset<PSET>::Pointset_Powerset(const BD_Shape<T>& bds, - Complexity_Class) + Complexity_Class) : Base(), space_dim(bds.space_dimension()) { Pointset_Powerset& x = *this; if (!bds.is_empty())

1 0

[GIT] ppl/ppl(termination): Merge branch 'master' into termination
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: ea1d686ab772b820f2d094851f3cbf330f05f9e7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea1d686ab772… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 22:01:23 2010 +0400 Merge branch 'master' into termination ---

1 0

[GIT] ppl/ppl(termination): Support newer versions of SWI-Prolog.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: 0a6c325c3b9615411ba40c44743268f33303589a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6c325c3b96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 18:39:23 2010 +0400 Support newer versions of SWI-Prolog. --- interfaces/Prolog/SWI/Makefile.am | 12 ++++++------ m4/ac_check_swi_prolog.m4 | 23 +++++++++++++++++------ 2 files changed, 23 insertions(+), 12 deletions(-) diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am index 9c48447..98dffed 100644 --- a/interfaces/Prolog/SWI/Makefile.am +++ b/interfaces/Prolog/SWI/Makefile.am @@ -206,9 +206,9 @@ pl_clpq2_SOURCES = pl_clpq.cc if HOST_OS_CYGWIN -# Under Cygwin, plld gets the link options wrong: -lpl (PLLIB) -# comes before -lppl_swiprolog, with the result that all the -# symbols of the SWI-Prolog foreign interface are undefined. +# Under Cygwin, $(SWI_PROLOG_LD) gets the link options wrong: +# -lpl (PLLIB) comes before -lppl_swiprolog, with the result that all +# the symbols of the SWI-Prolog foreign interface are undefined. # Repeating the link options works around this problem. EXTRA_LINK_OPTIONS = $(SWI_PROLOG_LD_OPTIONS) @@ -229,14 +229,14 @@ LIBPPL_SWIPROLOG_LINK_OPTIONS = -L.libs -lppl_swiprolog endif !ENABLE_STATIC ppl_pl$(EXEEXT): libppl_swiprolog.la ppl_pl.o - plld -pl $(SWI_PROLOG) -cc $(CC) -c++ $(CXX) -ld $(CXX) \ + $(SWI_PROLOG_LD) -pl $(SWI_PROLOG) -cc $(CC) -c++ $(CXX) -ld $(CXX) \ -ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " "/"` \ -o $@ $(LIBPPL_SWIPROLOG_LINK_OPTIONS) ppl_pl.o \ -L$(top_builddir)/src/.libs \ -lppl $(WATCHDOG_LINK_OPTIONS) @extra_libraries@ $(EXTRA_LINK_OPTIONS) pl_clpq$(EXEEXT): libppl_swiprolog.la pl_clpq.o pl_clpq.pl ../tests/clpq.pl - plld -pl $(SWI_PROLOG) -cc $(CC) -c++ $(CXX) -ld $(CXX) \ + $(SWI_PROLOG_LD) -pl $(SWI_PROLOG) -cc $(CC) -c++ $(CXX) -ld $(CXX) \ -ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " "/"` \ -o $@ $(LIBPPL_SWIPROLOG_LINK_OPTIONS) pl_clpq.o \ $(srcdir)/pl_clpq.pl $(srcdir)/../tests/clpq.pl \ @@ -245,7 +245,7 @@ pl_clpq$(EXEEXT): libppl_swiprolog.la pl_clpq.o pl_clpq.pl ../tests/clpq.pl pl_clpq2$(EXEEXT): libppl_swiprolog.la pl_clpq.o pl_clpq.pl ../tests/clpq2.pl - plld -pl $(SWI_PROLOG) -cc $(CC) -c++ $(CXX) -ld $(CXX) \ + $(SWI_PROLOG_LD) -pl $(SWI_PROLOG) -cc $(CC) -c++ $(CXX) -ld $(CXX) \ -ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " "/"` \ -o $@ $(LIBPPL_SWIPROLOG_LINK_OPTIONS) pl_clpq.o \ $(srcdir)/pl_clpq.pl $(srcdir)/../tests/clpq2.pl \ diff --git a/m4/ac_check_swi_prolog.m4 b/m4/ac_check_swi_prolog.m4 index b4680e3..daed0a7 100644 --- a/m4/ac_check_swi_prolog.m4 +++ b/m4/ac_check_swi_prolog.m4 @@ -22,14 +22,17 @@ dnl site: http://www.cs.unipr.it/ppl/ . AC_DEFUN([AC_CHECK_SWI_PROLOG], [ -dnl By default, SWI-Prolog is installed as `pl', though some administrators -dnl call it `swipl' or `swi-prolog'. In particular, on Mac OS X `pl' is -dnl the name of another program. On Windows, the console version of -dnl SWI-Prolog is called `plcon'. -AC_PATH_PROG(swi_prolog, swi-prolog) +dnl By default, old versions of SWI-Prolog were installed as `pl', +dnl though some administrators called it `swipl' or `swi-prolog'. +dnl In particular, on Mac OS X `pl' is the name of another program. +dnl On Windows, the console version of SWI-Prolog was called `plcon'. +dnl Since SWI-Prolog 5.9.9, by default and on all systems, the +dnl interpreter is called `swipl' and `plld' is called `swipl-ld' + +AC_PATH_PROG(swi_prolog, swipl) if test -z $swi_prolog then - AC_PATH_PROG(swi_prolog, swipl) + AC_PATH_PROG(swi_prolog, swi-prolog) if test -z $swi_prolog then AC_PATH_PROG(swi_prolog, pl) @@ -49,6 +52,12 @@ then dnl Additional version checks could be inserted here, if necessary. + AC_PATH_PROG(swi_prolog_ld, swipl-ld) + if test -z $swi_prolog_ld + then + AC_PATH_PROG(swi_prolog_ld, plld) + fi + # In Fedora, SWI-Prolog.h is installed only in /usr/include/pl, which, # IMHO, is a bug (https://bugzilla.redhat.com/show_bug.cgi?id=471071). SWI_PROLOG_INCLUDE_OPTIONS="-I${swi_prolog_base}/include -I/usr/include/pl" @@ -79,7 +88,9 @@ main() { AC_LANG_POP(C++) CPPFLAGS="$ac_save_CPPFLAGS" SWI_PROLOG="$swi_prolog" + SWI_PROLOG_LD="$swi_prolog_ld" AC_SUBST(SWI_PROLOG) + AC_SUBST(SWI_PROLOG_LD) AC_SUBST(SWI_PROLOG_INCLUDE_OPTIONS) AC_SUBST(SWI_PROLOG_LD_OPTIONS) fi

1 0

Exponential behavior in ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron
by Sebastian Pop 09 Mar '10

09 Mar '10

Hi, there seems to be an exponential behavior when calling ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (&ps, context); to build the scop context for the 437.leslie3d benchmark: (gdb) p debug_ppl_polyhedron_matrix (context) 42 23 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2147483648 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2147483647 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 9223372036854775807 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 9223372036854775808 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 9223372036854775807 $35 = void this is equivalent to -2147483648 <= p0 <= 2147483647 -9223372036854775808 <= p1 <= 9223372036854775807 etc. For now, I am thinking to limit the scops that we are handling based on the number of parameters that we have to handle to avoid for now this kind of problems. Roberto, is there some other output more interesting for the PPL folks and that I should report? Thanks, Sebastian PS: here is a backtrace after I stopped the execution randomly (gdb) bt #0 0x00002aaaab4d7f83 in Parma_Polyhedra_Library::subset_or_equal(Parma_Polyhedra_Library::Bit_Row const&, Parma_Polyhedra_Library::Bit_Row const&) () from /usr/lib/libppl.so.7 #1 0x00002aaaab4da9c0 in Parma_Polyhedra_Library::Polyhedron::conversion(Parma_Polyhedra_Library::Linear_System&, unsigned long, Parma_Polyhedra_Library::Linear_System&, Parma_Polyhedra_Library::Bit_Matrix&, unsigned long) () from /usr/lib/libppl.so.7 #2 0x00002aaaab4dc16b in Parma_Polyhedra_Library::Polyhedron::minimize(bool, Parma_Polyhedra_Library::Linear_System&, Parma_Polyhedra_Library::Linear_System&, Parma_Polyhedra_Library::Bit_Matrix&) () from /usr/lib/libppl.so.7 #3 0x00002aaaab497620 in Parma_Polyhedra_Library::Polyhedron::update_generators() const () from /usr/lib/libppl.so.7 #4 0x00002aaaab0ff407 in ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron () from /usr/lib/libppl_c.so.2 #5 0x00000000010188c6 in build_scop_context (scop=0x19f0390) at ../../gcc/graphite-sese-to-poly.c:1554

3 2

[GIT] ppl/ppl(floating_point): Fixed documentation files.
by Roberto Amadini 08 Mar '10

08 Mar '10

Module: ppl/ppl Branch: floating_point Commit: 97bd553465561f16c14e291cc942004cc534df86 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd55346556… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Mar 8 21:10:04 2010 +0100 Fixed documentation files. --- doc/definitions.dox | 2 ++ doc/devref.doxyconf-html.in | 7 ++++++- 2 files changed, 8 insertions(+), 1 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 48fd25d..d3d4756 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2637,6 +2637,8 @@ Generic concrete floating point expressions on \f$\mathbb{F}_t\f$ are represented by the \link Parma_Polyhedra_Library::Floating_Point_Expression \c Floating_Point_Expression \endlink abstract class. Its concrete derivate classes are: + - \link Parma_Polyhedra_Library::Cast_Floating_Point_Expression \c + Cast_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Constant_Floating_Point_Expression \c Constant_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Variable_Floating_Point_Expression \c diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 534aa10..e8148db 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -328,25 +328,30 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Floating_Point_Expression.templates.hh \ @srcdir@/../src/Cast_Floating_Point_Expression.types.hh \ @srcdir@/../src/Cast_Floating_Point_Expression.defs.hh \ - @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.types.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.inlines.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.types.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Difference_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Difference_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Division_Floating_Point_Expression.types.hh \ @srcdir@/../src/Division_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Division_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Division_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.types.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Multiplication_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Multiplication_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.types.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Opposite_Floating_Point_Expression.inlines.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.types.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Sum_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Sum_Floating_Point_Expression.templates.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.types.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Variable_Floating_Point_Expression.inlines.hh \

1 0