April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Added YangWGI09. Non-ASCII characters removed.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/w3ppl Branch: master Commit: e10b53a466b50d8d10821702a72b4faa06dbe657 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e10b53a466… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:59:29 2009 +0200 Added YangWGI09. Non-ASCII characters removed. --- htdocs/Documentation/ppl_citations.bib | 28 ++++++++++++++++++++++++++-- 1 files changed, 26 insertions(+), 2 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index aec1454..3ec2cb5 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -904,7 +904,7 @@ Year = 2008, Pages = "263--279", Abstract = "In 1995, HyTech broke new ground as a potentially - powerful tool for verifying hybrid systems –-- yet its + powerful tool for verifying hybrid systems --- yet its appicability remains limited to relatively simple systems. We address the main problems of HyTech with PHAVer, a new tool for the exact verification of safety @@ -2232,7 +2232,7 @@ additional optimisations, like conditional contextual constant folding, C++ method call devirtualization, an other contextual optimizations. - The compiler’s rich program manipulation + The compiler's rich program manipulation infrastructure facilitates the development of these advanced analysis capabilities. To facilitate the development high-level semantical analyses, a domain @@ -2471,3 +2471,27 @@ favorably to popular Boolean-level model checking algorithms based on BDDs and SAT.", } + +@Article{YangWGI09, + Author = "Z. Yang and C. Wang and A. Gupta and F. Ivan\v{c}i\'{c}", + Title = "Model Checking Sequential Software Programs + Via Mixed Symbolic Analysis", + Journal = "ACM Transactions on Design Automation of Electronic Systems", + Volume = 14, + Number = 1, + Pages = "1--26", + Year = 2009, + ISSN = "1084-4309", + Publisher = "ACM Press", + Address = "New York, NY, USA", + Abstract = "We present an efficient symbolic search algorithm for + software model checking. Our algorithms perform + word-level reasoning by using a combination of decision + procedures in Boolean and integer and real domains, and + use novel symbolic search strategies optimized + specifically for sequential programs to improve + scalability. Experiments on real-world C programs show + that the new symbolic search algorithms can achieve + several orders-of-magnitude improvements over existing + methods based on bit-level (Boolean) reasoning." +}

1 0

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

11 Apr '09

