July 2007 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 17 Jul '07

17 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-07-17 08:04:48 Modified files: . : TODO Log message: Remember to have a look at http://www.inf.ethz.ch/personal/gonnet/FPAccuracy/Analysis.html especially at the "Surprises" section, where it talks about rounding problems for division and multiplication on Pentium/AMD. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 16 Jul '07

16 Jul '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-07-16 09:50:23 Modified files: htdocs : news.raw ppl.raw Log message: Announce the availability of PPL 0.9 in Fedora 7. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

PPL 0.9 is now in Fedora 7
by Roberto Bagnara 16 Jul '07

16 Jul '07

The core development team is very pleased to announce the availability of PPL 0.9 in Fedora 7. This is part of an ongoing effort to make the Parma Polyhedra Library available (also in binary form) on the major software platforms [1]. Special thanks are due to Michael Schwendt and Mamoru Tasaka for all the assistance they gave us. The (more than obsolete) RPM packages available from the PPL download page will soon be removed. We hope to release PPL 0.10 (with lots of new interesting features) by the end of the year. All the best, Roberto Bagnara <bagnara(a)cs.unipr.it> Patricia M. Hill <hill(a)comp.leeds.ac.uk> Enea Zaffanella <zaffanella(a)cs.unipr.it> [1] If there are platforms you care more than others, please let us know. If you have expertise in building packages for platforms other than Fedora 7 and would like to share your knowledge with us, please get in touch. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

Re: [PPL-devel] JNI and PPL
by Roberto Bagnara 16 Jul '07

16 Jul '07

Jason Belt wrote: > I am interested in using PPL in a Java program via a jni interface and > noticed that the cvs repository seems to already contain such an > interface. I downloaded the latest version from the repository and saw > that there isn't a configure script available. When I run autoconf I > receive several errors regarding undefined macros such as the following > > configure.ac:39: error: possibly undefined macro: AM_INIT_AUTOMAKE > If this token and others are legitimate, please use m4_pattern_allow. > See the Autoconf documentation. > configure.ac:225: error: possibly undefined macro: AM_CONDITIONAL > configure.ac:516: error: possibly undefined macro: AC_CHECK_FPU_CONTROL > ... > > > I'm not sure how to fix the errors as I'm rather new to autotools. Is > there a guide on how to build ppl from the cvs source rather than from a > release build? Dear Jason, you should first check the requirements for ordinary users and for developers listed at http://www.cs.unipr.it/ppl/Download/requirements Then, after you have checked out the sources, type autoreconf -f in the sources' root directory. Use this command every time a `cvs update' reveals something has changed in the repository. (Note: neither the `-f' nor using `autoreconf' at each update are really necessary. But it is our experience that giving these instructions to those that are not familiar with Autotools will save them time.) Please direct all correspondence to ppl-devel(a)cs.unipr.it, let us know what you are doing with the PPL, and do no hesitate to contact us: the Java interface is pretty new and we are looking for feedback. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 16 Jul '07

16 Jul '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-07-16 09:20:22 Modified files: htdocs/Download: requirements.raw Log message: Updated the versions of Autotools we are currently using. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

[Fwd: JNI and PPL]
by Roberto Bagnara 16 Jul '07

16 Jul '07

-------- Original Message -------- Subject: JNI and PPL Date: Sun, 15 Jul 2007 17:40:19 -0500 From: Jason Belt <belt(a)ksu.edu> To: bagnara(a)cs.unipr.it Roberto Bagnara, I am interested in using PPL in a Java program via a jni interface and noticed that the cvs repository seems to already contain such an interface. I downloaded the latest version from the repository and saw that there isn't a configure script available. When I run autoconf I receive several errors regarding undefined macros such as the following configure.ac:39: error: possibly undefined macro: AM_INIT_AUTOMAKE If this token and others are legitimate, please use m4_pattern_allow. See the Autoconf documentation. configure.ac:225: error: possibly undefined macro: AM_CONDITIONAL configure.ac:516: error: possibly undefined macro: AC_CHECK_FPU_CONTROL ... I'm not sure how to fix the errors as I'm rather new to autotools. Is there a guide on how to build ppl from the cvs source rather than from a release build? Thanks you, Jason Belt Kansas State University -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[Fwd: [Fedora Update] [moved] ppl-0.9-12.fc7]
by Roberto Bagnara 14 Jul '07

14 Jul '07

-------- Original Message -------- Subject: [Fedora Update] [moved] ppl-0.9-12.fc7 Date: Thu, 12 Jul 2007 16:37:13 -0700 From: updates(a)fedoraproject.org To: bagnara(a)bastion.fedora.phx.redhat.com The following update has been moved from Testing to Stable: ================================================================================ ppl-0.9-12.fc7 ================================================================================ Update ID: FEDORA-2007-0873 Release: Fedora 7 Status: stable Type: enhancement Request: move Bugs: 227669 - Review Request: ppl - A modern C++ library providing numerical abstractions Notes: The Parma Polyhedra Library (PPL) is a library for the manipulation : of (not necessarily closed) convex polyhedra and : other numerical abstractions. The applications of : convex polyhedra include program analysis, optimized : compilation, integer and combinatorial optimization : and statistical data-editing. The Parma Polyhedra : Library comes with several user friendly interfaces, : is fully dynamic (available virtual memory is the : only limitation to the dimension of anything), : written in accordance to all the applicable standards, : exception-safe, rather efficient, thoroughly : documented, and free software. Submitter: bagnara Submitted: 2007-07-05 08:16:24 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/doc Makefile.am
by Enea Zaffanella 13 Jul '07

13 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-07-13 15:12:08 Modified files: doc : Makefile.am Log message: The foreign language interface manuals in HTML format depend on the corresponding core manuals (due to the use of Doxygen generated tag files). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl ./COPYING ./Makefile.am ./README ./README. ...
by Roberto Bagnara 12 Jul '07

12 Jul '07

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 11 Jul '07

11 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2007-07-11 16:16:07 Modified files: src : Interval.defs.hh Log message: Fixed typo. Removed Is_Singleton_Or_Interval. Added Is_Singleton and Is_Interva. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0