February 2016 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Update version.
by Roberto Bagnara 11 Feb '16

11 Feb '16

Module: ppl/ppl Branch: master Commit: c34e02a8180f0478cb9538c7df7b07c654433a39 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c34e02a8180f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 11 13:31:26 2016 +0100 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 7ed20bd..c00a204 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], [1.2pre8], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Mark ChangeLog.
by Roberto Bagnara 11 Feb '16

11 Feb '16

Module: ppl/ppl Branch: master Commit: 5dd18cdb37ff33a825eeb168bc6a81de1080bf5d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5dd18cdb37ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 11 13:31:26 2016 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 82bcb01..d1de234 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2016-02-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * PPL 1.2 released. + 2016-02-10 Roberto Bagnara <roberto.bagnara(a)bugseng.com> * README: Updated.

1 0

[GIT] ppl/ppl(ppl-1_2-branch): Update version.
by Roberto Bagnara 11 Feb '16

11 Feb '16

Module: ppl/ppl Branch: ppl-1_2-branch Commit: c34e02a8180f0478cb9538c7df7b07c654433a39 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c34e02a8180f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 11 13:31:26 2016 +0100 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 7ed20bd..c00a204 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], [1.2pre8], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-1_2-branch): Mark ChangeLog.
by Roberto Bagnara 11 Feb '16

11 Feb '16

Module: ppl/ppl Branch: ppl-1_2-branch Commit: 5dd18cdb37ff33a825eeb168bc6a81de1080bf5d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5dd18cdb37ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 11 13:31:26 2016 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 82bcb01..d1de234 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2016-02-11 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * PPL 1.2 released. + 2016-02-10 Roberto Bagnara <roberto.bagnara(a)bugseng.com> * README: Updated.

1 0

[GIT] ppl/ppl(ppl-1_2-branch): Updated.
by Roberto Bagnara 11 Feb '16

11 Feb '16

Module: ppl/ppl Branch: ppl-1_2-branch Commit: 32df614c49c99b69bed6400d0868d24f96ab1c2b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32df614c49c9… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Feb 11 11:19:57 2016 +0100 Updated. --- configure.ac | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/ppl-config_extra_man_text | 10 +++++----- 5 files changed, 9 insertions(+), 9 deletions(-) diff --git a/configure.ac b/configure.ac index dd9361a..7ed20bd 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], [1.2pre7], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre8], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f6f4938..69e6e04 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_LCDD "1" "October 2013" "ppl_lcdd 1.1" "User Commands" +.TH PPL_LCDD "1" "February 2016" "ppl_lcdd 1.2" "User Commands" .SH NAME ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index 87162b1..df53971 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_LPSOL "1" "October 2013" "ppl_lpsol 1.1" "User Commands" +.TH PPL_LPSOL "1" "February 2016" "ppl_lpsol 1.2" "User Commands" .SH NAME ppl_lpsol \- a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 4f648c8..df4447f 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_PIPS "1" "October 2013" "ppl_pips 1.1" "User Commands" +.TH PPL_PIPS "1" "February 2016" "ppl_pips 1.2" "User Commands" .SH NAME ppl_pips \- a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index b924d08..3a36ae3 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -4,27 +4,27 @@ .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR .

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 11 Feb '16

11 Feb '16

Module: ppl/ppl Branch: master Commit: 32df614c49c99b69bed6400d0868d24f96ab1c2b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32df614c49c9… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Feb 11 11:19:57 2016 +0100 Updated. --- configure.ac | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/ppl-config_extra_man_text | 10 +++++----- 5 files changed, 9 insertions(+), 9 deletions(-) diff --git a/configure.ac b/configure.ac index dd9361a..7ed20bd 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], [1.2pre7], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre8], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f6f4938..69e6e04 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_LCDD "1" "October 2013" "ppl_lcdd 1.1" "User Commands" +.TH PPL_LCDD "1" "February 2016" "ppl_lcdd 1.2" "User Commands" .SH NAME ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index 87162b1..df53971 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_LPSOL "1" "October 2013" "ppl_lpsol 1.1" "User Commands" +.TH PPL_LPSOL "1" "February 2016" "ppl_lpsol 1.2" "User Commands" .SH NAME ppl_lpsol \- a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 4f648c8..df4447f 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_PIPS "1" "October 2013" "ppl_pips 1.1" "User Commands" +.TH PPL_PIPS "1" "February 2016" "ppl_pips 1.2" "User Commands" .SH NAME ppl_pips \- a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index b924d08..3a36ae3 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -4,27 +4,27 @@ .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/\fR .

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: b0fbd976ddbaa599d25f6b1d3c285b633837bf48 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b0fbd976ddba… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 22:07:33 2016 +0100 Updated. --- ChangeLog | 13 +++++++++++++ 1 files changed, 13 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index b8be203..82bcb01 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,18 @@ 2016-02-10 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * README: Updated. + +2016-02-10 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * NEWS: Updated. + +2016-02-10 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * ChangeLog, doc/libppl.3, doc/libppl_c.3, doc/ppl-config.1: + Updated. + +2016-02-10 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * config.guess, config.sub: Updated. 2016-02-10 Roberto Bagnara <roberto.bagnara(a)bugseng.com>

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: 17c8f764368eb9eefa7787588e036fc1adc65376 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17c8f764368e… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 22:06:28 2016 +0100 Updated. --- README | 136 ++++++++++++++++++++++++++++++++++++---------------------------- 1 files changed, 77 insertions(+), 59 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=17c8f764…

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: 4d25ba5cb437d4159d8004c8193eb14282fde8c1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d25ba5cb437… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 21:41:00 2016 +0100 Updated. --- NEWS | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index 49ff56f..baff7b0 100644 --- a/NEWS +++ b/NEWS @@ -9,7 +9,7 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- -NEWS for version 1.2 (released date to be decided) +NEWS for version 1.2 (released on February 11, 2016) -------------------------------------------------------------------------- New and Changed Features

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 10 Feb '16

10 Feb '16

Module: ppl/ppl Branch: master Commit: 0d4d67d35e2428ed7523105a6c6a5dea3291b73b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d4d67d35e24… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Wed Feb 10 21:39:09 2016 +0100 Updated. --- ChangeLog | 3167 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ doc/libppl.3 | 8 +- doc/libppl_c.3 | 16 +- doc/ppl-config.1 | 12 +- 4 files changed, 3185 insertions(+), 18 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=0d4d67d3…

1 0