October 2013 - PPL-devel - BUGSENG Mailman

Parma Polyhedra Library 1.1
by Roberto Bagnara 29 Oct '13

29 Oct '13

The core development team is very pleased to announce the availability of PPL 1.1, a new release of the Parma Polyhedra Library. This release includes support for "positive time elapse," a new operator on polyhedra, improvements to the Java interface, several portability improvements and a few bug fixes. The precise list of user-visible changes is below. For more information, please come and visit the new PPL web site at http://bugseng.com/products/ppl On behalf of all the past and present developers listed at http://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -------------------------------------------------------------------------- NEWS for version 1.1 (released on October 28, 2013) -------------------------------------------------------------------------- New and Changed Features ======================== o Added a new operator on polyhedra: the positive time elapse. o In the Java language interface: - The constraint/generator/... system classes now extend the ArrayList generic container (rather than Vector); - Variable objects are now built from a long (rather than int) value, thereby matching the type used elsewhere for space dimensions; - added new static method to Variable class void setStringifier(Variable_Stringifier) where Variable_Stringifier is an interface allowing for customization of the output routine for variable's names (see example in interfaces/Java/tests/Variable_Output_test1.java); - added value NOT_EQUAL to enumeration Relation_Symbol. Bugfixes ======== o Portability improved. o Fixed a precision regression in Polyhedron method void drop_some_non_integer_points(const Variables_Set&, Complexity_Class); o In the Java language interface, fixed a C++/Java conversion error whereby the construction of a valid Variable object in JNI code was leading to an exception being thrown. The bug has only been observed on 32-bit builds. o In the Java interface, fixed declaration of methods void drop_some_non_integer_points(...); so as to accept a Complexity_Class enum value. o Fixed an issue in method MIP_Problem::OK() whereby the method was trying to enforce a non-invariant condition. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

1 0

[GIT] ppl/ppl(ppl-1_1-branch): Update version.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: ppl-1_1-branch Commit: eefc370be3aeae7487a389dbce049beaffafeb10 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eefc370be3ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 28 13:38:33 2013 +0100 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 39ade54..bf47010 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.1pre14], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-1_1-branch): Mark ChangeLog.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: ppl-1_1-branch Commit: 703378ad0497ba3c989a609950a9de12e21ca89c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=703378ad0497… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 28 13:38:33 2013 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 3b08901..ee8e117 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2013-10-28 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * PPL 1.1 released. + 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> * doc/devref-language-interface.doxyconf.in,

1 0

[GIT] ppl/ppl(ppl-1_1-branch): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: ppl-1_1-branch Commit: dacf2193128a992f330ebfb76793dbd01d3efabe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dacf2193128a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 13:30:13 2013 +0100 Updated. --- ChangeLog | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6fd2e9e..3b08901 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,24 @@ 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/devref-language-interface.doxyconf.in, + doc/devref.doxyconf-html.in, doc/devref.doxyconf-latex.in, + doc/user-language-interface.doxyconf.in, doc/user.doxyconf-html.in, + doc/user.doxyconf-latex.in: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * src/globals_defs.hh: Worked around a Doxygen bug. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * NEWS: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * ChangeLog: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/definitions.dox: Label updated. 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com>

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: dacf2193128a992f330ebfb76793dbd01d3efabe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dacf2193128a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 13:30:13 2013 +0100 Updated. --- ChangeLog | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6fd2e9e..3b08901 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,24 @@ 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/devref-language-interface.doxyconf.in, + doc/devref.doxyconf-html.in, doc/devref.doxyconf-latex.in, + doc/user-language-interface.doxyconf.in, doc/user.doxyconf-html.in, + doc/user.doxyconf-latex.in: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * src/globals_defs.hh: Worked around a Doxygen bug. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * NEWS: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * ChangeLog: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/definitions.dox: Label updated. 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com>

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: bbcad29a4724c7ce307411a49f92138618225746 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbcad29a4724… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 13:02:34 2013 +0100 Updated. --- doc/devref-language-interface.doxyconf.in | 20 ++++++++++++++++++-- doc/devref.doxyconf-html.in | 20 ++++++++++++++++++-- doc/devref.doxyconf-latex.in | 20 ++++++++++++++++++-- doc/user-language-interface.doxyconf.in | 20 ++++++++++++++++++-- doc/user.doxyconf-html.in | 20 ++++++++++++++++++-- doc/user.doxyconf-latex.in | 20 ++++++++++++++++++-- 6 files changed, 108 insertions(+), 12 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=bbcad29a…

1 0

[GIT] ppl/ppl(master): Worked around a Doxygen bug.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: 637c3cfce1b6e6194cf4a7f8e1bdd473917fe472 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637c3cfce1b6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 12:42:02 2013 +0100 Worked around a Doxygen bug. --- src/globals_defs.hh | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/src/globals_defs.hh b/src/globals_defs.hh index 9ac1915..d5907b2 100644 --- a/src/globals_defs.hh +++ b/src/globals_defs.hh @@ -424,6 +424,9 @@ template <typename T, long long v, bool prefer_signed = true, struct Constant_ : public TConstant<T, v> { }; +//! \cond +// Keep Doxygen off until it learns how to deal properly with `||'. + template <typename T, long long v, bool prefer_signed> struct Constant_<T, v, prefer_signed, typename Enable_If<(Fit<typename C_Integer<T>::smaller_signed_type, v>::value @@ -440,6 +443,8 @@ struct Constant_<T, v, prefer_signed, : public Constant_<typename C_Integer<T>::smaller_unsigned_type, v, prefer_signed> { }; +//! \endcond + template <long long v, bool prefer_signed = true> struct Constant : public Constant_<long long, v, prefer_signed> { };

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: 8391990970df4c26d8bccc9ad41d68beaea99f50 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8391990970df… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 09:19:59 2013 +0100 Updated. --- NEWS | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index 2b035af..3fc1d9b 100644 --- a/NEWS +++ b/NEWS @@ -9,12 +9,14 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- -NEWS for version 1.1 (released date to be decided) +NEWS for version 1.1 (released on October 28, 2013) -------------------------------------------------------------------------- New and Changed Features ======================== +o Added a new operator on polyhedra: the positive time elapse. + o In the Java language interface: - The constraint/generator/... system classes now extend the ArrayList

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: f993d2f43436194cbf417c1c976f307298ae152a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f993d2f43436… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 09:19:35 2013 +0100 Updated. --- ChangeLog | 2673 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 2673 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f993d2f4…

1 0

[GIT] ppl/ppl(master): Label updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: 346cfc0d619893a05f79da7d53e454f556da5c6b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=346cfc0d6198… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 09:04:37 2013 +0100 Label updated. --- doc/definitions.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index eae3ce5..6565e52 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1586,7 +1586,7 @@ Note that the above set might not be an NNC polyhedron. \subsection Positive_Time_Elapse_Operator Positive Time-Elapse Operator The <EM>positive time-elapse</EM> operator has been defined in -\ref BFM11 "[BFM11,BFM12]". +\ref BFM11 "[BFM11,BFM13]". The operator provided by the library works on NNC polyhedra. For any two NNC polyhedra \f$\cP, \cQ \in \Pset_n\f$, the positive time-elapse between \f$\cP\f$ and \f$\cQ\f$, denoted \f$ \cP

1 0