February 2011 - PPL-devel - BUGSENG Mailman

Re: [PPL-devel] Parma Polyhedra Library 0.11.1
by Roberto Bagnara 22 Feb '11

22 Feb '11

On 02/21/2011 04:42 AM, Jack Howarth wrote: > On Sun, Feb 20, 2011 at 06:32:30PM +0100, Prof. Roberto Bagnara wrote: >> >> We announce the availability of PPL 0.11.1, a new release of the Parma >> Polyhedra Library. This release includes several important bug fixes >> and performance improvements. > > Roberto, > Have you had any reports of installation problems? Hi Jack. No, your report was the first one. > After installing > doxygen, texlive for pdflatex and graphviz for dot, I am still running into > installation failures for the documentation. These currently appear as... > > Writing index file refman.idx > No file refman.aux. > (/sw/share/texmf-dist/tex/latex/base/ts1cmr.fd) > (/sw/share/texmf-dist/tex/latex/psnfss/t1ptm.fd) > (/sw/share/texmf-dist/tex/context/base/supp-pdf.mkii > [Loading MPS to PDF converter (version 2006.09.02).] > ) (/sw/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty > (/sw/share/texmf-dist/tex/latex/oberdiek/grfext.sty) > (/sw/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) > (/sw/share/texmf-dist/tex/latex/graphics/color.sty > (/sw/share/texmf-dist/tex/latex/latexconfig/color.cfg)) > (/sw/share/texmf-dist/tex/latex/hyperref/nameref.sty > (/sw/share/texmf-dist/tex/latex/oberdiek/refcount.sty) > (/sw/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) > (/sw/share/texmf-dist/tex/latex/amsfonts/umsa.fd) > (/sw/share/texmf-dist/tex/latex/amsfonts/umsb.fd) > (/sw/share/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) [1{/sw/var/lib/texmf/fonts/ > map/pdftex/updmap/pdftex.map}] (/sw/share/texmf-dist/tex/latex/psnfss/ts1ptm.fd > ) (/sw/share/texmf-dist/tex/latex/psnfss/t1pcr.fd) (./main.texpdfTeX warning (e > xt4): destination with the same identifier (name{page.1}) has been already used > , duplicate ignored > <to be read again> > \relax > l.17 ...ry.Parma\_\-Polyhedra\_\-Library}};\item S > tarting from version 0.11,... > [1] > Underfull \hbox (badness 1337) in paragraph at lines 26--26 > []\T1/ptm/m/n/10 boxes which con-sist of Int8_-Box, Int16_-Box, Int32_-Box, Int > 64_-Box, Uint8_-Box, Hmmm... this is very strange. I would like to reproduce the issue: which version of Doxygen are you using? > ) (/sw/src/fink.build/ppl9-0.11.1-0/ppl-0.11.1/build/../doc/GPL.tex > > ! LaTeX Error: Can be used only in preamble. > > See the LaTeX manual or LaTeX Companion for explanation. > Type H<return> for immediate help. > ... > > l.1 \documentclass > [a4paper,12pt]{article} > ? This is even stranger: the file name should be `gpl.tex', not `GPL.tex' Can you please double check in the `doc' subdirectory? Cheers, Roberto -- Prof. Roberto Bagnara CEO & CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, Italy I-43124 Parma, Italy http://www.cs.unipr.it/~bagnara/ http://bugseng.com/ mailto:bagnara@cs.unipr.it mailto:roberto.bagnara@bugseng.com

3 3

[GIT] ppl/ppl(ppl-0_11-branch): No longer overwrite the SIGILL handler.
by Roberto Bagnara 22 Feb '11

22 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 4066bd36c57c4c6c6c296e4d19a6e8d32bc98633 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4066bd36c57c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 22 09:51:45 2011 +0100 No longer overwrite the SIGILL handler. --- src/fpu-ia32.cc | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/fpu-ia32.cc b/src/fpu-ia32.cc index d361411..21aa6e3 100644 --- a/src/fpu-ia32.cc +++ b/src/fpu-ia32.cc @@ -37,7 +37,6 @@ jmp_buf env; void illegal_instruction_catcher(int) { - signal(SIGILL, SIG_DFL); longjmp(env, 1); } @@ -49,6 +48,7 @@ bool have_sse_unit = true; void detect_sse_unit() { + void (*old)(int); if (setjmp(env)) { // We will end up here if sse_get_control() raises SIGILL. have_sse_unit = false; @@ -56,14 +56,14 @@ detect_sse_unit() { } // Install our own signal handler for SIGILL. - signal(SIGILL, illegal_instruction_catcher); + old = signal(SIGILL, illegal_instruction_catcher); (void) sse_get_control(); // sse_get_control() did not raise SIGILL: we have an SSE unit. have_sse_unit = true; restore_sigill_handler: - // Restore the default signal handler for SIGILL. - signal(SIGILL, SIG_DFL); + // Restore the previous signal handler for SIGILL. + signal(SIGILL, old); } } // namespace Parma_Polyhedra_Library

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Never use `\c'; use <CODE></CODE> instead (yes, uppercase).
by Roberto Bagnara 21 Feb '11

21 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 7d84aa52f38eb39e4f2cb84dede5a33a57689ec1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d84aa52f38e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 12:19:22 2011 +0100 Never use `\c'; use <CODE></CODE> instead (yes, uppercase). --- .../Parma_Polyhedra_Library.java | 33 ++++++++++--------- 1 files changed, 17 insertions(+), 16 deletions(-) diff --git a/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java b/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java index 8c1a6e7..c692d57 100644 --- a/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java +++ b/interfaces/Java/parma_polyhedra_library/Parma_Polyhedra_Library.java @@ -38,8 +38,9 @@ site: http://www.cs.unipr.it/ppl/ . */ their representation in the PPL and the operations provided by the PPL is given in the main \extref{preamble, PPL user manual}. Here we just describe those aspects that are specific to the Java interface. - In the sequel, \c prefix is the path prefix under which - the library has been installed (typically \c /usr or \c /usr/local). + In the sequel, <CODE>prefix</CODE> is the path prefix under which + the library has been installed (typically <CODE>/usr</CODE> or + <CODE>/usr/local</CODE>). <H2>Overview</H2> @@ -49,29 +50,29 @@ site: http://www.cs.unipr.it/ppl/ . */ - When the Parma Polyhedra Library is configured, it will automatically test for the existence of the Java system (unless configuration options are passed to disable the build of the Java interface; - see configuration option <code>--enable-interfaces</code>). + see configuration option <CODE>--enable-interfaces</CODE>). If Java is correctly installed in a standard location, things will be arranged so that the Java interface is built and installed - (see configuration option <code>--with-java</code> if you need to + (see configuration option <CODE>--with-java</CODE> if you need to specify a non-standard location for the Java system). - The Java interface files are all installed in the directory - \c prefix/lib/ppl. Since this includes shared and + <CODE>prefix/lib/ppl</CODE>. Since this includes shared and dynamically loaded libraries, you must make your dynamic linker/loader aware of this fact. If you use a GNU/Linux system, try the commands <CODE>man ld.so</CODE> and <CODE>man ldconfig</CODE> for more information. - Any application using the PPL should: - - Load the PPL interface library by calling <code>System.load</code> + - Load the PPL interface library by calling <CODE>System.load</CODE> and passing the full path of the dynamic shared object; - Make sure that only the intended version(s) of the library has - been loaded, e.g., by calling static method <code>version()</code> - in class \c parma_polyhedra_library.Parma_Polyhedra_Library; + been loaded, e.g., by calling static method <CODE>version()</CODE> + in class <CODE>parma_polyhedra_library.Parma_Polyhedra_Library</CODE>; - Starting from version 0.11, initialize the interface by calling - static method <code>initialize_library()</code>; + static method <CODE>initialize_library()</CODE>; when all library work is done, finalize the interface by calling - <code>finalize_library()</code>. + <CODE>finalize_library()</CODE>. - The numerical abstract domains available to the Java user as Java classes consist of the <EM>simple</EM> domains, @@ -79,7 +80,7 @@ site: http://www.cs.unipr.it/ppl/ . */ of simple domains. Note that the default configuration will only enable a subset of these domains (if you need a different set of domains, see configuration option - <code>--enable-instantiations</code>). + <CODE>--enable-instantiations</CODE>). - The simple domains are: - convex polyhedra, which consist of C_Polyhedron and NNC_Polyhedron;<BR> @@ -159,7 +160,7 @@ public class Parma_Polyhedra_Library { This method must be called when work with the library is done. After finalization, no other library method can be called (except those in class Parma_Polyhedra_Library), unless the library - is re-initialized by calling <code>initialize_library()</code>. + is re-initialized by calling <CODE>initialize_library()</CODE>. */ public static native void finalize_library(); @@ -246,10 +247,10 @@ public class Parma_Polyhedra_Library { Computations taking exponential time will be interrupted some time after \p hsecs hundreths of seconds have elapsed since the call to the timeout setting function, by throwing a - <code>Timeout_Exception</code> object. + <CODE>Timeout_Exception</CODE> object. Otherwise, if the computation completes without being interrupted, then the timeout should be reset by calling - <code>reset_timeout()</code>. + <CODE>reset_timeout()</CODE>. */ public static native void set_timeout(int hsecs); @@ -268,10 +269,10 @@ public class Parma_Polyhedra_Library { Computations taking exponential time will be interrupted some time after reaching the \p weight complexity threshold, by throwing a - <code>Timeout_Exception</code> object. + <CODE>Timeout_Exception</CODE> object. Otherwise, if the computation completes without being interrupted, then the deterministic timeout should be reset by calling - <code>reset_deterministic_timeout()</code>. + <CODE>reset_deterministic_timeout()</CODE>. \note This "timeout" checking functionality is said to be \e deterministic

1 0

[GIT] ppl/ppl(ppl-0_11-branch): The `--disable-fpmath' configure option now disables all floating point computations.
by Roberto Bagnara 21 Feb '11

21 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: d5fdb856d2f20c2dc0fb8f99b76b53cdf66daf58 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5fdb856d2f2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 21 09:56:13 2011 +0100 The `--disable-fpmath' configure option now disables all floating point computations. --- NEWS | 13 +++++++++++++ README.configure | 5 ++++- configure.ac | 30 ++++++++++++++++++++---------- m4/ac_check_fpu_control.m4 | 3 --- 4 files changed, 37 insertions(+), 14 deletions(-) diff --git a/NEWS b/NEWS index 0adac77..12cc4a7 100644 --- a/NEWS +++ b/NEWS @@ -10,6 +10,19 @@ Parma Polyhedra Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- +NEWS for version 0.11.2 (released date to be decided) +-------------------------------------------------------------------------- + +Bugfixes +======== + +o Fixed the semantics of the `--disable-fpmath' configure option + (which is equivalent to `--enable-fpmath=no'). It now disables all + floating point computations and, consequently, all numerical + abstractions based on floating point numbers. + + +-------------------------------------------------------------------------- NEWS for version 0.11.1 (released on February 20, 2011) -------------------------------------------------------------------------- diff --git a/README.configure b/README.configure index 7f87184..d25ac3f 100644 --- a/README.configure +++ b/README.configure @@ -357,7 +357,10 @@ For floating point computations, the option allows for selecting, on the IA32 and x86_64, the floating point instruction set. The allowed values for INSTRUCTION_SET are `sse', `sse2', `387, -`sse+387', and `sse2+387'. +`sse+387', and `sse2+387', `default', and `no'. The latter option, which +is equivalent to specifying `--disable-fpmath', has the effect of disabling +all floating point computation and, consequently, all the numerical +abstractions based on floating point numbers. On the other hand, there are configure options to request lesser degrees of optimization for the sake of debugging. These are, diff --git a/configure.ac b/configure.ac index baab52d..fdc7610 100644 --- a/configure.ac +++ b/configure.ac @@ -378,23 +378,24 @@ no) esac enableval=default +use_fpmath=yes fpmath_may_use_387=yes fpmath_may_use_sse=yes -AC_MSG_CHECKING([whether to select specific floating point arithmetics]) +AC_MSG_CHECKING([whether to use (a specific) floating point arithmetic]) AC_ARG_ENABLE(fpmath, AS_HELP_STRING([--enable-fpmath=INSTRUCTION_SET], - [select floating point arithmetics])) + [select floating point arithmetic])) case "${enableval}" in sse) AC_MSG_RESULT(sse) OPT_FLAGS="$OPT_FLAGS -msse -mfpmath=sse" - # The SSE instruction set only supports single precision arithmetics: - # double and extended precision arithmetics is still done using 387. + # The SSE instruction set only supports single precision arithmetic: + # double and extended precision arithmetic is still done using 387. ;; sse2) AC_MSG_RESULT(sse2) OPT_FLAGS="$OPT_FLAGS -msse2 -mfpmath=sse" - # SSE2 still does not support extended precision arithmetics. + # SSE2 still does not support extended precision arithmetic. ;; 387) AC_MSG_RESULT(387) @@ -418,7 +419,8 @@ default) AC_MSG_RESULT(default) ;; no) - AC_MSG_RESULT(default) + AC_MSG_RESULT(no) + use_fpmath=no ;; *) AC_MSG_ERROR([bad value ${enableval} for --enable-fpmath, needs sse, sse2, 387, sse+387, sse2+387, default or no]) @@ -427,12 +429,12 @@ esac if test x"$fpmath_may_use_387" = xyes then - AC_DEFINE(PPL_FPMATH_MAY_USE_387, 1, [Defined if floating point arithmetics may use the 387 unit.]) + AC_DEFINE(PPL_FPMATH_MAY_USE_387, 1, [Defined if floating point arithmetic may use the 387 unit.]) fi if test x"$fpmath_may_use_sse" = xyes then - AC_DEFINE(PPL_FPMATH_MAY_USE_SSE, 1, [Defined if floating point arithmetics may use the SSE instruction set.]) + AC_DEFINE(PPL_FPMATH_MAY_USE_SSE, 1, [Defined if floating point arithmetic may use the SSE instruction set.]) fi # Disable all transformations and optimizations that assume default @@ -663,8 +665,16 @@ AC_LANG(C++) # The PPL uses <cmath> for sqrt and other functions in several places. AC_SEARCH_LIBS([sqrt], [m]) -# Check for the possibility to control the FPU. -AC_CHECK_FPU_CONTROL +if test x"$use_fpmath" = xyes +then + # Check for the possibility to control the FPU. + AC_CHECK_FPU_CONTROL +else + ac_cv_can_control_fpu=0 +fi +AM_CONDITIONAL(CAN_CONTROL_FPU, test $ac_cv_can_control_fpu = 1) +AC_DEFINE_UNQUOTED(PPL_CAN_CONTROL_FPU, $ac_cv_can_control_fpu, + [Not zero if the FPU can be controlled.]) # Check whether for the C++ compiler the plain char type is signed. AC_CXX_PLAIN_CHAR_IS_SIGNED diff --git a/m4/ac_check_fpu_control.m4 b/m4/ac_check_fpu_control.m4 index e285f77..cac3a32 100644 --- a/m4/ac_check_fpu_control.m4 +++ b/m4/ac_check_fpu_control.m4 @@ -141,8 +141,5 @@ main() { ac_cv_can_control_fpu=0 ) ) -AM_CONDITIONAL(CAN_CONTROL_FPU, test $ac_cv_can_control_fpu = 1) -AC_DEFINE_UNQUOTED(PPL_CAN_CONTROL_FPU, $ac_cv_can_control_fpu, - [Not zero if the FPU can be controlled.]) AC_LANG_POP(C++) ])

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 20 Feb '11

20 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511787f4e1ad… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 23:16:46 2011 +0100 Congruence: remove the set_coefficient() method, and add a permute_columns() method instead. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91e98863a076… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 23:14:18 2011 +0100 Congruence_System: avoid using Congruence::set_coefficient() in add_unit_rows_and_columns(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dcbcd0fbae89… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 23:13:36 2011 +0100 Congruence: add FIXME comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=642901700fa9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 22:54:20 2011 +0100 Linear_Expression: add a set_space_dimension() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53e743c5e538… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 22:32:48 2011 +0100 Congruence_System: remove the non-const operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a53c3dc7296… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 22:26:33 2011 +0100 Grid: avoid using the non-const Congruence_System::operator[], in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e7c4e770f7c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 20:57:50 2011 +0100 Grid: prepare the simplify() method for further changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08192bd1f6d3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 20:42:07 2011 +0100 Grid: use the appropriate methods of Congruence instead of accessing the modulus and the inhomogeneous term directly, in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae47add734a9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 20:29:29 2011 +0100 Grid: use a switch instead of nested ifs and gotos, in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfa5dec7deed… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 20:24:26 2011 +0100 Congruence_System: add a release_row() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1db1d2389021… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 20:22:09 2011 +0100 Grid: avoid using Congruence::operator[], in reduce_congruence_with_equality(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=befdd040ead7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 20:21:30 2011 +0100 Add operator+=(), operator-=(), add_mul_assign() and sub_mul_assign() for congruences. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=394233eae7f0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 19:54:23 2011 +0100 Grid: avoid using the non-const Congruence_System::operator[], in conversion(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c9a049987b8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 19:53:28 2011 +0100 Grid: avoid using the non-const Congruence::operator[], in multiply_grid(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=278524bcc792… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 19:51:40 2011 +0100 Grid: avoid using the non-const Congruence_System::operator[], in remove_higher_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d9f176e7bb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 20:00:52 2011 +0100 Congruence_System: add a swap_rows() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efc45b451053… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 19:50:30 2011 +0100 Congruence_System: avoid using the non-const Congruence_System::operator[]. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac549e89e10c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 19:38:15 2011 +0100 Merge the Row_Flags class into Linear_Row::Flags. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0db87bcbd172… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 19:27:57 2011 +0100 A Row_Flags field is now contained in Linear_Row, instead of Sparse_Row and Dense_Row. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12e7aec5f5a2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 19:00:04 2011 +0100 Grid: avoid using the non-const Congruence_System::operator[], in construct(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7aff773e3d09… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 18:59:17 2011 +0100 Congruence: add a set_inhomogeneous_term() method(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=955bee2438e9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 18:25:13 2011 +0100 Grid: change the signature of the multiply_grid() helper method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e1c52f917451… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 18:24:45 2011 +0100 Grid: change the signature of the reduce_congruence_with_equality() helper method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c70fad4e560… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 15:02:53 2011 +0100 Congruence_System: avoid using resize_no_copy() in ascii_load(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d28d13516a85… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 15:01:16 2011 +0100 Grid: avoid using the Congruence_System::resize_no_copy() method and the non-const Congruence_System::operator[], in conversion(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fa1d0105f4f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 14:59:29 2011 +0100 Grid: remove a useless cast in set_empty(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b25f7de6bd64… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Feb 19 14:56:05 2011 +0100 Congruence_System: merge the increase_space_dimension() and hemove_higher_space_dimensions() methods into a single set_space_dimension() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35124181e4d2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Feb 18 23:05:55 2011 +0100 Congruence: add the scale() and affine_preimage() methods and use them in Congruence_System.

1 0

Parma Polyhedra Library 0.11.1
by Roberto Bagnara 20 Feb '11

20 Feb '11

We announce the availability of PPL 0.11.1, a new release of the Parma Polyhedra Library. This release includes several important bug fixes and performance improvements. The precise list of user-visible changes is available at http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11.1/NEWS For more information, please come and visit the PPL web site at http://www.cs.unipr.it/ppl/ On behalf of all the past and present developers listed at http://www.cs.unipr.it/ppl/Credits/ and in the file CREDITS, Abramo Bagnara Roberto Bagnara Patricia M. Hill Enea Zaffanella -- Prof. Roberto Bagnara CEO & CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, Italy I-43124 Parma, Italy http://www.cs.unipr.it/~bagnara/ http://bugseng.com/ mailto:bagnara@cs.unipr.it mailto:roberto.bagnara@bugseng.com

1 0

[GIT] ppl/w3ppl(master): Avoid parallelism: it impedes debugging.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/w3ppl Branch: master Commit: e5b72c19fa8d3f136c6e79b34713565d3691b318 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e5b72c19fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 18:07:06 2011 +0100 Avoid parallelism: it impedes debugging. --- bin/update_web_site | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index 8896da8..acc1b23 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -218,7 +218,7 @@ fi # Build the doxygen documentation. cd $top_dir/build/doc -make -j 6 -k world >MAKELOG.documentation 2>&1 +make -k world >MAKELOG.documentation 2>&1 if [ $? -ne 0 ] then echo "*** Cannot make world." >>$notification

1 0

[GIT] ppl/w3ppl(master): Use parallelism and do not stop on error.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/w3ppl Branch: master Commit: 6ef64f1f529cf7855d94e15a548694534ec0821a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=6ef64f1f52… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 17:04:36 2011 +0100 Use parallelism and do not stop on error. --- bin/update_web_site | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index dcf94ee..8896da8 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -218,7 +218,7 @@ fi # Build the doxygen documentation. cd $top_dir/build/doc -make world >MAKELOG.documentation 2>&1 +make -j 6 -k world >MAKELOG.documentation 2>&1 if [ $? -ne 0 ] then echo "*** Cannot make world." >>$notification

1 0

[GIT] ppl/w3ppl(master): Fixed redirection.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/w3ppl Branch: master Commit: 7fc0a8bab31c3e7a08cfcdd13ce75b0c7df06fc3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=7fc0a8bab3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 15:48:12 2011 +0100 Fixed redirection. --- bin/update_web_site | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index 3c8db83..dcf94ee 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -218,7 +218,7 @@ fi # Build the doxygen documentation. cd $top_dir/build/doc -make world >&MAKELOG.documentation +make world >MAKELOG.documentation 2>&1 if [ $? -ne 0 ] then echo "*** Cannot make world." >>$notification

1 0

[GIT] ppl/w3ppl(master): Two corrections concerning the location of the Git repositories.
by Roberto Bagnara 20 Feb '11

20 Feb '11

Module: ppl/w3ppl Branch: master Commit: e193e773cc920a1d2b3a8f00d48ede443e9f2fa5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e193e773cc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 20 15:10:17 2011 +0100 Two corrections concerning the location of the Git repositories. --- bin/update_web_site | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/update_web_site b/bin/update_web_site index 5b1b4d6..3c8db83 100755 --- a/bin/update_web_site +++ b/bin/update_web_site @@ -10,7 +10,7 @@ BRANCH=ppl-0_11-branch export PATH=/usr/local/bin:$PATH # Where the repository is. -remote_repository=ssh://git@git.cs.unipr.it/ppl/ppl +remote_repository=ssh://git@git.cs.unipr.it/ppl # The local directory used for building the documentation. top_dir=/tmp/w3ppl-update.$$ @@ -34,7 +34,7 @@ fetch_branch() { mkdir $module && (cd $module && git init && - git remote add origin $repo/$module.git -t $branch -m $branch && + git remote add origin $repo/$module -t $branch -m $branch && git fetch --depth=1 && git checkout --track -b $branch origin/$branch) }

1 0