April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_10-branch): Fixed reference to CLPQ_TESTS.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 3f636cea7494dc4d149293a3298809530fd3f411 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f636cea7494… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 08:25:21 2009 +0200 Fixed reference to CLPQ_TESTS. --- interfaces/Prolog/XSB/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 1c6d5f5..a0ce9f2 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -231,7 +231,7 @@ endif !ASSERTIONS_ENABLED $(CLPQ_TESTS): cp -f $(srcdir)/../tests/$@ . -check-local: libppl_xsb.la xsb_clpq.P ../tests/clpq.pl ../tests/script_clpq xsb_clpq2.P ../tests/clpq2.pl ../tests/script_clpq2 pl_check_test ppl_prolog_generated_test (CLPQ_TESTS) +check-local: libppl_xsb.la xsb_clpq.P ../tests/clpq.pl ../tests/script_clpq xsb_clpq2.P ../tests/clpq2.pl ../tests/script_clpq2 pl_check_test ppl_prolog_generated_test $(CLPQ_TESTS) if [ $(abs_srcdir) != `pwd` ]; then \ cp -f $(srcdir)/xsb_clpq.P . ; \ fi

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/ppl Branch: master Commit: 8707f62b598769d6802282c5f762b63b607ed109 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8707f62b5987… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 08:37:36 2009 +0200 Updated. --- ChangeLog | 8 ++++++++ Watchdog/ChangeLog | 4 ++++ 2 files changed, 12 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 330536d..c9acfb8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * interfaces/Prolog/XSB/Makefile.am: Fixed reference to CLPQ_TESTS. + +2009-04-10 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + 2009-04-10 Roberto Bagnara <bagnara(a)cs.unipr.it> * src/checked_float.inlines.hh: Only use fmaf(), fma() and fmal() if diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog index 69c2902..4b7f4b3 100644 --- a/Watchdog/ChangeLog +++ b/Watchdog/ChangeLog @@ -1,3 +1,7 @@ +2009-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + 2009-04-04 Roberto Bagnara <bagnara(a)cs.unipr.it> * Watchdog/NEWS, Watchdog/README, Watchdog/configure.ac,

1 0

[GIT] ppl/ppl(master): Fixed reference to CLPQ_TESTS.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/ppl Branch: master Commit: 3f636cea7494dc4d149293a3298809530fd3f411 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f636cea7494… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 08:25:21 2009 +0200 Fixed reference to CLPQ_TESTS. --- interfaces/Prolog/XSB/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/XSB/Makefile.am b/interfaces/Prolog/XSB/Makefile.am index 1c6d5f5..a0ce9f2 100644 --- a/interfaces/Prolog/XSB/Makefile.am +++ b/interfaces/Prolog/XSB/Makefile.am @@ -231,7 +231,7 @@ endif !ASSERTIONS_ENABLED $(CLPQ_TESTS): cp -f $(srcdir)/../tests/$@ . -check-local: libppl_xsb.la xsb_clpq.P ../tests/clpq.pl ../tests/script_clpq xsb_clpq2.P ../tests/clpq2.pl ../tests/script_clpq2 pl_check_test ppl_prolog_generated_test (CLPQ_TESTS) +check-local: libppl_xsb.la xsb_clpq.P ../tests/clpq.pl ../tests/script_clpq xsb_clpq2.P ../tests/clpq2.pl ../tests/script_clpq2 pl_check_test ppl_prolog_generated_test $(CLPQ_TESTS) if [ $(abs_srcdir) != `pwd` ]; then \ cp -f $(srcdir)/xsb_clpq.P . ; \ fi

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Merge branch 'master' into ppl-0_10-branch
by Roberto Bagnara 10 Apr '09

10 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 5594ca8902abf172edcb6ac835491d47a0b8837a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5594ca8902ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 10 22:40:15 2009 +0200 Merge branch 'master' into ppl-0_10-branch ---

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Version number bumped.
by Roberto Bagnara 10 Apr '09

