March 2010 - PPL-devel - BUGSENG Mailman

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

09 Mar '10

Module: ppl/ppl Branch: master Commit: 114f0e38474584e74743f67fd1203487241b60e8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114f0e384745… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:36:12 2010 +0400 Updated. --- doc/devref-language-interface.doxyconf.in | 97 ++++++++++-------- doc/devref.doxyconf-html.in | 155 +++++++++++++++------------- doc/devref.doxyconf-latex.in | 157 +++++++++++++++-------------- doc/user-language-interface.doxyconf.in | 97 ++++++++++-------- doc/user.doxyconf-html.in | 103 ++++++++++--------- doc/user.doxyconf-latex.in | 105 +++++++++++--------- 6 files changed, 384 insertions(+), 330 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=114f0e38…

1 0

[GIT] ppl/ppl(master): Missing files added.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: master Commit: f06b3826db776f932cb42a63778ce272baf4c560 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06b3826db77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:31:49 2010 +0400 Missing files added. --- doc/devref.doxyconf-latex.in | 46 ++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 46 insertions(+), 0 deletions(-) diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index 7c24163..7fd2496 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -314,6 +314,52 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Octagonal_Shape.inlines.hh \ @srcdir@/../src/Octagonal_Shape.templates.hh \ @srcdir@/../src/Octagonal_Shape.cc \ + @srcdir@/../src/PIP_Problem.cc \ + @srcdir@/../src/PIP_Problem.defs.hh \ + @srcdir@/../src/PIP_Problem.inlines.hh \ + @srcdir@/../src/PIP_Problem.templates.hh \ + @srcdir@/../src/PIP_Problem.types.hh \ + @srcdir@/../src/PIP_Tree.defs.hh \ + @srcdir@/../src/PIP_Tree.inlines.hh \ + @srcdir@/../src/PIP_Tree.types.hh \ + @srcdir@/../src/Floating_Point_Expression.types.hh \ + @srcdir@/../src/Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Floating_Point_Expression.templates.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Cast_Floating_Point_Expression.templates.hh \ + @srcdir@/../src/Constant_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Constant_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Constant_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Difference_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Difference_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Difference_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Difference_Floating_Point_Expression.templates.hh \ + @srcdir@/../src/Division_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Division_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Division_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Division_Floating_Point_Expression.templates.hh \ + @srcdir@/../src/Multiplication_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Multiplication_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Multiplication_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Multiplication_Floating_Point_Expression.templates.hh \ + @srcdir@/../src/Opposite_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Opposite_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Opposite_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Sum_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Sum_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Sum_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Sum_Floating_Point_Expression.templates.hh \ + @srcdir@/../src/Variable_Floating_Point_Expression.types.hh \ + @srcdir@/../src/Variable_Floating_Point_Expression.defs.hh \ + @srcdir@/../src/Variable_Floating_Point_Expression.inlines.hh \ + @srcdir@/../src/Linear_Form.types.hh \ + @srcdir@/../src/Linear_Form.defs.hh \ + @srcdir@/../src/Linear_Form.inlines.hh \ + @srcdir@/../src/Linear_Form.templates.hh \ + @srcdir@/../src/Linear_Form.cc \ @srcdir@/gpl.dox \ @srcdir@/fdl.dox INPUT_ENCODING = UTF-8

1 0

