November 2010 - PPL-devel - BUGSENG Mailman

ppl-0.11 configure warning
by Livingstone, Paul＠ARB 09 Nov '10

09 Nov '10

Dear PPL developer, Following the instructions in the config.log from configuring PPL-0.11 for updating gcc on a linux machine running Redhat Linux OS version 5.4, I am reporting that there were warnings on the following five header files: (1) fenv.h (2) getopt.h (3) signal.h (4) sys/resource.h (5) sys/time.h The warning messages were: "present but cannot be compiled\n check for missing prerequisite headers?\n see the Autoconf documentation\n section "Present But Cannot Be Compiled"\n proceeding with the compiler's result\n" Your attention will be appreciated. Sincerely, Paul Dr. Paul Livingstone Staff Air Pollution Specialist California Air Resources Board Sacramento, CA 95812 Phone: (916) 327-8543

2 1

[GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point
by Roberto Bagnara 07 Nov '10

07 Nov '10

Module: ppl/ppl Branch: floating_point Commit: d711641e727be3d69ca817a6bdac006b88d2cd8c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d711641e727b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 7 14:50:31 2010 +0100 Merge branch 'master' into floating_point ---

1 0

[GIT] ppl/ppl(floating_point): Properly quote the assignment MAKE=$(MAKE).
by Roberto Bagnara 07 Nov '10

07 Nov '10

Module: ppl/ppl Branch: floating_point Commit: 5eb5954e1de39e24dd82ad553a8a06334f8ed607 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5eb5954e1de3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Oct 21 19:52:38 2010 +0200 Properly quote the assignment MAKE=$(MAKE). (Thanks to Volker Braun.) --- tests/BD_Shape/Makefile.am | 2 +- tests/Box/Makefile.am | 2 +- tests/Octagonal_Shape/Makefile.am | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/BD_Shape/Makefile.am b/tests/BD_Shape/Makefile.am index 0f69dc0..5cab708 100644 --- a/tests/BD_Shape/Makefile.am +++ b/tests/BD_Shape/Makefile.am @@ -124,7 +124,7 @@ TESTS = run_tests.stamp .PHONY: run_tests.stamp run_tests.stamp: run_tests - +MAKE=$(MAKE) $(srcdir)/run_tests + +MAKE="$(MAKE)" $(srcdir)/run_tests echo "true" >run_tests.stamp chmod +x run_tests.stamp diff --git a/tests/Box/Makefile.am b/tests/Box/Makefile.am index 16cfbfc..cdb5618 100644 --- a/tests/Box/Makefile.am +++ b/tests/Box/Makefile.am @@ -128,7 +128,7 @@ TESTS = run_tests.stamp .PHONY: run_tests.stamp run_tests.stamp: run_tests - +MAKE=$(MAKE) $(srcdir)/run_tests + +MAKE="$(MAKE)" $(srcdir)/run_tests echo "true" >run_tests.stamp chmod +x run_tests.stamp diff --git a/tests/Octagonal_Shape/Makefile.am b/tests/Octagonal_Shape/Makefile.am index c0fd9a3..a889eb5 100644 --- a/tests/Octagonal_Shape/Makefile.am +++ b/tests/Octagonal_Shape/Makefile.am @@ -131,7 +131,7 @@ TESTS = run_tests.stamp .PHONY: run_tests.stamp run_tests.stamp: run_tests - +MAKE=$(MAKE) $(srcdir)/run_tests + +MAKE="$(MAKE)" $(srcdir)/run_tests echo "true" >run_tests.stamp chmod +x run_tests.stamp

1 0

[GIT] ppl/ppl(floating_point): Updated list of bug fixes.
by Enea Zaffanella 07 Nov '10

07 Nov '10

Module: ppl/ppl Branch: floating_point Commit: 91b316106e1d492b61ef2c6f73596fb9114eac3e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91b316106e1d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Oct 19 09:10:47 2010 +0200 Updated list of bug fixes. --- NEWS | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index eca7a4d..fdf1630 100644 --- a/NEWS +++ b/NEWS @@ -27,6 +27,14 @@ o The input routine for PPL numeric datatypes has been extended to Bugfixes ======== +o Corrected a precision bug in method + + Octagonal_Shape<T>::affine_image() + + whereby in the case of an invertible affine transformation implementing + a variable sign symmetry (and optional translation), the computed result + was correct but unnecessarily imprecise. + o Corrected an efficiency bug in the C language interface function ppl_Linear_Expression_add_to_coefficient().

1 0