September 2008 - PPL-devel - BUGSENG Mailman

ppl configure.ac configure.repo
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 20:52:55 Modified files: . : configure.ac configure.repo Log message: New Autoconf variable `required_instantiations_prolog_generated_test_sources'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p…

1 0

ppl/tests/Box difference1.cc
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 20:49:24 Modified files: tests/Box : difference1.cc Log message: Print statements improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc.diff…

1 0

Re: [PPL-devel] libppl7: tries to overwrite file owned by libppl6
by Roberto Bagnara 23 Sep '08

23 Sep '08

[Concerning http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499832] I am not sure I understand what the problem is. However, please let us know if we, upstream, can do something to help you. From the error message, I gather that there is a conflict on ppl_lpsol.1, which is the man page of a demo program of the PPL. This program should probably be in a separate package. For example, it is in ppl-utils in Fedora. In other words, ppl_lpsol (and of course its man page) are not needed to use the PPL. Anyway, please feel free to come discuss this and other issues on ppl-devel(a)cs.unipr.it. We are only a few weeks from the release of PPL 0.10, but we will do all what we can to simplify the life of packagers. 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

Re: [PPL-devel] ppl ftbfs on arm
by Roberto Bagnara 23 Sep '08

23 Sep '08

[Concerning http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746] This should be fixed in CVS HEAD. A new PPL 0.10 snapshot will appear in the next few days at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ Please do report all PPL bugs to ppl-devel(a)cs.unipr.it 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

ppl/m4 ac_cxx_ieee_inexact_flag.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 20:31:26 Modified files: m4 : ac_cxx_ieee_inexact_flag.m4 Log message: Cater for the case where the FE_INEXACT macro is undefined. This should fix the bug described in http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_ieee_inexact_flag.m…

1 0

ppl/src Box.templates.hh
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 20:29:57 Modified files: src : Box.templates.hh Log message: Box<ITV>::difference_assign(const Box&) slightly optimized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box difference1.cc
by Abramo Bagnara 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-09-23 19:36:44 Modified files: tests/Box : difference1.cc Log message: test14 does not fail now. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc.diff…

1 0

ppl/src Interval.inlines.hh
by Abramo Bagnara 23 Sep '08

23 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-09-23 19:34:56 Modified files: src : Interval.inlines.hh Log message: Added missing clear. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/tests/Box difference1.cc
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 19:08:36 Modified files: tests/Box : difference1.cc Log message: Print statements of test14() revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc.diff…

1 0

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 18:51:19 Modified files: interfaces/Prolog/tests: Makefile.am Log message: Corrected the name of a test file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0