[GIT] ppl/ppl(termination): Description of the PR method improved.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: a284ae47e8ec209d8235bc21f2802d6023fec2ec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a284ae47e8ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:11:32 2010 +0400 Description of the PR method improved. --- src/termination.cc | 17 ++++++++++------- 1 files changed, 10 insertions(+), 7 deletions(-) diff --git a/src/termination.cc b/src/termination.cc index 3479d24..40911c5 100644 --- a/src/termination.cc +++ b/src/termination.cc @@ -199,9 +199,12 @@ fill_constraint_systems_MS(const Constraint_System& cs, \vect{b}_B \\ \vect{b}_C \end{pmatrix}, \f] - where \f$ A_B \in \Qset^r_n\f$, \f$ A_C \in \Qset^s_n\f$, - \f$ A'_C \in \Qset^s_n\f$, \f$ \vect{b}_B \in \Qset^r\f$, - \f$ \vect{b}_C \in \Qset^s\f$. + where + \f$ \mat{A}_B \in \Qset^{r \times n} \f$, + \f$ \mat{A}_C \in \Qset^{s \times n} \f$, + \f$ \mat{A}'_C \in \Qset^{s \times n} \f$, + \f$ \vect{b}_B \in \Qset^r \f$, + \f$ \vect{b}_C \in \Qset^s \f$. The corresponding system is: \f[ \begin{aligned} @@ -215,8 +218,8 @@ fill_constraint_systems_MS(const Constraint_System& cs, &< 0, \end{aligned} \f] - where \f$ \vect{v}_1 \f$, \f$ \vect{v}_2 \f$ and \f$ \vect{v}_3 \f$ - are constrained to be nonnegative. + where \f$ \vect{v}_1 \in \Qset_+^r \f$, \f$ \vect{v}_2 \in \Qset_+^r \f$, + \f$ \vect{v}_3 \in \Qset_+^s \f$. The space of ranking functions is then spanned by \f$ \vect{v}_3^\transpose A_C' \vect x \f$. @@ -252,8 +255,8 @@ fill_constraint_systems_MS(const Constraint_System& cs, &> 0, \end{aligned} \f] - where \f$ \vect{u}_1 \f$, \f$ \vect{u}_2 \f$ and \f$ \vect{u}_3 \f$ - are constrained to be nonpositive. + where \f$ \vect{u}_1 \in \Qset_-^r \f$, \f$ \vect{u}_2 \in \Qset_-^r \f$, + \f$ \vect{u}_3 \in \Qset_-^s \f$. The space of ranking functions is then spanned by \f$ \vect{u}_3^\transpose E_C' \vect x \f$.

1 0

[GIT] ppl/ppl(termination): Merge branch 'master' into termination
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: cd140775f60657dd4419ff5e5f2fd1e2074e2a94 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cd140775f606… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 09:03:36 2010 +0400 Merge branch 'master' into termination ---

1 0

[GIT] ppl/ppl(termination): Restored line erased by mistake.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: 4e2cacd9738634f10872d5e63f3fa9551d546a7e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2cacd97386… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 08:52:23 2010 +0400 Restored line erased by mistake. --- doc/definitions.dox | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 20c633b..fa9bbf7 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2637,6 +2637,7 @@ Generic concrete <EM>floating point expressions</EM> on \f$\mathbb{F}_t\f$ are represented by the \link Parma_Polyhedra_Library::Floating_Point_Expression \c Floating_Point_Expression \endlink abstract class. Its concrete derivate classes are: + - \link Parma_Polyhedra_Library::Cast_Floating_Point_Expression \c Cast_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Constant_Floating_Point_Expression \c Constant_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Variable_Floating_Point_Expression \c Variable_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Opposite_Floating_Point_Expression \c Opposite_Floating_Point_Expression \endlink,

1 0

[GIT] ppl/ppl(master): Restored line erased by mistake.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: master Commit: 4e2cacd9738634f10872d5e63f3fa9551d546a7e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2cacd97386… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 08:52:23 2010 +0400 Restored line erased by mistake. --- doc/definitions.dox | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 20c633b..fa9bbf7 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2637,6 +2637,7 @@ Generic concrete <EM>floating point expressions</EM> on \f$\mathbb{F}_t\f$ are represented by the \link Parma_Polyhedra_Library::Floating_Point_Expression \c Floating_Point_Expression \endlink abstract class. Its concrete derivate classes are: + - \link Parma_Polyhedra_Library::Cast_Floating_Point_Expression \c Cast_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Constant_Floating_Point_Expression \c Constant_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Variable_Floating_Point_Expression \c Variable_Floating_Point_Expression \endlink, - \link Parma_Polyhedra_Library::Opposite_Floating_Point_Expression \c Opposite_Floating_Point_Expression \endlink,

1 0

[GIT] ppl/ppl(termination): Merge branch 'master' into termination
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: 7d037e04dd8bf3d0713845d41b4eb155ff911912 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d037e04dd8b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:05:31 2010 +0400 Merge branch 'master' into termination ---

1 0

[GIT] ppl/ppl(termination): Merge branch 'master' into floating_point
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: f9fbde6765402ee509a03d952fdae02115c266fa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9fbde676540… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:04:15 2010 +0400 Merge branch 'master' into floating_point Conflicts: doc/definitions.dox ---

1 0

[GIT] ppl/ppl(termination): Version number bumped.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:57 2010 +0400 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 9196291..9913e1a 100644 --- a/configure.ac +++ b/configure.ac @@ -23,7 +23,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.11pre12], [ppl-devel(a)cs.unipr.it] [ppl]) +AC_INIT([the Parma Polyhedra Library], [0.11pre13], [ppl-devel(a)cs.unipr.it] [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(termination): Indentation fixed.
by Roberto Bagnara 09 Mar '10

09 Mar '10

Module: ppl/ppl Branch: termination Commit: 71dcb7f32c6508034075af6673086932649ebe0c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c65… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:37 2010 +0400 Indentation fixed. --- src/Pointset_Powerset.inlines.hh | 16 ++++++++-------- 1 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/Pointset_Powerset.inlines.hh b/src/Pointset_Powerset.inlines.hh index a5e8fc3..b1bf7ec 100644 --- a/src/Pointset_Powerset.inlines.hh +++ b/src/Pointset_Powerset.inlines.hh @@ -51,7 +51,7 @@ Pointset_Powerset<PSET>::max_space_dimension() { template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(dimension_type num_dimensions, - Degenerate_Element kind) + Degenerate_Element kind) : Base(), space_dim(num_dimensions) { Pointset_Powerset& x = *this; if (kind == UNIVERSE) @@ -62,14 +62,14 @@ Pointset_Powerset<PSET>::Pointset_Powerset(dimension_type num_dimensions, template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const Pointset_Powerset& y, - Complexity_Class) + Complexity_Class) : Base(y), space_dim(y.space_dim) { } template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const C_Polyhedron& ph, - Complexity_Class complexity) + Complexity_Class complexity) : Base(), space_dim(ph.space_dimension()) { Pointset_Powerset& x = *this; if (complexity == ANY_COMPLEXITY) { @@ -86,7 +86,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const C_Polyhedron& ph, template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const NNC_Polyhedron& ph, - Complexity_Class complexity) + Complexity_Class complexity) : Base(), space_dim(ph.space_dimension()) { Pointset_Powerset& x = *this; if (complexity == ANY_COMPLEXITY) { @@ -102,7 +102,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const NNC_Polyhedron& ph, template <typename PSET> inline Pointset_Powerset<PSET>::Pointset_Powerset(const Grid& gr, - Complexity_Class) + Complexity_Class) : Base(), space_dim(gr.space_dimension()) { Pointset_Powerset& x = *this; if (!gr.is_empty()) { @@ -133,7 +133,7 @@ Pointset_Powerset<PSET> template <typename PSET> template <typename Interval> Pointset_Powerset<PSET>::Pointset_Powerset(const Box<Interval>& box, - Complexity_Class) + Complexity_Class) : Base(), space_dim(box.space_dimension()) { Pointset_Powerset& x = *this; if (!box.is_empty()) @@ -144,7 +144,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const Box<Interval>& box, template <typename PSET> template <typename T> Pointset_Powerset<PSET>::Pointset_Powerset(const Octagonal_Shape<T>& os, - Complexity_Class) + Complexity_Class) : Base(), space_dim(os.space_dimension()) { Pointset_Powerset& x = *this; if (!os.is_empty()) @@ -155,7 +155,7 @@ Pointset_Powerset<PSET>::Pointset_Powerset(const Octagonal_Shape<T>& os, template <typename PSET> template <typename T> Pointset_Powerset<PSET>::Pointset_Powerset(const BD_Shape<T>& bds, - Complexity_Class) + Complexity_Class) : Base(), space_dim(bds.space_dimension()) { Pointset_Powerset& x = *this; if (!bds.is_empty())

1 0