Module: ppl/w3ppl Branch: master Commit: 605ffd337e7cc900be7d559366894307cd6fadf2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=605ffd337e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 20:48:55 2009 +0200 Added AlbertACGPZ08. --- htdocs/Documentation/ppl_citations.bib | 35 ++++++++++++++++++++++++++++++++ 1 files changed, 35 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 6aa14f7..aec1454 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -1,3 +1,38 @@ +@Inproceedings{AlbertACGPZ08, + Author = "E. Albert and P. Arenas and M. Codish and S. Genaim + and G. Puebla and D. Zanardini", + Title = "Termination Analysis of {Java} {Bytecode}", + Booktitle = "Proceedings of the 10th IFIP WG 6.1 International Conference + on Formal Methods for Open Object-Based Distributed Systems + (FMOODS 2008)", + Address = "Oslo, Norway", + Editor = "G. Barthe and F. S. de Boer", + Publisher = "Springer-Verlag, Berlin", + Series = "Lecture Notes in Computer Science", + Volume = 5051, + Year = 2008, + Pages = "2--18", + ISBN = "978-3-540-68862-4", + Abstract = "Termination analysis has received considerable + attention, traditionally in the context of declarative + programming, and recently also for imperative + languages. In existing approaches, termination is + performed on source programs. However, there are many + situations, including mobile code, where only the + compiled code is available. In this work we present an + automatic termination analysis for sequential Java + Bytecode programs. Such analysis presents all of the + challenges of analyzing a low-level language as well as + those introduced by object-oriented languages. + Interestingly, given a bytecode program, we produce a + \emph{constraint logic program}, CLP, whose termination + entails termination of the bytecode program. This allows + applying the large body of work in termination of CLP + programs to termination of Java bytecode. A prototype + analyzer is described and initial experimentation is + reported." +} + @Inproceedings{AlbertAGP08, Author = "E. Albert and P. Arenas and S. Genaim and G. Puebla", Title = "Automatic Inference of Upper Bounds for Recurrence Relations

1 0

[GIT] ppl/ppl(master): Added missing patterns. Removed obsolete ones.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/ppl Branch: master 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(master): Added missing patterns.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/ppl Branch: master 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(master): Updated for PPL 0.10.1.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/ppl Branch: master 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/w3ppl(master): Announce the new paper on exact join detection.
by Roberto Bagnara 11 Apr '09

11 Apr '09

Module: ppl/w3ppl Branch: master Commit: 22c613343c9557b4f78bb80a0483d4771422a6bc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=22c613343c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 14:23:21 2009 +0200 Announce the new paper on exact join detection. --- htdocs/news.raw | 16 ++++++++++++++++ htdocs/ppl.raw | 51 ++++++++++++++++++--------------------------------- 2 files changed, 34 insertions(+), 33 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index 846e4fa..c68c8c0 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -10,6 +10,22 @@ of the Parma Polyhedra Library. <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 11, 2009</TT></TD> + <TD> + New paper on exact join detection + + <A HREF="Documentation/bibliography#BagnaraHZ09TRa">Exact Join + Detection for Convex Polyhedra and Other Numerical + Abstractions</A> presents algorithms to decide whether the + lattice-theoretic join of two numerical abstractions (as computed + by the <CODE>upper_bound_assign</CODE> methods of the PPL) + corresponds to set-theoretic union. The algorithms described and + proved correct in the paper are the ones actually used in the PPL + to implement the <CODE>upper_bound_assign_if_exact</CODE> methods. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Feb 22, 2009</TT></TD> <TD> PPL development moved to Git diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 7b70310..874c45f 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -48,9 +48,25 @@ version 3</A> or any later version). <TABLE> <TR> + <TD VALIGN=TOP><TT>Apr 11, 2009</TT></TD> + <TD> + New paper on exact join detection + + <A HREF="Documentation/bibliography#BagnaraHZ09TRa">Exact Join + Detection for Convex Polyhedra and Other Numerical + Abstractions</A> presents algorithms to decide whether the + lattice-theoretic join of two numerical abstractions (as computed + by the <CODE>upper_bound_assign</CODE> methods of the PPL) + corresponds to set-theoretic union. The algorithms described and + proved correct in the paper are the ones actually used in the PPL + to implement the <CODE>upper_bound_assign_if_exact</CODE> methods. + </TD> +</TR> + +<TR> <TD VALIGN=TOP><TT>Feb 22, 2009</TT></TD> <TD> - PPL development moved to Git + PPL development moved to Git PPL development moved away from CVS and now uses the <A HREF="http://git-scm.com/">Git distributed version control system</A>. @@ -61,7 +77,7 @@ version 3</A> or any later version). <TR> <TD VALIGN=TOP><TT>Feb 10, 2008</TT></TD> <TD> - New server hosts PPL development + New server hosts PPL development AMD Developer Central has donated a bi-quad core machine with the latest AMD Opteron 2384 "Shanghai" processors and 16GB of RAM. @@ -72,37 +88,6 @@ version 3</A> or any later version). </TD> </TR> -<TR> - <TD VALIGN=TOP><TT>Nov 13, 2008</TT></TD> - <TD> - Congratulations to Katy Dobson - - who has been recommended for the degree of PhD with the thesis - <A HREF="http://www.comp.leeds.ac.uk/cgi-bin/sis/ext/rs_pub.cgi?cmd=listtheses&paget…">Grid Domains for Analysing Software</A> - (supervisor <A HREF="http://www.comp.leeds.ac.uk/hill">Patricia Hill</A>). - </TD> -</TR> - -<TR> - <TD VALIGN=TOP><TT>Nov 4, 2008</TT></TD> - <TD> - PPL 0.10 has been released - - This release, which is under the terms of - <A HREF="http://www.gnu.org/copyleft/gpl.html">GPLv3+</A>, - has many new features: - more abstractions, including octagonal shapes and boxes; - an improved LP solver supporting Mixed Integer (Linear) Programming - problems; - a more general powerset domain (named <code>Pointset_Powerset</code>) - that can be instantiated with any simple PPL domain (not just polyhedra); - better language interfaces for C and Prolog, as well as - brand new ones for OCaml and Java; - an improved and restructured set of documentation manuals; - new and more flexible configuration options. - </TD> -</TR> - </TABLE> For older news items, see the <A HREF="news">complete news archive</A>.

