June 2012 - PPL-devel - BUGSENG Mailman

[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