Module: ppl/ppl Branch: ppl-0_11-branch Commit: 968a31a322a9b78479360cb4a5896c9c18caf2ae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=968a31a322a9b...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 25 19:46:05 2011 +0100
Prepare for release 0.11.1.
---
NEWS | 2 ++ README | 39 ++++++++++++++++++--------------------- Watchdog/src/Makefile.am | 1 + configure.ac | 2 +- src/Makefile.am | 1 + 5 files changed, 23 insertions(+), 22 deletions(-)
diff --git a/NEWS b/NEWS index d487b0e..15dedc3 100644 --- a/NEWS +++ b/NEWS @@ -48,6 +48,8 @@ o Fixed a bug whereby the argument of all the methods
was not checked correctly for space dimension compatibility.
+o Portability improved. +
-------------------------------------------------------------------------- NEWS for version 0.11 (released on August 2, 2010) diff --git a/README b/README index b1b435a..49f1d4b 100644 --- a/README +++ b/README @@ -3,10 +3,10 @@ Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com) See below for the copying conditions.
-Parma Polyhedra Library (Release 0.11) -====================================== +Parma Polyhedra Library (Release 0.11.1) +========================================
-This is the release 0.11 of the Parma Polyhedra Library: +This is the release 0.11.1 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions.
@@ -64,10 +64,10 @@ See http://www.cs.unipr.it/ppl/ for more information on the PPL. For any additional questions you might have, please do not hesitate to write to ppl-devel@cs.unipr.it.
-Here is the contents of the PPL 0.11 source distribution -(44 directories, 1589 files): +Here is the contents of the PPL 0.11.1 source distribution +(44 directories, 1586 files):
-ppl-0.11 +ppl-0.11.1 |-- BUGS |-- COPYING |-- CREDITS @@ -444,21 +444,18 @@ ppl-0.11 | |-- libppl.3 | |-- libppl_c.3 | |-- ppl-config.1 -| |-- ppl-user-0.11pre25-html.tar.gz -| |-- ppl-user-0.11pre25.pdf -| |-- ppl-user-0.11pre25.ps.gz -| |-- ppl-user-c-interface-0.11pre25-html.tar.gz -| |-- ppl-user-c-interface-0.11pre25.pdf -| |-- ppl-user-c-interface-0.11pre25.ps.gz -| |-- ppl-user-java-interface-0.11pre25-html.tar.gz -| |-- ppl-user-java-interface-0.11pre25.pdf -| |-- ppl-user-java-interface-0.11pre25.ps.gz -| |-- ppl-user-ocaml-interface-0.11pre25-html.tar.gz -| |-- ppl-user-ocaml-interface-0.11pre25.pdf -| |-- ppl-user-ocaml-interface-0.11pre25.ps.gz -| |-- ppl-user-prolog-interface-0.11pre25-html.tar.gz -| |-- ppl-user-prolog-interface-0.11pre25.pdf -| |-- ppl-user-prolog-interface-0.11pre25.ps.gz +| |-- ppl-user-0.11.1-html.tar.gz +| |-- ppl-user-0.11.1.pdf +| |-- ppl-user-0.11.1.ps.gz +| |-- ppl-user-c-interface-0.11.1-html.tar.gz +| |-- ppl-user-c-interface-0.11.1.pdf +| |-- ppl-user-c-interface-0.11.1.ps.gz +| |-- ppl-user-ocaml-interface-0.11.1-html.tar.gz +| |-- ppl-user-ocaml-interface-0.11.1.pdf +| |-- ppl-user-ocaml-interface-0.11.1.ps.gz +| |-- ppl-user-prolog-interface-0.11.1-html.tar.gz +| |-- ppl-user-prolog-interface-0.11.1.pdf +| |-- ppl-user-prolog-interface-0.11.1.ps.gz | |-- ppl.sty | |-- user-language-interface.doxyconf.in | |-- user-language-interface.tex diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am index a5ef5ad..1ac2ae8 100644 --- a/Watchdog/src/Makefile.am +++ b/Watchdog/src/Makefile.am @@ -95,6 +95,7 @@ pwl_header.hh # 0.7 0.10.1 4:0:0 # 0.7 0.10.2 4:0:0 # 0.8 0.11 5:0:0 +# 0.8 0.11.1 5:0:0
LIBPWL_LT_CURRENT = 5 LIBPWL_LT_REVISION = 0 diff --git a/configure.ac b/configure.ac index 1244dd4..5005cca 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,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.11.1pre3], [ppl-devel@cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11.1pre4], [ppl-devel@cs.unipr.it], [ppl])
# Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/src/Makefile.am b/src/Makefile.am index 238708b..b876d1e 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -56,6 +56,7 @@ # 0.10.1 8:0:1 # 0.10.2 8:0:1 # 0.11 9:0:0 +# 0.11.1 9:0:0
LIBPPL_LT_CURRENT = 9 LIBPPL_LT_REVISION = 0