1 0

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

11 Apr '09

Module: ppl/w3ppl Branch: master Commit: 4373e638d968910146d9e9c90d4ba34ecbe95e2c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=4373e638d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 10:42:30 2009 +0200 Added BagnaraHZ09TRa. --- htdocs/Documentation/BagnaraHZ09TRa.pdf | Bin 0 -> 311884 bytes htdocs/Documentation/ppl.bib | 34 +++++++++++++++++++++++++++++++ 2 files changed, 34 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/BagnaraHZ09TRa.pdf b/htdocs/Documentation/BagnaraHZ09TRa.pdf new file mode 100644 index 0000000..d4740b9 Binary files /dev/null and b/htdocs/Documentation/BagnaraHZ09TRa.pdf differ diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 2784df5..d85441d 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -931,6 +931,40 @@ domains with floating point numbers are also discussed.", } +@Misc{BagnaraHZ09TRa, + Author = "R. Bagnara and P. M. Hill and E. Zaffanella", + Title = "Exact Join Detection for Convex Polyhedra + and Other Numerical Abstractions", + Howpublished = "Report {\tt arXiv:cs.CG/0904.1783}", + Year = 2009, + Abstract = "Deciding whether the union of two convex polyhedra is a + convex polyhedron is a basic problem in polyhedral + computation having important applications in the field + of constrained control and in the synthesis, analysis, + verification and optimization of hardware and software + systems. In these application fields, though, general + convex polyhedra are only one among many so-called + \emph{numerical abstractions}: these range from + restricted families of (not necessarily closed) convex + polyhedra to non-convex geometrical objects. We thus + tackle the problem from an abstract point of view: for a + wide range of numerical abstractions that can be modeled + as bounded join-semilattices ---that is, partial orders + where any finite set of elements has a least upper + bound---, we show necessary and sufficient conditions + for the equivalence between the lattice-theoretic join + and the set-theoretic union. For the case of closed + convex polyhedra ---which, as far as we know, is the + only one already studied in the literature--- we improve + upon the state-of-the-art by providing a new algorithm + with a better worst-case complexity. The results and + algorithms presented for the other numerical + abstractions are new to this paper. All the algorithms + have been implemented, experimentally validated, and + made available in the Parma Polyhedra Library.", + URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09TRa.pdf" +} + @InProceedings{BalasundaramK89, Author = "V. Balasundaram and K. Kennedy", Title = "A Technique for Summarizing Data Access

1 0

make check fails on Freebsd in tests/Box/propagateconstraints2
by Tobias Grosser 11 Apr '09

11 Apr '09

Hi, ppl compiles as always flawless on FreeBSD current. As I wrote some weeks ago there are still some bugs in "make check". 1. tests/Box/Makefile.am (patch submitted) 2. test02 and test03 in tests/Box/propagateconstraints2 fail. They only fail if compile with gmake propagateconstraints2 -DBOX_INSTANCE=db_r_oc or gmake check (in ppl/, ppl/tests, or ppl/tests/Box) compiling with gmake propagateconstraints2 -DBOX_INSTANCE=rt_r_oc or gmake propagateconstraints2 fixes the test cases. I attached the outputs of NOISY and VERY_NOISY and the compilation of the relevant file. Do you have any idea how to debug this? Tobias

3 5

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

11 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch Commit: 1c505504340feee5bab77299170ee9f3c802f9f6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c505504340f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 11 08:40:14 2009 +0200 Merge branch 'master' into ppl-0_10-branch ---

1 0

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

11 Apr '09

Module: ppl/ppl Branch: ppl-0_10-branch 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