April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Disabled test10() on the Alpha.
by Roberto Bagnara 13 Apr '09

13 Apr '09

Module: ppl/ppl Branch: master Commit: 4c4abf8f114e92a2cd8867f40b51568fa2444703 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c4abf8f114e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 13 13:10:55 2009 +0000 Disabled test10() on the Alpha. --- tests/Octagonal_Shape/affineimage1.cc | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/affineimage1.cc b/tests/Octagonal_Shape/affineimage1.cc index 5f13405..4d3cf65 100644 --- a/tests/Octagonal_Shape/affineimage1.cc +++ b/tests/Octagonal_Shape/affineimage1.cc @@ -505,7 +505,10 @@ BEGIN_MAIN DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test10); +#endif DO_TEST(test11); DO_TEST(test12); DO_TEST(test13);

1 0

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

12 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 291c4d184c4ba91cb54e6e40d74b884290db99ca URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=291c4d184c4b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 10:43:10 2009 +0200 Merge branch 'master' into ppl-0_10-branch ---

1 0

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

12 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 64d70efe40c253409d12f0159eadb4b95a1f105f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64d70efe40c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 10:39:55 2009 +0200 Updated. --- ChangeLog | 30 ++++++++++++++++++++++++++++++ 1 files changed, 30 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index c9acfb8..a123876 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,33 @@ +2009-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * devtools/generate_dox_biblio.sed, doc/definitions.dox: + Bibliography updated. The generated bibliography required manual + intervention in a few places, also because of a couple of Doxygen + bugs and limitations + (see http://bugzilla.gnome.org/show_bug.cgi?id=578739 and + http://bugzilla.gnome.org/show_bug.cgi?id=578740). + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * interfaces/C/tests/.gitignore, interfaces/Prolog/XSB/.gitignore, + interfaces/Prolog/YAP/.gitignore: Added missing patterns. Removed + obsolete ones. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * .gitignore, Watchdog/doc/.gitignore, doc/.gitignore, + interfaces/Prolog/XSB/.gitignore: Added missing patterns. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * fedora/ppl-0.10-bigendian.patch, fedora/ppl-0.10-configure.patch, + fedora/ppl-0.10.1-Makefile.patch, fedora/ppl.spec: Updated for PPL + 0.10.1. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + 2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> * interfaces/Prolog/XSB/Makefile.am: Fixed reference to CLPQ_TESTS.

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Bibliography updated.
by Roberto Bagnara 12 Apr '09

12 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 1ac6a88a25b74badf7626f7e8c87da43aecd42a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac6a88a25b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 09:31:41 2009 +0200 Bibliography updated. The generated bibliography required manual intervention in a few places, also because of a couple of Doxygen bugs and limitations (see http://bugzilla.gnome.org/show_bug.cgi?id=578739 and http://bugzilla.gnome.org/show_bug.cgi?id=578740). --- devtools/generate_dox_biblio.sed | 6 +- doc/definitions.dox | 133 ++++++++++++++++++++++++++++++------- 2 files changed, 112 insertions(+), 27 deletions(-) diff --git a/devtools/generate_dox_biblio.sed b/devtools/generate_dox_biblio.sed index c92ec5b..eb09337 100644 --- a/devtools/generate_dox_biblio.sed +++ b/devtools/generate_dox_biblio.sed @@ -7,9 +7,11 @@ s|<table\b[^>]*>|<DL>| s|\[ <a href[^>]*>[^<]*</a\b[^>]*> ]|| s|<tr\b[^>]*>.*<td\b[^>]*>.*\[<a name="$[^"]*$">$.*$</a[^>]*>].*</td\b[^>]*>.*<td\b[^>]*>$.*$</td\b[^>]*>.*</tr\b[^>]*>|<DT>[\2]</DT>\ <DD>\ -\\anchor \1\3</DD>| -s|\[<a href="#$[^"]*$">$[^<]*$</a>]|\\ref \1 "[\2]"|g +\\anchor \2\3</DD>| +s|\[<a href="#$[^"]*$">$[^<]*$</a>]|\\ref \2 "[\2]"|g s/[ab]2002/2002/g +s|$\\anchor [^ ]*$+|\1etal| +s|$\\ref [^ ]*$+|\1etal| /<\/table/ i\ </DL> /<\/table/,$ d diff --git a/doc/definitions.dox b/doc/definitions.dox index d6ef265..123bb92 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1642,7 +1642,7 @@ Given two sequences of intervals defining two \f$n\f$-dimensional boxes, the CC76-widening applies, for each corresponding interval and bound, the interval constraint widening defined in \ref CC76 "[CC76]". For extra precision, this incorporates the widening with thresholds -as defined in \ref BCCFMMMR02 "[BCCFMMMR02]" with +as defined in \ref BCCetal02 "[BCCetal02]" with \f$\{-2, -1, 0, 1, 2\}\f$ as the set of default threshold values. \section Weakly_Relational_Shapes Weakly-Relational Shapes @@ -2750,6 +2750,19 @@ C. Ancourt. </DD> +<DT>[BA05]</DT> +<DD> +\anchor BA05 +J. M. Bjorndalen and O. Anshus. + Lessons learned in benchmarking - Floating point benchmarks: Can + you trust them? + In Proceedings of the Norsk informatikkonferanse 2005 + (NIK 2005), pages 89-100, Bergen, Norway, 2005. Tapir Akademisk Forlag. + + +</DD> + + <DT>[Bag97]</DT> <DD> \anchor Bag97 @@ -2774,7 +2787,23 @@ R. Bagnara. </DD> -<DT>[BDHetal05]</DT> +<DT>[BCC+02]</DT> +<DD> +\anchor BCCetal02 +B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, + D. Monniaux, and X. Rival. + Design and implementation of a special-purpose static program + analyzer for safety-critical real-time embedded software. + In T. AE. Mogensen, D. A. Schmidt, and I. Hal Sudborough, + editors, The Essence of Computation, Complexity, Analysis, + Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th + birthday], volume 2566 of Lecture Notes in Computer Science, pages + 85-108. Springer-Verlag, Berlin, 2002. + +</DD> + + +<DT>[BDH+05]</DT> <DD> \anchor BDHetal05 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella. @@ -2787,7 +2816,7 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z </DD> -<DT>[BDHetal06]</DT> +<DT>[BDH+06]</DT> <DD> \anchor BDHetal06 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella. @@ -2799,7 +2828,7 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z </DD> -<DT>[BDHetal07]</DT> +<DT>[BDH+07]</DT> <DD> \anchor BDHetal07 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella. @@ -2813,6 +2842,29 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z </DD> +<DT>[BFT00]</DT> +<DD> +\anchor BFT00 +A. Bemporad, K. Fukuda, and F. D. Torrisi. + Convexity recognition of the union of polyhedra. + Report AUT00-13, Automatic Control Laboratory, ETHZ, Zurich, + Switzerland, 2000. + + +</DD> + + +<DT>[BFT01]</DT> +<DD> +\anchor BFT01 +A. Bemporad, K. Fukuda, and F. D. Torrisi. + Convexity recognition of the union of polyhedra. + Computational Geometry: Theory and Applications, + 18(3):141-154, 2001. + +</DD> + + <DT>[BGP99]</DT> <DD> \anchor BGP99 @@ -3089,6 +3141,43 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. </DD> +<DT>[BHZ09a]</DT> +<DD> +\anchor BHZ09a +R. Bagnara, P. M. Hill, and E. Zaffanella. + Applications of polyhedral computations to the analysis and + verification of hardware and software systems. + Theoretical Computer Science, 2009. + To appear. + + +</DD> + + +<DT>[BHZ09b]</DT> +<DD> +\anchor BHZ09b +R. Bagnara, P. M. Hill, and E. Zaffanella. + Exact join detection for convex polyhedra and other numerical + abstractions. + Report <tt>arXiv:cs.CG/0904.1783</tt>, 2009. + Available from <a href="http://arxiv.org/">http://arxiv.org/</a>. + + +</DD> + + +<DT>[BHZ09c]</DT> +<DD> +\anchor BHZ09c +R. Bagnara, P. M. Hill, and E. Zaffanella. + Weakly-relational shapes for numeric abstractions: Improved + algorithms and proofs of correctness. + Submitted for publication, 2009. + +</DD> + + <DT>[BJT99]</DT> <DD> \anchor BJT99 @@ -3157,23 +3246,6 @@ R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill. </DD> -<DT>[BRZH02c]</DT> -<DD> -\anchor BCCFMMMR02 -B. Blanchet, P. Cousot, R. Cousot, J. Feret, - L. Mauborgne, A. Miné, D. Monniaux - and X. Rival. - Design and Implementation of a Special-Purpose Static Program - Analyzer for Safety-Critical Real-Time Embedded Software. - In T.  Mogensen, D. A. Schmidt - and I. Hal Sudborough, editors, - The Essence of Computation, Complexity, Analysis, - Transformation. Essays Dedicated to Neil D. Jones [on - occasion of his 60th birthday], volume 2566 of Lecture - Notes in Computer Science, pages 85-108, 2002. - -</DD> - <DT>[CC76]</DT> <DD> \anchor CC76 @@ -3300,7 +3372,7 @@ K. Fukuda. </DD> -<DT>[GDDetal04]</DT> +<DT>[GDD+04]</DT> <DD> \anchor GDDetal04 D. Gopan, F. DiMaio, N. Dor, T. W. Reps, and M. Sagiv. @@ -3517,7 +3589,7 @@ J. Jaffar, M. J. Maher, P. J. Stuckey, and R. H. C. Yap </DD> -<DT>[KBBetal06]</DT> +<DT>[KBB+06]</DT> <DD> \anchor KBBetal06 L. Khachiyan, E. Boros, K. Borys, K. Elbassioni, and V. Gurvich. @@ -3538,9 +3610,9 @@ H. W. Kuhn. </DD> -<DT>[Le 92]</DT> +<DT>[LeV92]</DT> <DD> -\anchor Le 92 +\anchor LeV92 H. Le Verge. A note on Chernikova's algorithm. Publication interne 635, IRISA, Campus de Beaulieu, Rennes, @@ -3783,6 +3855,17 @@ P. Quinton, S. Rajopadhye, and T. Risset. </DD> +<DT>[QRW00]</DT> +<DD> +\anchor QRW00 +F. Quilleré, S. V. Rajopadhye, and D. Wilde. + Generation of efficient nested loops from polyhedra. + International Journal of Parallel Programming, 28(5):469-498, + 2000. + +</DD> + + <DT>[RBL06]</DT> <DD> \anchor RBL06

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Added missing patterns. Removed obsolete ones.
by Roberto Bagnara 12 Apr '09

12 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 1687ed375515c088c7ee6929dc49742ff3b5e998 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1687ed375515… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 19:20:17 2009 +0200 Added missing patterns. Removed obsolete ones. --- interfaces/C/tests/.gitignore | 1 + interfaces/Prolog/XSB/.gitignore | 2 ++ interfaces/Prolog/YAP/.gitignore | 15 +++++++++------ 3 files changed, 12 insertions(+), 6 deletions(-) diff --git a/interfaces/C/tests/.gitignore b/interfaces/C/tests/.gitignore index e69de29..77d1bf7 100644 --- a/interfaces/C/tests/.gitignore +++ b/interfaces/C/tests/.gitignore @@ -0,0 +1 @@ +formatted_output diff --git a/interfaces/Prolog/XSB/.gitignore b/interfaces/Prolog/XSB/.gitignore index 09573ab..a98a60a 100644 --- a/interfaces/Prolog/XSB/.gitignore +++ b/interfaces/Prolog/XSB/.gitignore @@ -7,6 +7,8 @@ clpq2.pl obtained_clpq obtained_clpq2 obtained_pchk +obtained_pgt ppl_xsb.H ppl_xsb.cc ppl_xsb.hh +xsb_prolog_generated_test.P diff --git a/interfaces/Prolog/YAP/.gitignore b/interfaces/Prolog/YAP/.gitignore index 57b4b9d..a07c46e 100644 --- a/interfaces/Prolog/YAP/.gitignore +++ b/interfaces/Prolog/YAP/.gitignore @@ -1,9 +1,12 @@ *.clpq *.la -check_script -check_script2 -check_script3 -obtained -obtained2 -obtained3 +obtained_clpq +obtained_clpq2 +obtained_pchk +obtained_pgt +ppl_prolog_generated_test_common.pl ppl_yap.cc +script_clpq +script_clpq2 +script_pchk +script_pgt

1 0

[GIT] ppl/ppl(ppl-0_10-branch): Added missing patterns.
by Roberto Bagnara 12 Apr '09

12 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: bb03520297061e1c8f938704aa1bc5ec1b004e2f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb0352029706… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 19:11:57 2009 +0200 Added missing patterns. --- .gitignore | 1 + Watchdog/doc/.gitignore | 5 ++++- doc/.gitignore | 10 +++++++++- interfaces/Prolog/XSB/.gitignore | 1 + 4 files changed, 15 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 203b9dc..c75901f 100644 --- a/.gitignore +++ b/.gitignore @@ -26,6 +26,7 @@ conftest conftest.c libtool ppl-config.h +ppl-config.h.in ppl.lsm ppl.spec stamp-h diff --git a/Watchdog/doc/.gitignore b/Watchdog/doc/.gitignore index 12424d2..a65712a 100644 --- a/Watchdog/doc/.gitignore +++ b/Watchdog/doc/.gitignore @@ -1,10 +1,13 @@ +*.aux *.doxyconf-html *.doxyconf-latex +*.latex-dir +*.log *.pdf *.pdf-dir *.ps *.ps-dir *.ps.gz +*.tag *.tar.gz pwl-*-html -user.latex-dir diff --git a/doc/.gitignore b/doc/.gitignore index 8e04bb6..4f710b8 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,11 +1,19 @@ +*.aux *.doxyconf *.doxyconf-html *.doxyconf-latex +*.latex-dir +*.log *.pdf *.pdf-dir *.ps *.ps-dir *.ps.gz +*.tag *.tar.gz +Doxyfile.* ppl-*-html -user.latex-dir +user-c-interface.tex +user-java-interface.tex +user-ocaml-interface.tex +user-prolog-interface.tex diff --git a/interfaces/Prolog/XSB/.gitignore b/interfaces/Prolog/XSB/.gitignore index c1175ce..09573ab 100644 --- a/interfaces/Prolog/XSB/.gitignore +++ b/interfaces/Prolog/XSB/.gitignore @@ -1,5 +1,6 @@ *.clpq *.la +*.so *.xwam clpq.pl clpq2.pl

1 0

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

12 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: d4313732d680e17705c0e300b7c7e9a864508f66 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4313732d680… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 18:14:12 2009 +0200 Updated for PPL 0.10.1. --- fedora/ppl-0.10-bigendian.patch | 15 --------------- fedora/ppl-0.10-configure.patch | 26 -------------------------- fedora/ppl-0.10.1-Makefile.patch | 12 ++++++++++++ fedora/ppl.spec | 19 +++++++++++-------- 4 files changed, 23 insertions(+), 49 deletions(-) diff --git a/fedora/ppl-0.10-bigendian.patch b/fedora/ppl-0.10-bigendian.patch deleted file mode 100644 index 6d171cf..0000000 --- a/fedora/ppl-0.10-bigendian.patch +++ /dev/null @@ -1,15 +0,0 @@ ---- ppl-0.10/src/Float.defs.hh 2008-10-03 15:23:03.000000000 +0200 -+++ ppl-0.10-patched/src/Float.defs.hh 2009-02-04 07:59:06.000000000 +0100 -@@ -65,6 +65,12 @@ - void build(bool negative, mpz_t mantissa, int exponent); - }; - -+#ifdef WORDS_BIGENDIAN -+#ifndef PPL_WORDS_BIGENDIAN -+#define PPL_WORDS_BIGENDIAN -+#endif -+#endif -+ - #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS - /*! \ingroup PPL_CXX_interface */ - #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) diff --git a/fedora/ppl-0.10-configure.patch b/fedora/ppl-0.10-configure.patch deleted file mode 100644 index 88dbb01..0000000 --- a/fedora/ppl-0.10-configure.patch +++ /dev/null @@ -1,26 +0,0 @@ -diff -ur ppl-0.10/Watchdog/doc/Makefile.in ppl-0.10-patched/Watchdog/doc/Makefile.in ---- ppl-0.10/Watchdog/doc/Makefile.in 2008-11-04 10:36:59.000000000 +0100 -+++ ppl-0.10-patched/Watchdog/doc/Makefile.in 2009-02-18 23:15:28.000000000 +0100 -@@ -163,7 +163,7 @@ - debug_flag = @debug_flag@ - - # All the documentation in docdir. --docdir = @docdir@ -+docdir = @docdir@/pwl - dvidir = @dvidir@ - exec_prefix = @exec_prefix@ - host = @host@ -diff -ur ppl-0.10/configure ppl-0.10-patched/configure ---- ppl-0.10/configure 2008-11-04 10:37:00.000000000 +0100 -+++ ppl-0.10-patched/configure 2009-02-18 22:36:56.000000000 +0100 -@@ -2923,10 +2923,6 @@ - PPL_CONFIGURE_OPTIONS="\"$ac_configure_args\"" - - --# Installation directories. --docdir='${datadir}/doc/ppl' -- -- - # Generate a configuration header file. - ac_config_headers="$ac_config_headers config.h" - diff --git a/fedora/ppl-0.10.1-Makefile.patch b/fedora/ppl-0.10.1-Makefile.patch new file mode 100644 index 0000000..307e5c7 --- /dev/null +++ b/fedora/ppl-0.10.1-Makefile.patch @@ -0,0 +1,12 @@ +diff -ur ppl-0.10.1/Watchdog/doc/Makefile.in ppl-0.10.1-patched/Watchdog/doc/Makefile.in +--- ppl-0.10.1/Watchdog/doc/Makefile.in 2000-04-11 10:36:59.000000000 +0100 ++++ ppl-0.10.1-patched/Watchdog/doc/Makefile.in 2009-04-11 17:53:10.000000000 +0100 +@@ -163,7 +163,7 @@ + debug_flag = @debug_flag@ + + # All the documentation in docdir. +-docdir = @docdir@ ++docdir = @docdir@/pwl + dvidir = @dvidir@ + exec_prefix = @exec_prefix@ + host = @host@ diff --git a/fedora/ppl.spec b/fedora/ppl.spec index 616189f..6d7e855 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -1,8 +1,8 @@ #%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0) Name: ppl -Version: 0.10 -Release: 11%{?dist} +Version: 0.10.1 +Release: 1%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions Group: Development/Libraries @@ -12,8 +12,8 @@ Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{vers Source1: ppl.hh Source2: ppl_c.h Source3: pwl.hh -Patch0: ppl-0.10-bigendian.patch -Patch1: ppl-0.10-configure.patch +Patch0: ppl-0.10.1-Makefile.patch +#Patch1: #Icon: #Requires: Requires(post): /sbin/ldconfig @@ -199,7 +199,7 @@ Install this package if you want to program with the PWL. %prep %setup -q %patch0 -p1 -%patch1 -p1 +#%patch1 -p1 %build CPPFLAGS="-I%{_includedir}/glpk" @@ -392,9 +392,9 @@ mv \ %doc %{_datadir}/doc/%{name}-%{version}/pwl/fdl.* %doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.ps.gz %doc %{_datadir}/doc/%{name}-%{version}/pwl/gpl.pdf -%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5-html/ -%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5.pdf -%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.5.ps.gz +%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7-html/ +%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7.pdf +%doc %{_datadir}/doc/%{name}-%{version}/pwl/pwl-user-0.7.ps.gz %post -p /sbin/ldconfig %postun -p /sbin/ldconfig @@ -405,6 +405,9 @@ mv \ rm -rf %{buildroot} %changelog +* Tue Apr 14 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.1-1 +- Updated for PPL 0.10.1. + * Sun Mar 29 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10-11 - Moved changelogs and PostScript and PDF versions of the GPL to the `docs' subpackages. This saves considerable space on the live media.

1 0

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

12 Apr '09

Module: ppl/ppl Branch: master Commit: 64d70efe40c253409d12f0159eadb4b95a1f105f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64d70efe40c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 10:39:55 2009 +0200 Updated. --- ChangeLog | 30 ++++++++++++++++++++++++++++++ 1 files changed, 30 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index c9acfb8..a123876 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,33 @@ +2009-04-12 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * devtools/generate_dox_biblio.sed, doc/definitions.dox: + Bibliography updated. The generated bibliography required manual + intervention in a few places, also because of a couple of Doxygen + bugs and limitations + (see http://bugzilla.gnome.org/show_bug.cgi?id=578739 and + http://bugzilla.gnome.org/show_bug.cgi?id=578740). + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * interfaces/C/tests/.gitignore, interfaces/Prolog/XSB/.gitignore, + interfaces/Prolog/YAP/.gitignore: Added missing patterns. Removed + obsolete ones. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * .gitignore, Watchdog/doc/.gitignore, doc/.gitignore, + interfaces/Prolog/XSB/.gitignore: Added missing patterns. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * fedora/ppl-0.10-bigendian.patch, fedora/ppl-0.10-configure.patch, + fedora/ppl-0.10.1-Makefile.patch, fedora/ppl.spec: Updated for PPL + 0.10.1. + +2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog, Watchdog/ChangeLog: Updated. + 2009-04-11 Roberto Bagnara <bagnara(a)cs.unipr.it> * interfaces/Prolog/XSB/Makefile.am: Fixed reference to CLPQ_TESTS.

1 0

[GIT] ppl/ppl(master): Bibliography updated.
by Roberto Bagnara 12 Apr '09

12 Apr '09

Module: ppl/ppl Branch: master Commit: 1ac6a88a25b74badf7626f7e8c87da43aecd42a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac6a88a25b7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 09:31:41 2009 +0200 Bibliography updated. The generated bibliography required manual intervention in a few places, also because of a couple of Doxygen bugs and limitations (see http://bugzilla.gnome.org/show_bug.cgi?id=578739 and http://bugzilla.gnome.org/show_bug.cgi?id=578740). --- devtools/generate_dox_biblio.sed | 6 +- doc/definitions.dox | 133 ++++++++++++++++++++++++++++++------- 2 files changed, 112 insertions(+), 27 deletions(-) diff --git a/devtools/generate_dox_biblio.sed b/devtools/generate_dox_biblio.sed index c92ec5b..eb09337 100644 --- a/devtools/generate_dox_biblio.sed +++ b/devtools/generate_dox_biblio.sed @@ -7,9 +7,11 @@ s|<table\b[^>]*>|<DL>| s|\[ <a href[^>]*>[^<]*</a\b[^>]*> ]|| s|<tr\b[^>]*>.*<td\b[^>]*>.*\[<a name="$[^"]*$">$.*$</a[^>]*>].*</td\b[^>]*>.*<td\b[^>]*>$.*$</td\b[^>]*>.*</tr\b[^>]*>|<DT>[\2]</DT>\ <DD>\ -\\anchor \1\3</DD>| -s|\[<a href="#$[^"]*$">$[^<]*$</a>]|\\ref \1 "[\2]"|g +\\anchor \2\3</DD>| +s|\[<a href="#$[^"]*$">$[^<]*$</a>]|\\ref \2 "[\2]"|g s/[ab]2002/2002/g +s|$\\anchor [^ ]*$+|\1etal| +s|$\\ref [^ ]*$+|\1etal| /<\/table/ i\ </DL> /<\/table/,$ d diff --git a/doc/definitions.dox b/doc/definitions.dox index d6ef265..123bb92 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1642,7 +1642,7 @@ Given two sequences of intervals defining two \f$n\f$-dimensional boxes, the CC76-widening applies, for each corresponding interval and bound, the interval constraint widening defined in \ref CC76 "[CC76]". For extra precision, this incorporates the widening with thresholds -as defined in \ref BCCFMMMR02 "[BCCFMMMR02]" with +as defined in \ref BCCetal02 "[BCCetal02]" with \f$\{-2, -1, 0, 1, 2\}\f$ as the set of default threshold values. \section Weakly_Relational_Shapes Weakly-Relational Shapes @@ -2750,6 +2750,19 @@ C. Ancourt. </DD> +<DT>[BA05]</DT> +<DD> +\anchor BA05 +J. M. Bjorndalen and O. Anshus. + Lessons learned in benchmarking - Floating point benchmarks: Can + you trust them? + In Proceedings of the Norsk informatikkonferanse 2005 + (NIK 2005), pages 89-100, Bergen, Norway, 2005. Tapir Akademisk Forlag. + + +</DD> + + <DT>[Bag97]</DT> <DD> \anchor Bag97 @@ -2774,7 +2787,23 @@ R. Bagnara. </DD> -<DT>[BDHetal05]</DT> +<DT>[BCC+02]</DT> +<DD> +\anchor BCCetal02 +B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, + D. Monniaux, and X. Rival. + Design and implementation of a special-purpose static program + analyzer for safety-critical real-time embedded software. + In T. AE. Mogensen, D. A. Schmidt, and I. Hal Sudborough, + editors, The Essence of Computation, Complexity, Analysis, + Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th + birthday], volume 2566 of Lecture Notes in Computer Science, pages + 85-108. Springer-Verlag, Berlin, 2002. + +</DD> + + +<DT>[BDH+05]</DT> <DD> \anchor BDHetal05 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella. @@ -2787,7 +2816,7 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z </DD> -<DT>[BDHetal06]</DT> +<DT>[BDH+06]</DT> <DD> \anchor BDHetal06 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella. @@ -2799,7 +2828,7 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z </DD> -<DT>[BDHetal07]</DT> +<DT>[BDH+07]</DT> <DD> \anchor BDHetal07 R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Zaffanella. @@ -2813,6 +2842,29 @@ R. Bagnara, K. Dobson, P. M. Hill, M. Mundell, and E. Z </DD> +<DT>[BFT00]</DT> +<DD> +\anchor BFT00 +A. Bemporad, K. Fukuda, and F. D. Torrisi. + Convexity recognition of the union of polyhedra. + Report AUT00-13, Automatic Control Laboratory, ETHZ, Zurich, + Switzerland, 2000. + + +</DD> + + +<DT>[BFT01]</DT> +<DD> +\anchor BFT01 +A. Bemporad, K. Fukuda, and F. D. Torrisi. + Convexity recognition of the union of polyhedra. + Computational Geometry: Theory and Applications, + 18(3):141-154, 2001. + +</DD> + + <DT>[BGP99]</DT> <DD> \anchor BGP99 @@ -3089,6 +3141,43 @@ R. Bagnara, P. M. Hill, and E. Zaffanella. </DD> +<DT>[BHZ09a]</DT> +<DD> +\anchor BHZ09a +R. Bagnara, P. M. Hill, and E. Zaffanella. + Applications of polyhedral computations to the analysis and + verification of hardware and software systems. + Theoretical Computer Science, 2009. + To appear. + + +</DD> + + +<DT>[BHZ09b]</DT> +<DD> +\anchor BHZ09b +R. Bagnara, P. M. Hill, and E. Zaffanella. + Exact join detection for convex polyhedra and other numerical + abstractions. + Report <tt>arXiv:cs.CG/0904.1783</tt>, 2009. + Available from <a href="http://arxiv.org/">http://arxiv.org/</a>. + + +</DD> + + +<DT>[BHZ09c]</DT> +<DD> +\anchor BHZ09c +R. Bagnara, P. M. Hill, and E. Zaffanella. + Weakly-relational shapes for numeric abstractions: Improved + algorithms and proofs of correctness. + Submitted for publication, 2009. + +</DD> + + <DT>[BJT99]</DT> <DD> \anchor BJT99 @@ -3157,23 +3246,6 @@ R. Bagnara, E. Ricci, E. Zaffanella, and P. M. Hill. </DD> -<DT>[BRZH02c]</DT> -<DD> -\anchor BCCFMMMR02 -B. Blanchet, P. Cousot, R. Cousot, J. Feret, - L. Mauborgne, A. Miné, D. Monniaux - and X. Rival. - Design and Implementation of a Special-Purpose Static Program - Analyzer for Safety-Critical Real-Time Embedded Software. - In T.  Mogensen, D. A. Schmidt - and I. Hal Sudborough, editors, - The Essence of Computation, Complexity, Analysis, - Transformation. Essays Dedicated to Neil D. Jones [on - occasion of his 60th birthday], volume 2566 of Lecture - Notes in Computer Science, pages 85-108, 2002. - -</DD> - <DT>[CC76]</DT> <DD> \anchor CC76 @@ -3300,7 +3372,7 @@ K. Fukuda. </DD> -<DT>[GDDetal04]</DT> +<DT>[GDD+04]</DT> <DD> \anchor GDDetal04 D. Gopan, F. DiMaio, N. Dor, T. W. Reps, and M. Sagiv. @@ -3517,7 +3589,7 @@ J. Jaffar, M. J. Maher, P. J. Stuckey, and R. H. C. Yap </DD> -<DT>[KBBetal06]</DT> +<DT>[KBB+06]</DT> <DD> \anchor KBBetal06 L. Khachiyan, E. Boros, K. Borys, K. Elbassioni, and V. Gurvich. @@ -3538,9 +3610,9 @@ H. W. Kuhn. </DD> -<DT>[Le 92]</DT> +<DT>[LeV92]</DT> <DD> -\anchor Le 92 +\anchor LeV92 H. Le Verge. A note on Chernikova's algorithm. Publication interne 635, IRISA, Campus de Beaulieu, Rennes, @@ -3783,6 +3855,17 @@ P. Quinton, S. Rajopadhye, and T. Risset. </DD> +<DT>[QRW00]</DT> +<DD> +\anchor QRW00 +F. Quilleré, S. V. Rajopadhye, and D. Wilde. + Generation of efficient nested loops from polyhedra. + International Journal of Parallel Programming, 28(5):469-498, + 2000. + +</DD> + + <DT>[RBL06]</DT> <DD> \anchor RBL06

1 0

[GIT] ppl/w3ppl(master): Added URI for arXiv.
by Roberto Bagnara 12 Apr '09

12 Apr '09

Module: ppl/w3ppl Branch: master Commit: 0948ac9a657b140d082dbf9c57b2ce317f526ed0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=0948ac9a65… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 12 09:20:57 2009 +0200 Added URI for arXiv. --- htdocs/Documentation/ppl.bib | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index d85441d..76ebb2d 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -936,6 +936,7 @@ Title = "Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions", Howpublished = "Report {\tt arXiv:cs.CG/0904.1783}", + Note = "Available from \url{http://arxiv.org/}.", Year = 2009, Abstract = "Deciding whether the union of two convex polyhedra is a convex polyhedron is a basic problem in polyhedral

1 0