September 2008 - PPL-devel - BUGSENG Mailman

ppl/src Float.inlines.hh
by Roberto Bagnara 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-24 08:59:14 Modified files: src : Float.inlines.hh Log message: Use the PPL_SUPPORTED_* macros in order to check whether particular floating point types are supported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.inlines.hh.diff?cvs…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-24 08:58:21 Modified files: src : MIP_Problem.cc Log message: Temporarily, if doubles are unavailable use floats, if floats are unavailable use long doubles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-24 08:46:49 Modified files: doc : Makefile.am Log message: Added missing dependency and corrected doxygen input file for Java devref. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Prolog/tests Makefile.am
by Enea Zaffanella 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-24 08:21:27 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Corrected typo in dependency name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

w3ppl/htdocs/templates choicestrip.tmpl
by Roberto Bagnara 24 Sep '08

24 Sep '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-09-24 07:20:28 Modified files: htdocs/templates: choicestrip.tmpl Log message: Added the "Stop Software Patents" banner. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/templates/choicestri…

1 0

Re: [PPL-devel] New Parma Polyhedra Library packages
by Roberto Bagnara 23 Sep '08

23 Sep '08

Matthias Klose wrote: > Hi, we did need the packages as a build dependency for gcc-snapshot > (trunk). the testsuite is run, but we don't abort the build on > errors. see the build logs at http://buildd.debian.org/build.php?pkg=ppl, Hi Matthias, I have checked the build logs, but `make check' does not seem to be run. In contrast, `make world' is run into the `doc' subdirectory: this generates tons of developer references that I doubt are of any interest to the ordinary user. If you can let us know which kind of documentation you want to include in the package, we can advise. Concerning tests, I think it is very important that `make check' is run on each architecture to make sure there are no problems: perhaps not on every build (since it is a very heavy procedure), but at least before any release. > current bug reports at http://bugs.debian.org/src:ppl. I had a look at them: I have fixed one in CVS (the next PPL 0.10 snapshot will come in a few days). For the other bug, I have offered help. In general, at least for the PPL, reporting the bugs upstream is the quickest way to have them fixed. > I hope that Arthur Loiret can provide access to an alpha machine. Note > that Debian conigures gcc on alpha to include -mieee by default. for > testing you'll find other gcc versions installed on this machine > (gcc-4.x). Notice that -mieee is not enough: according to the GCC documentation you need -mieee-with-inexact, and even that is not enough to obtain full IEEE 754 compliance (see http://gcc.gnu.org/ml/gcc/2008-09/msg00400.html). We are testing right now a new configuration procedure that should be able to detect and work around such bogus implementations of floats. Concerning the access to machines, thanks to FSF Europe we have access to an Alpha. What we miss, is access to the following: ia64, hppa, arm, s390, mips, mipsel, sparc (but we have sparc64), armel, and m68k. 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

2 1

ppl/interfaces/Prolog/tests Makefile.am
by Patricia Hill 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-23 22:12:01 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Generated tests are now removed by makeclean. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl TODO
by Roberto Bagnara 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-23 21:53:25 Modified files: . : TODO Log message: Added one item for PPL 0.11. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0

ppl/tests/Box difference1.cc
by Patricia Hill 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-23 21:48:31 Modified files: tests/Box : difference1.cc Log message: Completed a comment for test14. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc.diff…

1 0

ppl/m4 ac_cxx_float_binary_format.m4
by Roberto Bagnara 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-23 21:20:55 Modified files: m4 : ac_cxx_float_binary_format.m4 Log message: Test strengthened to check also a couple of denormal values. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_binary_format…

1 0