- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Message improved.
by Roberto Bagnara 21 Jun '12

21 Jun '12

Module: ppl/ppl Branch: master Commit: b7d8c73d0c82b2d7556f688c183319024f349d76 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7d8c73d0c82… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 21 07:04:50 2012 +0200 Message improved. --- m4/m4.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/m4/m4.m4 b/m4/m4.m4 index f27d8c0..3b6fcc6 100644 --- a/m4/m4.m4 +++ b/m4/m4.m4 @@ -26,7 +26,7 @@ AC_PATH_PROGS_FEATURE_CHECK([M4], [m4 gm4 gnum4], && ac_cv_path_M4=$ac_path_M4 ac_path_M4_found=: rm -f conftest.m4f], [AC_MSG_ERROR([no acceptable m4 could be found in \$PATH. -GNU M4 1.4.5 or later is required; 1.4.11 is recommended])])]) +GNU M4 1.4.5 or later is required; 1.4.11 or later is recommended])])]) M4=$ac_cv_path_M4 AC_CACHE_CHECK([how m4 supports trace files], [ac_cv_prog_gnu_m4_debugfile], [case `$M4 --help < /dev/null 2>&1` in

1 0

[GIT] ppl/ppl(master): Fixed a couple of Doxygen references.
by Enea Zaffanella 20 Jun '12

20 Jun '12

Module: ppl/ppl Branch: master Commit: 2cd23c6f58fa98abf5d4a5f0fbb9419effae0dbb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cd23c6f58fa… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jun 20 12:37:05 2012 +0200 Fixed a couple of Doxygen references. --- interfaces/C/ppl_c_header.h | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index c9d7e21..9c95f3f 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -597,7 +597,7 @@ PPL_TYPE_DECLARATION(Constraint_System) The types and functions for constraint systems iterators provide read-only access to the elements of a constraint system by interfacing - \extref{Parma_Polyhedra_Library::Constraint_System::const_iterator, + \extref{Parma_Polyhedra_Library::Constraint_System_const_iterator, Constraint_System::const_iterator}. */ PPL_TYPE_DECLARATION(Constraint_System_const_iterator) @@ -627,7 +627,7 @@ PPL_TYPE_DECLARATION(Generator_System) The types and functions for generator systems iterators provide read-only access to the elements of a generator system by interfacing - \extref{Parma_Polyhedra_Library::Generator_System::const_iterator, + \extref{Parma_Polyhedra_Library::Generator_System_const_iterator, Generator_System::const_iterator}. */ PPL_TYPE_DECLARATION(Generator_System_const_iterator)

1 0

[GIT] ppl/ppl(master): Mentioned a bug corrected.
by Enea Zaffanella 20 Jun '12

20 Jun '12

Module: ppl/ppl Branch: master Commit: ea7568f11af3987910390e3e636ea21e3bebfc2e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea7568f11af3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jun 20 12:25:57 2012 +0200 Mentioned a bug corrected. --- NEWS | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 8c2be8d..5286ce9 100644 --- a/NEWS +++ b/NEWS @@ -27,6 +27,14 @@ o Added a generic interface for sequences of coefficients enabling a Bugfixes ======== +o Fixed a bug affecting methods + + bool BD_Shape<T>::contains(const BD_Shape& y) const; + bool Octagonal_Shape<T>::contains(const Octagonal_Shape& y) const; + + whereby the wrong result was obtained when *this is an empty + weakly-relational shape and y is not empty. + o Fixed a bug affecting the PIP solver whereby a wrong result could have been obtained if the input constraint system contained multiple linear equality constraints.

1 0

PPL requires a recent version of m4
by Jeroen Demeyer 20 Jun '12

20 Jun '12

Dear PPL developers, The PPL library requires a recent version of GNU m4, but this isn't documented anywhere as far as I can tell, certainly not here: http://bugseng.com/products/ppl/requirements http://bugseng.com/products/ppl/portability In particular, it fails to configure on OS X 10.4: $ ./configure checking build system type... powerpc-apple-darwin8.11.0 checking host system type... powerpc-apple-darwin8.11.0 [...] checking for GNU M4 that supports accurate traces... configure: error: no acceptable m4 could be found in $PATH. GNU M4 1.4.5 or later is required; 1.4.11 is recommended $ m4 --version GNU m4 1.4.2 Do the m4-generated files depend on the architecture? If not, you could simply ship them with PPL and not require m4. Saluti, Jeroen.

2 1

[GIT] ppl/ppl(master): Fixed copy-and-paste mistake.
by Roberto Bagnara 19 Jun '12

19 Jun '12

Module: ppl/ppl Branch: master Commit: 57fc492201a822a7c0385b886ad32d2d8ec8d784 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57fc492201a8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jun 19 08:03:16 2012 +0200 Fixed copy-and-paste mistake. (Thanks to Christian Luidolt.) --- m4/ac_check_gmp.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4 index 2d5fd65..5ceb585 100644 --- a/m4/ac_check_gmp.m4 +++ b/m4/ac_check_gmp.m4 @@ -49,7 +49,7 @@ fi if test -n "$with_gmp_lib" then - gmp_library_paths="$with_gmp_lib/lib" + gmp_library_paths="$with_gmp_lib" gmp_library_options="-L$gmp_library_paths" fi

1 0

Problem when compiling ppl 0.12.1 on Mac OSX 10.4
by Ardillas del Monte 18 Jun '12

18 Jun '12

Hi, I'm trying to compile ppl 0.12.1 on OSX 10.4 (aka Tiger) and I'm getting this error: src/Congruence_System.cc: In member function 'void Parma_Polyhedra_Library::Congruence_System::insert(const Parma_Polyhedra_Library::Congruence_System&)': src/Congruence_System.cc:183: error: no matching function for call to 'swap(Parma_Polyhedra_Library::Dense_Row&, Parma_Polyhedra_Library::Congruence&)' Basically, Tiger is complaining there's no way to call std:swap() with a Dense_Row object and a Congruence object. I tried to replace the swap() call, hand-coding what it's expected to do, but then the compiler also complains about the assignment operator between such objects, and it won't compile (I tried both using a Dense_Row object and a Congruence object as the temporary object for the swapping, but both approaches failed). Do you guess some way of rewriting such swap() call so that it would compile on my machine? Btw, yes, I know, Tiger is old, and yes, I can use a newer machine, but if you imagine a way of compiling that line it will be of great help because this is my machine at home. TIA ardi

2 1

Zobacz najnowsze Oferty Pracy w IT
by bagnara＠cs.unipr.it 12 Jun '12

12 Jun '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> Wielka szansa! Nasza firma jest firmą doradztwa finansowego, które spotyka się ze skomplikowanymi problemami, jakie często nie mają łatwych odpowiedzi. Poszukujemy zmotywowanych kandydatów z szerokiej gamy środowisk, aby pomóc nam rozwiązać krytyczne dylematy biznesowe. Obecnie poszukujemy na stannowisko w pół etatu osoby z różnym doświadczeniem i silną chęcią do pracy. Kandydaci, mające 2-3 godzinę wolnego czasu dziennie i posiadające obywatelstwo europejskie preferują się. Oferujemy konkurencyjne wynagrodzenie na podstawie doświadczenia, swobodnego wyboru godzin pracy i w pełni opłacone szkolenia podczas okresu próbnego. Obowiązki przedstawiciela regionalnego będą obejmować pracę z klientami zapewniając im odpowiednią usługę, uaktualnianie bazy danych, pomoc w określonej działalności firmy. Gwarantujemy rost osobisty i zawodowy; na pewno będziecie zdobywać doświadczenie i co jest naprawdę ważne będziecie mieć istotny dochód. Jest to wasza szansa zrobić coś więcej, dowiedzieć się więcej, i stać się kimś większym. Co najważniejsze, będziecie miały możliwość stać się częścią z jedną z największych i najszybciej rozwijających się firm na całym świecie. Aby wyrazić swoje zainteresowanie w powyższym wakacie, proszę podać nam swoje dane kontaktowe, takie jak: Imię i nazwisko Wasz adres e-mail Numer telefonu. Nasz e-mail: admin(a)warszawaitpl.com,Nasz asystent ds. personelu przeprowadzi wstępną rozmowę z wami przez telefon i poda bardziej szczegółowych informacji na temat tej pozycji. Mamy dokładnie to, czego szukacie! </BODY></HTML>

1 0

[GIT] ppl/ppl(master): Fixed a bug affecting method contains() of weakly-relational shapes.
by Enea Zaffanella 23 May '12

23 May '12

Module: ppl/ppl Branch: master Commit: e27c255a163af8d1ca70494be28ccfb22984b7e9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e27c255a163a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed May 23 16:25:11 2012 +0200 Fixed a bug affecting method contains() of weakly-relational shapes. --- src/BD_Shape.templates.hh | 18 +++++++++--------- src/Octagonal_Shape.templates.hh | 17 +++++++++-------- 2 files changed, 18 insertions(+), 17 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index d655cd6..f14bae4 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -596,15 +596,12 @@ BD_Shape<T>::contains(const BD_Shape& y) const { if (x_space_dim != y.space_dimension()) throw_dimension_incompatible("contains(y)", y); - // The zero-dimensional universe shape contains any other - // dimension-compatible shape. - // The zero-dimensional empty shape only contains another - // zero-dimensional empty shape. if (x_space_dim == 0) { - if (!marked_empty()) - return true; - else - return y.marked_empty(); + // The zero-dimensional empty shape only contains another + // zero-dimensional empty shape. + // The zero-dimensional universe shape contains any other + // zero-dimensional shape. + return marked_empty() ? y.marked_empty() : true; } /* @@ -630,11 +627,14 @@ BD_Shape<T>::contains(const BD_Shape& y) const { that containment does hold. */ y.shortest_path_closure_assign(); - // An empty shape is contained in any other dimension-compatible shapes. if (y.marked_empty()) return true; + // If `x' is empty it can not contain `y' (which is not empty). + if (x.is_empty()) + return false; + // `*this' contains `y' if and only if every cell of `dbm' // is greater than or equal to the correspondent one of `y.dbm'. for (dimension_type i = x_space_dim + 1; i-- > 0; ) { diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 705ef69..817c158 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -1133,15 +1133,12 @@ Octagonal_Shape<T>::contains(const Octagonal_Shape& y) const { if (space_dim != y.space_dim) throw_dimension_incompatible("contains(y)", y); - // The zero-dimensional universe octagon contains any other - // dimension-compatible octagon. - // The zero-dimensional empty octagon only contains another - // zero-dimensional empty octagon. if (space_dim == 0) { - if (!marked_empty()) - return true; - else - return y.marked_empty(); + // The zero-dimensional empty octagon only contains another + // zero-dimensional empty octagon. + // The zero-dimensional universe octagon contains any other + // zero-dimensional octagon. + return marked_empty() ? y.marked_empty() : true; } // `y' needs to be transitively closed. @@ -1150,6 +1147,10 @@ Octagonal_Shape<T>::contains(const Octagonal_Shape& y) const { if (y.marked_empty()) return true; + // If `*this' is empty it can not contain `y' (which is not empty). + if (is_empty()) + return false; + // `*this' contains `y' if and only if every element of `*this' // is greater than or equal to the correspondent one of `y'. for (typename OR_Matrix<N>::const_element_iterator

1 0

[GIT] ppl/ppl(master): Added tests showing a bug in method contains() of weakly-relational shapes.
by Enea Zaffanella 23 May '12

23 May '12

Module: ppl/ppl Branch: master Commit: 5e45d91a1e7eec00093fb90902f3394c9b183935 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e45d91a1e7e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed May 23 16:23:01 2012 +0200 Added tests showing a bug in method contains() of weakly-relational shapes. Method returns a wrong result when the shape is empty and the other argument is not empty. Tests are based on a bug report from Gianluca Amato. --- tests/BD_Shape/contains1.cc | 19 +++++++++++++++++++ tests/Octagonal_Shape/contains1.cc | 29 ++++++++++++++++++++++++++--- 2 files changed, 45 insertions(+), 3 deletions(-) diff --git a/tests/BD_Shape/contains1.cc b/tests/BD_Shape/contains1.cc index 36e2c4f..e434d97 100644 --- a/tests/BD_Shape/contains1.cc +++ b/tests/BD_Shape/contains1.cc @@ -172,6 +172,24 @@ test06() { return !contained; } +bool +test07() { + TBD_Shape bds1(3, EMPTY); + + print_constraints(bds1, "*** bds1 ***"); + + TBD_Shape bds2(3, UNIVERSE); + + print_constraints(bds2, "*** bds2 ***"); + + bool contained = bds1.contains(bds2); + + nout << "*** bds1.contains(bds2) ***" << endl; + nout << (contained ? "true" : "false") << endl; + + return !contained; +} + } // namespace BEGIN_MAIN @@ -181,4 +199,5 @@ BEGIN_MAIN DO_TEST(test04); DO_TEST(test05); DO_TEST(test06); + DO_TEST(test07); END_MAIN diff --git a/tests/Octagonal_Shape/contains1.cc b/tests/Octagonal_Shape/contains1.cc index 21b7c5a..649f3ea 100644 --- a/tests/Octagonal_Shape/contains1.cc +++ b/tests/Octagonal_Shape/contains1.cc @@ -245,20 +245,24 @@ test07() { bool test08() { - TOctagonal_Shape oc1(0); + TOctagonal_Shape oc1(3, UNIVERSE); print_constraints(oc1, "*** oc1 ***"); - TOctagonal_Shape oc2(0, EMPTY); + TOctagonal_Shape oc2(3, EMPTY); print_constraints(oc2, "*** oc2 ***"); bool contained = oc1.contains(oc2); + bool strictly_contained = oc1.strictly_contains(oc2); nout << "*** oc1.contains(oc2) ***" << endl; nout << (contained ? "true" : "false") << endl; - return contained; + nout << "*** oc1.strictly_contains(oc2) ***" << endl; + nout << (strictly_contained ? "true" : "false") << endl; + + return contained && strictly_contained; } bool @@ -333,6 +337,24 @@ test11() { return !contained; } +bool +test12() { + TOctagonal_Shape oc1(3, EMPTY); + + print_constraints(oc1, "*** oc1 ***"); + + TOctagonal_Shape oc2(3, UNIVERSE); + + print_constraints(oc2, "*** oc2 ***"); + + bool contained = oc1.contains(oc2); + + nout << "*** oc1.contains(oc2) ***" << endl; + nout << (contained ? "true" : "false") << endl; + + return !contained; +} + } // namespace BEGIN_MAIN @@ -347,4 +369,5 @@ BEGIN_MAIN DO_TEST(test09); DO_TEST(test10); DO_TEST(test11); + DO_TEST(test12); END_MAIN

1 0

A bug for the Octagonal_Shape class
by Gianluca Amato 23 May '12

23 May '12

Hi all, I have discovered a bug in the "striclty_contains" method for the Octagonal_Shape class. The following piece of code Octagonal_Shape<double> o1(3,UNIVERSE); Octagonal_Shape<double> o2(3,EMPTY); bool result = o1.strictly_contains(o2); ends with result==false instead of result==true. Note that method "contains" works. The bug is both in the released versions and in the git. --gianluca

2 1