[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: b5cac12e98ccfe3ced20cb26c3a3d6be2d0a9459
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5cac12e98ccfe3ced20cb26c3a3d6be2d0a9459

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr 16 13:28:34 2009 +0200

Updated.

---

 ChangeLog          |   87 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 Watchdog/ChangeLog |   42 +++++++++++++++++++++++++
 2 files changed, 129 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 8425a43..2e34398 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,90 @@
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* fedora/ppl-0.10.1-Makefile.patch,
+	fedora/ppl-0.10.2-Makefile.patch, fedora/ppl.hh, fedora/ppl.spec,
+	fedora/ppl_c.h, fedora/pwl.hh: Updated for PPL 0.10.2.
+
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* doc/libppl.3, doc/libppl_c.3: Version numbers fixed.
+
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* demos/ppl_lcdd/ppl_lcdd.1, demos/ppl_lpsol/ppl_lpsol.1,
+	doc/libppl.3, doc/libppl_c.3, doc/ppl-config.1,
+	doc/ppl-config_extra_man_text: Updated for PPL 0.10.2.
+
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* Watchdog/doc/Makefile.am, doc/Makefile.am: Added targets to have
+	`make -n dist' work as expected.
+
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* demos/ppl_lcdd/ppl_lcdd.cc: Usage string fixed: ppl_lcdd accepts
+	at most one input file.
+
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* Watchdog/src/Makefile.am, Watchdog/tests/Makefile.am,
+	demos/ppl_lcdd/Makefile.am, demos/ppl_lpsol/Makefile.am,
+	interfaces/C/Makefile.am, interfaces/C/tests/Makefile.am,
+	interfaces/Java/Makefile.am, interfaces/Java/jni/Makefile.am,
+	interfaces/Java/parma_polyhedra_library/Makefile.am,
+	interfaces/Java/tests/Makefile.am, interfaces/OCaml/Makefile.am,
+	interfaces/OCaml/tests/Makefile.am,
+	interfaces/Prolog/Ciao/Makefile.am,
+	interfaces/Prolog/GNU/Makefile.am, interfaces/Prolog/Makefile.am,
+	interfaces/Prolog/SICStus/Makefile.am,
+	interfaces/Prolog/SWI/Makefile.am,
+	interfaces/Prolog/XSB/Makefile.am,
+	interfaces/Prolog/YAP/Makefile.am,
+	interfaces/Prolog/tests/Makefile.am, src/Makefile.am,
+	tests/BD_Shape/Makefile.am, tests/Box/Makefile.am,
+	tests/Grid/Makefile.am, tests/MIP_Problem/Makefile.am,
+	tests/Octagonal_Shape/Makefile.am,
+	tests/Partially_Reduced_Product/Makefile.am,
+	tests/Polyhedron/Makefile.am, tests/Powerset/Makefile.am: Added
+	rules so that `make -n' and `make -n check' work.
+
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* doc/definitions.dox: Updated BHZ09b.
+
+2009-04-15  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* NEWS, tests/Polyhedron/memory1.cc: Test program
+	tests/Polyhedron/memory1 disabled on the zSeries s390x platform.
+
+2009-04-15  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* NEWS, README, TODO, configure.ac: Updated for PPL 0.10.2.
+
+2009-04-15  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* Watchdog/src/Makefile.am, interfaces/C/Makefile.am,
+	src/Makefile.am: Libtool -version-info updated for PPL 0.10.2.
+
+2009-04-15  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* m4/ac_check_gmp.m4: Accommodate version 4.3.0 of GMP.  Starting from GMP version 4.3.0 (released a few hours after PPL
+	0.10.1), the gmp_version variable always contains three parts.  In
+	previous versions the patchlevel was omitted if it was 0.  This
+	change broke our GMP detection procedure.
+
+2009-04-14  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* doc/README.doc: Improved.
+
+2009-04-14  Enea Zaffanella <zaffanella at cs.unipr.it>
+
+	* doc/README.doc: Updated to refer to git and to mention possible
+	names of TeX config files.
+
+2009-04-13  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* ChangeLog: Updated.
+
 2009-04-13  Roberto Bagnara <bagnara at cs.unipr.it>
 
 	* tests/Octagonal_Shape/affineimage1.cc: Disabled test10() on the
diff --git a/Watchdog/ChangeLog b/Watchdog/ChangeLog
index 4b7f4b3..6d3ea53 100644
--- a/Watchdog/ChangeLog
+++ b/Watchdog/ChangeLog
@@ -1,3 +1,45 @@
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* Watchdog/doc/Makefile.am, doc/Makefile.am: Added targets to have
+	`make -n dist' work as expected.
+
+2009-04-16  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* Watchdog/src/Makefile.am, Watchdog/tests/Makefile.am,
+	demos/ppl_lcdd/Makefile.am, demos/ppl_lpsol/Makefile.am,
+	interfaces/C/Makefile.am, interfaces/C/tests/Makefile.am,
+	interfaces/Java/Makefile.am, interfaces/Java/jni/Makefile.am,
+	interfaces/Java/parma_polyhedra_library/Makefile.am,
+	interfaces/Java/tests/Makefile.am, interfaces/OCaml/Makefile.am,
+	interfaces/OCaml/tests/Makefile.am,
+	interfaces/Prolog/Ciao/Makefile.am,
+	interfaces/Prolog/GNU/Makefile.am, interfaces/Prolog/Makefile.am,
+	interfaces/Prolog/SICStus/Makefile.am,
+	interfaces/Prolog/SWI/Makefile.am,
+	interfaces/Prolog/XSB/Makefile.am,
+	interfaces/Prolog/YAP/Makefile.am,
+	interfaces/Prolog/tests/Makefile.am, src/Makefile.am,
+	tests/BD_Shape/Makefile.am, tests/Box/Makefile.am,
+	tests/Grid/Makefile.am, tests/MIP_Problem/Makefile.am,
+	tests/Octagonal_Shape/Makefile.am,
+	tests/Partially_Reduced_Product/Makefile.am,
+	tests/Polyhedron/Makefile.am, tests/Powerset/Makefile.am: Added
+	rules so that `make -n' and `make -n check' work.
+
+2009-04-15  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* Watchdog/src/Makefile.am, interfaces/C/Makefile.am,
+	src/Makefile.am: Libtool -version-info updated for PPL 0.10.2.
+
+2009-04-11  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* .gitignore, Watchdog/doc/.gitignore, doc/.gitignore,
+	interfaces/Prolog/XSB/.gitignore: Added missing patterns.
+
+2009-04-11  Roberto Bagnara <bagnara at cs.unipr.it>
+
+	* ChangeLog, Watchdog/ChangeLog: Updated.
+
 2009-04-06  Roberto Bagnara <bagnara at cs.unipr.it>
 
 	* ChangeLog, Watchdog/ChangeLog: Updated.