10 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: c75c07f7c12f89fa9c7c408e4ac946ea46f8e9f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c75c07f7c12f… Author: Roberto Bagnara <roberto(a)freebsd.homenet.telecomitalia.it> Date: Fri Apr 10 21:33:33 2009 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 53c0ac1..eab19fc 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library],[0.10.1pre12],[ppl-devel(a)cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.1pre13],[ppl-devel(a)cs.unipr.it],[ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Updated.
by Roberto Bagnara 10 Apr '09

10 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 8e9f007fa2a5491ee1810e83fc24a6daa2829516 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e9f007fa2a5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 10 22:32:54 2009 +0200 Updated. --- ChangeLog | 51 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 51 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 2c4f321..330536d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,54 @@ +2009-04-10 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/checked_float.inlines.hh: Only use fmaf(), fma() and fmal() if + they are fast. + +2009-04-10 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * configure.ac: Version number bumped. + +2009-04-10 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/checked_float.inlines.hh: Do not use fma(), fmaf() and fmal() + on FreeBSD. fma() does not respect rounding, fmaf() and fmal() may + have the same problem. + +2009-04-09 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * CREDITS: Mentioned the AIDA 2007 project. + +2009-04-09 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * CREDITS: Acknowledge the contribution of HiPEAC. + +2009-04-09 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * CREDITS: Acknowledge the contribution of INRIA. + +2009-04-09 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * CREDITS: Acknowledge the contribution of AMD. Fixed mistaked of + previous commit. + +2009-04-09 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * CREDITS: Acknowledge the contribution of Kenneth MacKenzie. + +2009-04-07 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * tests/Octagonal_Shape/unconstrain1.cc: Disabled test07() on the + Alpha. + +2009-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + +2009-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * devtools/cvs2cl.pl, devtools/git2cl, devtools/update_ChangeLog: + Machinery to generate ChangeLog adapted to Git. This is still + highly unsatisfactory, as it requires manual intervention. + 2009-04-06 Roberto Bagnara <bagnara(a)cs.unipr.it> * configure.ac: Version number bumped.

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Only use fmaf(), fma() and fmal() if they are fast.
by Roberto Bagnara 10 Apr '09

10 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 753671e93149e0d82aef0afcd6279e78711f2cfe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=753671e93149… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 10 22:24:18 2009 +0200 Only use fmaf(), fma() and fmal() if they are fast. --- src/checked_float.inlines.hh | 9 ++++++--- 1 files changed, 6 insertions(+), 3 deletions(-) diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index 828ef0e..6783260 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -34,7 +34,8 @@ namespace Checked { inline float fma(float x, float y, float z) { -#if PPL_HAVE_DECL_FMAF && !defined(__alpha) && !defined(__FreeBSD__) +#if PPL_HAVE_DECL_FMAF && defined(FP_FAST_FMAF) \ + && !defined(__alpha) && !defined(__FreeBSD__) return ::fmaf(x, y, z); #else return x*y + z; @@ -43,7 +44,8 @@ fma(float x, float y, float z) { inline double fma(double x, double y, double z) { -#if PPL_HAVE_DECL_FMA && !defined(__alpha) && !defined(__FreeBSD__) +#if PPL_HAVE_DECL_FMA && defined(FP_FAST_FMA) \ + && !defined(__alpha) && !defined(__FreeBSD__) return ::fma(x, y, z); #else return x*y + z; @@ -52,7 +54,8 @@ fma(double x, double y, double z) { inline long double fma(long double x, long double y, long double z) { -#if PPL_HAVE_DECL_FMAL && !defined(__alpha) && !defined(__FreeBSD__) +#if PPL_HAVE_DECL_FMAL && defined(FP_FAST_FMAL) \ + && !defined(__alpha) && !defined(__FreeBSD__) return ::fmal(x, y, z); #else return x*y + z;

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Do not use fma(), fmaf() and fmal() on FreeBSD.
by Roberto Bagnara 10 Apr '09

10 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: b6a0450ea6bdef2e4aaac3184f0ff42045eb5781 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6a0450ea6bd… Author: Roberto Bagnara <roberto(a)freebsd.homenet.telecomitalia.it> Date: Fri Apr 10 21:31:37 2009 +0200 Do not use fma(), fmaf() and fmal() on FreeBSD. fma() does not respect rounding, fmaf() and fmal() may have the same problem. --- src/checked_float.inlines.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index 16f891f..828ef0e 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -34,7 +34,7 @@ namespace Checked { inline float fma(float x, float y, float z) { -#if PPL_HAVE_DECL_FMAF && !defined(__alpha) +#if PPL_HAVE_DECL_FMAF && !defined(__alpha) && !defined(__FreeBSD__) return ::fmaf(x, y, z); #else return x*y + z; @@ -43,7 +43,7 @@ fma(float x, float y, float z) { inline double fma(double x, double y, double z) { -#if PPL_HAVE_DECL_FMA && !defined(__alpha) +#if PPL_HAVE_DECL_FMA && !defined(__alpha) && !defined(__FreeBSD__) return ::fma(x, y, z); #else return x*y + z; @@ -52,7 +52,7 @@ fma(double x, double y, double z) { inline long double fma(long double x, long double y, long double z) { -#if PPL_HAVE_DECL_FMAL && !defined(__alpha) +#if PPL_HAVE_DECL_FMAL && !defined(__alpha) && !defined(__FreeBSD__) return ::fmal(x, y, z); #else return x*y + z;

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Mentioned the AIDA 2007 project.
by Roberto Bagnara 10 Apr '09

10 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: a786a3fa3e3f0d6b0522dd9dbe16c4a2066faac6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a786a3fa3e3f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 21:41:10 2009 +0200 Mentioned the AIDA 2007 project. --- CREDITS | 16 ++++++++++------ 1 files changed, 10 insertions(+), 6 deletions(-) diff --git a/CREDITS b/CREDITS index 5004e43..7316d9b 100644 --- a/CREDITS +++ b/CREDITS @@ -293,7 +293,7 @@ We are grateful for the following contributions: Linux community [51] for their kind assistance. - HiPEAC [52] sponsored the participation of Roberto Bagnara to the - Graphite Workshop [53. This was very helpful to discuss the needs + Graphite Workshop [53]. This was very helpful to discuss the needs of Graphite [54] (a framework for high-level loop optimizations on the polyhedral model) and, more generally, of GCC [55] in terms of numerical abstractions and how the PPL can help. Special thanks go @@ -325,17 +325,20 @@ projects and organizations: - MURST project ``AIDA - Abstract Interpretation: Design and Applications'' [61]; +- PRIN project ``AIDA 2007 - Abstract Interpretation: Design and + Applications'' [62]; + - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations''; - EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [62]; + ``Numerical Domains for Software Analysis'' [63]; - Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [63]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [64]; - EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [63]. + ``Geometric Abstractions for Scalable Program Analyzers'' [64]. -------- @@ -400,5 +403,6 @@ projects and organizations: [59] http://www.cs.unipr.it/Projects/COFIN01 [60] http://www.disi.unige.it/person/DelzannoG/cover/ [61] http://www.cs.unipr.it/Projects/AIDA/ -[62] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[62] http://www.cs.unipr.it/Projects/AIDA2007/ +[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Acknowledge the contribution of HiPEAC.
by Roberto Bagnara 10 Apr '09

10 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 8e4bc90a2bcaef22c139f0bd18b16f89e8885841 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e4bc90a2bca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 9 21:23:41 2009 +0200 Acknowledge the contribution of HiPEAC. --- CREDITS | 45 ++++++++++++++++++++++++++++----------------- 1 files changed, 28 insertions(+), 17 deletions(-) diff --git a/CREDITS b/CREDITS index 1771859..5004e43 100644 --- a/CREDITS +++ b/CREDITS @@ -292,9 +292,16 @@ We are grateful for the following contributions: architectures. Many thanks to Thibaut Varene [50] and the PA-RISC Linux community [51] for their kind assistance. -- INRIA [52] is supporting Abramo Bagnara from January 1st to May 31st, +- HiPEAC [52] sponsored the participation of Roberto Bagnara to the + Graphite Workshop [53. This was very helpful to discuss the needs + of Graphite [54] (a framework for high-level loop optimizations on + the polyhedral model) and, more generally, of GCC [55] in terms of + numerical abstractions and how the PPL can help. Special thanks go + to Albert Cohen [57] for this sponsorship. + +- INRIA [56] is supporting Abramo Bagnara from January 1st to May 31st, 2009, to work on the PPL and its development infrastructure. - Many thanks go, in particular, to Albert Cohen [53]. + Many thanks go, in particular, to Albert Cohen [57]. Some of our research work has been partly supported by the following @@ -304,31 +311,31 @@ projects and organizations: ``Pure and Applied Mathematics''; - MURST project ``Automatic Program Certification by Abstract - Interpretation'' [54]; + Interpretation'' [58]; - MURST project ``Abstract Interpretation, Type Systems and Control-Flow Analysis''; - MURST project ``Automatic Aggregate- and Number-Reasoning for Computing: from Decision Algorithms to Constraint Programming with Multisets, Sets, - and Maps'' [55]; + and Maps'' [59]; -- MURST project ``Constraint Based Verification of Reactive Systems'' [56]; +- MURST project ``Constraint Based Verification of Reactive Systems'' [60]; - MURST project ``AIDA - Abstract Interpretation: Design and - Applications'' [57]; + Applications'' [61]; - Royal Society Joint project 2004/R1-EU (UK-Italy) ``Automatic Detection of Unstable Numerical Computations''; - EPSRC (UK) project EP/C520726/1 - ``Numerical Domains for Software Analysis'' [58]; + ``Numerical Domains for Software Analysis'' [62]; - Royal Society International Outgoing Short Visit 2007/R4 - ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [59]; + ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [63]; - EPSRC (UK) project EP/G025177/1 - ``Geometric Abstractions for Scalable Program Analyzers'' [59]. + ``Geometric Abstractions for Scalable Program Analyzers'' [63]. -------- @@ -383,11 +390,15 @@ projects and organizations: [49] http://www.esiee.fr/ [50] http://www.parisc-linux.org/~varenet/ [51] http://www.parisc-linux.org/ -[52] http://www.inria.fr/ -[53] http://www-rocq.inria.fr/~acohen/ -[54] http://theory.sci.univr.it/p40/ -[55] http://www.cs.unipr.it/Projects/COFIN01 -[56] http://www.disi.unige.it/person/DelzannoG/cover/ -[57] http://www.cs.unipr.it/Projects/AIDA/ -[58] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html -[59] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html +[52] http://www.hipeac.net/ +[53] http://gcc.gnu.org/wiki/Graphite_Workshop_Nov08 +[54] http://gcc.gnu.org/wiki/Graphite +[55] http://gcc.gnu.org/ +[56] http://www.inria.fr/ +[57] http://www-rocq.inria.fr/~acohen/ +[58] http://theory.sci.univr.it/p40/ +[59] http://www.cs.unipr.it/Projects/COFIN01 +[60] http://www.disi.unige.it/person/DelzannoG/cover/ +[61] http://www.cs.unipr.it/Projects/AIDA/ +[62] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html +[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html

1 0