- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added a point about the new drop_some_non_integer_points() methods.
by Roberto Bagnara 10 Apr '10

10 Apr '10

Module: ppl/ppl Branch: master Commit: b18b92fc50ddb62887f6d42a4d87f74a7fe0f452 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b18b92fc50dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 12:16:46 2010 +0200 Added a point about the new drop_some_non_integer_points() methods. --- NEWS | 10 ++++++++++ 1 files changed, 10 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 88347c0..0ed5d9e 100644 --- a/NEWS +++ b/NEWS @@ -23,6 +23,16 @@ o New "deterministic" timeout computation facilities: it is now possible from the actual computation environment (CPU, operating system, etc.). Still under beta testing. +o All the PPL semantic objects provide new methods + + void drop_some_non_integer_points(Complexity_Class) + void drop_some_non_integer_points(const Variables_Set&, + Complexity_Class) + + which possibly tighten the object by dropping some points with + non-integer coordinates (for the space dimensions corresponding to + `vars'), within a certain computational complexity bound. + o New Linear_Expression methods bool is_zero() const

1 0

[GIT] ppl/ppl(sparse_matrices): Renamed Unlimited_Sparse_Row into Unlimited_Sparse_Row_Over_Linear_Sequence . Now Unlimited_Sparse_Row is a typedef, that depends on the selected compile option.
by Marco Poletti 10 Apr '10

10 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: 349fc7a1d8c56d0dabb01444fe6cf66a844a43b9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=349fc7a1d8c5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Apr 10 18:08:05 2010 +0200 Renamed Unlimited_Sparse_Row into Unlimited_Sparse_Row_Over_Linear_Sequence. Now Unlimited_Sparse_Row is a typedef, that depends on the selected compile option. --- src/CO_Tree.cc | 16 +- src/CO_Tree.defs.hh | 7 + src/CO_Tree.inlines.hh | 5 + src/Makefile.am | 16 +- src/Unlimited_Sparse_Row.defs.hh | 520 +------------------- src/Unlimited_Sparse_Row.types.hh | 13 +- src/Unlimited_Sparse_Row_CO_Tree_Backend.defs.hh | 246 --------- ...Unlimited_Sparse_Row_CO_Tree_Backend.inlines.hh | 188 ------- ...end.cc => Unlimited_Sparse_Row_Over_CO_Tree.cc} | 4 +- src/Unlimited_Sparse_Row_Over_CO_Tree.defs.hh | 390 ++++++++++++++ src/Unlimited_Sparse_Row_Over_CO_Tree.inlines.hh | 452 ++++++++++++++++ ... => Unlimited_Sparse_Row_Over_CO_Tree.types.hh} | 8 +- ...> Unlimited_Sparse_Row_Over_Linear_Sequence.cc} | 31 +- ...limited_Sparse_Row_Over_Linear_Sequence.defs.hh | 545 ++++++++++++++++++++ ...ted_Sparse_Row_Over_Linear_Sequence.inlines.hh} | 193 ++++---- ...d_Sparse_Row_Over_Linear_Sequence.templates.hh} | 35 +- ...mited_Sparse_Row_Over_Linear_Sequence.types.hh} | 8 +- 17 files changed, 1589 insertions(+), 1088 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=349fc7a1…

1 0

[GIT] ppl/ppl(sparse_matrices): Add new classes: CO_Tree and Unlimited_Sparse_Row_CO_Tree_backend. Add tests for CO_Tree. Avoid conditional inclusion of headers.
by Marco Poletti 10 Apr '10

10 Apr '10

Module: ppl/ppl Branch: sparse_matrices Commit: 7b92c7d8d25de211bf34e02816a2f8fdd475ebf2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b92c7d8d25d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Apr 10 15:03:04 2010 +0200 Add new classes: CO_Tree and Unlimited_Sparse_Row_CO_Tree_backend. Add tests for CO_Tree. Avoid conditional inclusion of headers. --- configure.ac | 1 + src/CO_Tree.cc | 762 +++++ src/CO_Tree.defs.hh | 449 +++ src/CO_Tree.inlines.hh | 825 +++++ src/CO_Tree.types.hh | 21 + src/Dense_Row.inlines.hh | 12 + src/MIP_Problem.defs.hh | 7 - src/Makefile.am | 10 + src/PIP_Problem.defs.hh | 8 +- src/Unlimited_Sparse_Row.defs.hh | 24 +- src/Unlimited_Sparse_Row_CO_Tree_Backend.cc | 29 + src/Unlimited_Sparse_Row_CO_Tree_Backend.defs.hh | 246 ++ ...Unlimited_Sparse_Row_CO_Tree_Backend.inlines.hh | 188 ++ src/Unlimited_Sparse_Row_CO_Tree_Backend.types.hh | 21 + tests/CO_Tree/.gitignore | 1 + tests/CO_Tree/Makefile.am | 77 + tests/CO_Tree/cotree1.cc | 3215 ++++++++++++++++++++ tests/Makefile.am | 1 + 18 files changed, 5881 insertions(+), 16 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7b92c7d8…

1 0

[GIT] ppl/ppl(master): Tentative release date is May 8, 2010. Reorganized and improved some news items.
by Roberto Bagnara 10 Apr '10

10 Apr '10

Module: ppl/ppl Branch: master Commit: 31f6a807bebbc51442f62c1bd1a0c2d71eb3285a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31f6a807bebb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 11:33:41 2010 +0200 Tentative release date is May 8, 2010. Reorganized and improved some news items. --- NEWS | 78 +++++++++++++++++++++++++++++++++-------------------------------- 1 files changed, 40 insertions(+), 38 deletions(-) diff --git a/NEWS b/NEWS index 74781bc..88347c0 100644 --- a/NEWS +++ b/NEWS @@ -4,45 +4,24 @@ Parma Polyhedra Library NEWS -- history of user-visible changes -------------------------------------------------------------------------- -NEWS for version 0.11 (released date to be decided) +NEWS for version 0.11 (to be released on May 8, 2010) -------------------------------------------------------------------------- New and Changed Features ======================== -o Implementation of general (C and NNC) polyhedra speeded up. - -o When the PPL has been configured with - CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization - procedure checks that the FPU can indeed be controlled and fails if - that is not the case. - -o New configure option --with-gmp-prefix supersedes the (now removed) - options --with-libgmp-prefix and --with-libgmpxx-prefix. +o New class PIP_Problem provides a Parametric Integer Programming + (PIP) problem solver (mainly based on P. Feautrier's + specification). The implementation combines a parametric dual + simplex algorithm using exact arithmetic with Gomory's cut + generation. + Still under beta testing. o New "deterministic" timeout computation facilities: it is now possible to set computational bounds (on the library calls taking exponential time) that do not depend on the actual elapsed time and hence are independent from the actual computation environment (CPU, operating system, etc.). - Still under alpha testing. - -o The Java interface has to be explicitly initialized before use by - calling static method Parma_Polyhedra_Library.initialize_library(). - Initialization makes more explicit the exact point where PPL - floating point rounding mode is set; it also allows for the caching - of Java classes and field/method IDs, thereby reducing the overhead - of native method callbacks. - -o The C and Java interfaces now support timeout computation facilities. - -o New configuration option `--with-gmp-build=DIR' allows to use a - non-installed build of GMP in DIR. - -o New class PIP_Problem provides a Parametric Integer Programming (PIP) - problem solver mainly based on P. Feautrier's specification. - The implementation combines a parametric dual simplex algorithm using - exact arithmetic with Gomory's cut generation. - Still under beta testing. + Still under beta testing. o New Linear_Expression methods @@ -71,14 +50,37 @@ o For the PPL semantic objects, other than the Pointset_Powerset and and a value (v = val_n/val_d) closest to zero so that every point in the object satisfies the congruence (expr %= v) / f. -o New reduction operator "Shape_Preserving_Reduction" has been added to - the Partially_Reduced_Product abstraction. - This operator is aimed at the product of a grid and a shape domain; - allowing the bounds of the shape to shrink to the touch the points - of the grid, such that the new bounds are parallel to the old bounds. +o New reduction operator "Shape_Preserving_Reduction" has been added + to the Partially_Reduced_Product abstraction. This operator is + aimed at the product of a grid and a shape domain, allowing the + bounds of the shape to shrink to touch the points of the grid, + such that the new bounds are parallel to the old bounds. + +o The Java interface has to be explicitly initialized before use by + calling static method Parma_Polyhedra_Library.initialize_library(). + Initialization makes more explicit the exact point where PPL + floating point rounding mode is set; it also allows for the caching + of Java classes and field/method IDs, thereby reducing the overhead + of native method callbacks. + +o The C and Java interfaces now support timeout computation facilities. + +o Implementation of general (C and NNC) polyhedra speeded up. + +o When the PPL has been configured with + CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization + procedure checks that the FPU can indeed be controlled and fails if + that is not the case. + +o New configure option --with-gmp-prefix supersedes the (now removed) + options --with-libgmp-prefix and --with-libgmpxx-prefix. + +o New configuration option `--with-gmp-build=DIR' allows to use a + non-installed build of GMP in DIR. + -Deprecated and removed methods ------------------------------- +Deprecated and Removed Methods +============================== o All methods having a name ending in `_and_minimize' (e.g., add_constraints_and_minimize, poly_hull_assign_and_minimize, ...) @@ -441,8 +443,8 @@ o The methods (i.e., it has no constraints, generators, congruences or grid-generators, respectively). -Deprecated and removed methods ------------------------------- +Deprecated and Removed Methods +============================== o As all PPL semantic objects can now be constructed from boxes, the constructors

1 0

[GIT] ppl/ppl(master): Man pages updated.
by Roberto Bagnara 10 Apr '10

10 Apr '10

Module: ppl/ppl Branch: master Commit: e77b2da3be6919dd3e18d85ecc28b7d825e0fb98 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e77b2da3be69… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 10 11:25:01 2010 +0200 Man pages updated. --- TODO | 6 ------ demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 20 ++++++++++---------- doc/ppl-config.1 | 2 +- 5 files changed, 13 insertions(+), 19 deletions(-) diff --git a/TODO b/TODO index a617803..76d679e 100644 --- a/TODO +++ b/TODO @@ -1,10 +1,4 @@ -Enhancements for PPL 0.11 -========================= - -- Complete the ppl_pips man page. - - Enhancements for PPL 0.12 or later versions =========================================== diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index e22d7e6..f3737cb 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.36. -.TH PPL_LCDD "1" "April 2010" "ppl_lcdd 0.11" "User Commands" +.TH PPL_LCDD "1" "May 2010" "ppl_lcdd 0.11" "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 a2d6174..db6b5fd 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.36. -.TH PPL_LPSOL "1" "April 2010" "ppl_lpsol 0.11" "User Commands" +.TH PPL_LPSOL "1" "May 2010" "ppl_lpsol 0.11" "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 58b6fee..6b8806b 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.36. -.TH PPL_PIPS "1" "April 2010" "ppl_pips 0.11" "User Commands" +.TH PPL_PIPS "1" "May 2010" "ppl_pips 0.11" "User Commands" .SH NAME ppl_pips \- a PPL-based parametric integer programming problem solver .SH SYNOPSIS @@ -21,10 +21,10 @@ prints this help text to stdout appends output to PATH .TP \fB\-P\fR, \fB\-\-polylib\fR -read problem in Polylib format (default) +reads problem in PolyLib format (default) .TP \fB\-p\fR, \fB\-\-piplib\fR -read problem in PIPlib format +reads problem in PipLib format .TP \fB\-t\fR, \fB\-\-timings\fR prints timings to stderr @@ -33,7 +33,7 @@ prints timings to stderr produces lots of output .TP \fB\-i\fR, \fB\-\-iterations\fR=\fIN\fR -execute the resolution N times (default=1) +executes the resolution N times (default=1) .TP \fB\-V\fR, \fB\-\-version\fR prints version information to stdout @@ -43,20 +43,20 @@ checks if the result is equal to what is in PATH .SS "Cut generation options:" .TP \fB\-f\fR, \fB\-\-cut\-first\fR -use the first non\-integer row (default) +uses the first non\-integer row (default) .TP \fB\-d\fR, \fB\-\-cut\-deepest\fR -try to generate the deepest cut +tries to generate the deepest cut .TP \fB\-a\fR, \fB\-\-cut\-all\fR -always generate all possible cuts +always generates all possible cuts .SS "Pivot row strategy options:" .TP \fB\-F\fR, \fB\-\-row\-first\fR -use the first row with negative parameter (default) +uses the first row with negative parameter (default) .TP \fB\-M\fR, \fB\-\-row\-max\fR -choose row generating the lexico\-maximal pivot column +chooses row generating the lexico\-maximal pivot column .SH AVAILABILITY The latest version of the Parma Polyhedra Library and all the documentation is available at \fBhttp://www.cs.unipr.it/ppl/\fR . @@ -93,7 +93,7 @@ The following row contains the parameter number for the so-called If no big parameter is used, the value is -1. .TP - -The following rows encode the problem inequality matrix.. +The following rows encode the problem inequality matrix. As for the context matrix, the first two values are the dimensions of the matrix. The number of variables is the number of columns in the matrix minus the number of parameters minus 2. diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index e08658a..5e54525 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ .\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL-CONFIG "1" "April 2010" "ppl-config 0.11" "User Commands" +.TH PPL-CONFIG "1" "May 2010" "ppl-config 0.11" "User Commands" .SH NAME ppl-config \- obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS

1 0

[GIT] ppl/ppl(floating_point): Fixed Documentation.
by Fabio Biselli 09 Apr '10

09 Apr '10

Module: ppl/ppl Branch: floating_point Commit: b22579cc1c086702eb713365ea49e5c8783f3ace URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b22579cc1c08… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Fri Apr 9 10:25:46 2010 +0200 Fixed Documentation. --- src/Cast_Floating_Point_Expression.defs.hh | 2 +- src/Constant_Floating_Point_Expression.defs.hh | 2 +- src/Difference_Floating_Point_Expression.defs.hh | 2 +- src/Division_Floating_Point_Expression.defs.hh | 2 +- src/Floating_Point_Expression.defs.hh | 8 ++++---- ...ultiplication_Floating_Point_Expression.defs.hh | 2 +- src/Sum_Floating_Point_Expression.defs.hh | 2 +- src/Variable_Floating_Point_Expression.defs.hh | 2 +- 8 files changed, 11 insertions(+), 11 deletions(-) diff --git a/src/Cast_Floating_Point_Expression.defs.hh b/src/Cast_Floating_Point_Expression.defs.hh index 5dacccc..c02f3a7 100644 --- a/src/Cast_Floating_Point_Expression.defs.hh +++ b/src/Cast_Floating_Point_Expression.defs.hh @@ -105,7 +105,7 @@ public: FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Constant_Floating_Point_Expression.defs.hh b/src/Constant_Floating_Point_Expression.defs.hh index 5036e75..190f86d 100644 --- a/src/Constant_Floating_Point_Expression.defs.hh +++ b/src/Constant_Floating_Point_Expression.defs.hh @@ -77,7 +77,7 @@ public: FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Difference_Floating_Point_Expression.defs.hh b/src/Difference_Floating_Point_Expression.defs.hh index 1d1ab02..5fb74c6 100644 --- a/src/Difference_Floating_Point_Expression.defs.hh +++ b/src/Difference_Floating_Point_Expression.defs.hh @@ -118,7 +118,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh index ea4ebae..56f64f6 100644 --- a/src/Division_Floating_Point_Expression.defs.hh +++ b/src/Division_Floating_Point_Expression.defs.hh @@ -134,7 +134,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Floating_Point_Expression.defs.hh b/src/Floating_Point_Expression.defs.hh index 5a25e9f..3f608d8 100644 --- a/src/Floating_Point_Expression.defs.hh +++ b/src/Floating_Point_Expression.defs.hh @@ -130,8 +130,8 @@ public: Verifies if a given linear form overflows. \param lf The linear form to verify. \return - Returns <CODE>true</CODE> if all coefficients in \p lf are bounded, - <CODE>false</CODE> otherwise. + Returns <CODE>false</CODE> if all coefficients in \p lf are bounded, + <CODE>true</CODE> otherwise. */ static bool overflows(const FP_Linear_Form& lf); @@ -146,7 +146,7 @@ public: This method makes <CODE>result</CODE> become a linear form obtained by evaluating the function \f$\varepsilon_{\mathbf{f}}(l)\f$ - on the linear form \p lf. This function is defined as: + on the linear form \p lf. This function is defined such as: \f[ \varepsilon_{\mathbf{f}}\left([a;b]+\sum_{v \in \cV}[a_{v};b_{v}]v\right) @@ -192,7 +192,7 @@ private: Static helper method that is used to compute the value of the public static field <CODE>absolute_error</CODE>. - \return the interval \f$[-\omega; \omega]\f$ corresponding to the value + \return The interval \f$[-\omega; \omega]\f$ corresponding to the value of <CODE>absolute_error</CODE> */ static FP_Interval_Type compute_absolute_error(); diff --git a/src/Multiplication_Floating_Point_Expression.defs.hh b/src/Multiplication_Floating_Point_Expression.defs.hh index e2d994a..9630bed 100644 --- a/src/Multiplication_Floating_Point_Expression.defs.hh +++ b/src/Multiplication_Floating_Point_Expression.defs.hh @@ -148,7 +148,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Sum_Floating_Point_Expression.defs.hh b/src/Sum_Floating_Point_Expression.defs.hh index f9bb6a7..4cd1009 100644 --- a/src/Sum_Floating_Point_Expression.defs.hh +++ b/src/Sum_Floating_Point_Expression.defs.hh @@ -111,7 +111,7 @@ public: ::FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename diff --git a/src/Variable_Floating_Point_Expression.defs.hh b/src/Variable_Floating_Point_Expression.defs.hh index 8c7eac7..1d0025b 100644 --- a/src/Variable_Floating_Point_Expression.defs.hh +++ b/src/Variable_Floating_Point_Expression.defs.hh @@ -80,7 +80,7 @@ public: FP_Linear_Form FP_Linear_Form; /*! \brief - Alias for the std::map<dimension_type, FP_Interval_Type> from + Alias for the Box<FP_Interval_Type> from Floating_Point_Expression. */ typedef typename

1 0

Re: [PPL-devel] Linear ranking functions/relations in PPL
by Roberto Bagnara 08 Apr '10

08 Apr '10

On 04/08/10 13:50, Aziem Chawdhary wrote: > Dear Prof. Roberto Bagnara and Prof. Enea Zaffanella, > > I have just seen your very interesting paper on linear ranking functions > on Arxiv. > The paper mentions that your algorithms are implemented in PPL, but I > cannot find a reference to this in the documentation for PPL. > > Are the implementations in the git version of PPL and is there any > documentation for using the functions to generate ranking relations? > > Any pointers would be very much appreciated. > > Thanks, > Aziem Chawdhary Dear Aziem, yes, the implementation is in the Git repository. From time to time we also post a release snapshot at http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ The paper together with the PPL documentation contain all the information you need. However, please do not hesitate to ask on ppl-devel(a)cs.unipr.it if you need help. All the best, Roberto P.S. I will post an updated snapshot later today. I will mail you when this is available. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 1

[GIT] ppl/ppl(master): Renamed.
by Roberto Bagnara 08 Apr '10

08 Apr '10

Module: ppl/ppl Branch: master Commit: 6d23fe5df7c16842e70e349886de0d9faf70affa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d23fe5df7c1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 8 22:42:20 2010 +0200 Renamed. --- README.Solaris => README.solaris | 0 1 files changed, 0 insertions(+), 0 deletions(-) diff --git a/README.Solaris b/README.solaris similarity index 100% rename from README.Solaris rename to README.solaris

1 0

[GIT] ppl/ppl(master): Pushed one item to PPL 0.12. We will not have 0.10. 3 release.
by Roberto Bagnara 08 Apr '10

08 Apr '10

Module: ppl/ppl Branch: master Commit: b8ca985398d213b28930c8dc29a1aca72158da54 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8ca985398d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 8 22:41:02 2010 +0200 Pushed one item to PPL 0.12. We will not have 0.10.3 release. --- TODO | 24 ++---------------------- 1 files changed, 2 insertions(+), 22 deletions(-) diff --git a/TODO b/TODO index 3ade302..a617803 100644 --- a/TODO +++ b/TODO @@ -2,34 +2,14 @@ Enhancements for PPL 0.11 ========================= -- Make all the *affine*image() methods uniform as far as the - specification is concerned. - Complete the ppl_pips man page. -Commits to consider should we release PPL 0.10.3 -================================================ - -b4dcb2959e3cc7b74aaa9f20c865b848e206818b -(Fixed PPL_SPECIALIZE_LIMITS_INT.) - -9a08d1d3a98ca1af8ff0cb94017888528c6875a7 -(No longer use CS and PS as template parameter names.) - -e3460918400e04cf24fda33ff0cf9d18a95840b8 -(Updated from Gnulib.) - -b94dc7951129d065d858b6dbd932eac59a643f96 -(We cannot test the Java interface unless ENABLE_SHARED.) - -1c8a74aea14bce95dc1916df66995dd5a163eb2b -(New configuration option `--with-gmp-build=DIR'. -This allows to use a non-installed build of GMP in DIR.) - - Enhancements for PPL 0.12 or later versions =========================================== +- Make all the *affine*image() methods uniform as far as the + specification is concerned. - Add the domain of circular linear progressions. - Finish the domain of intervals. - Intervals are best instantiated with checked numbers with

1 0

[GIT] ppl/ppl(master): Merge remote branch 'origin/master'
by Roberto Bagnara 08 Apr '10

08 Apr '10

Module: ppl/ppl Branch: master Commit: e3d2caf268af5d73af10e6d2a2ab1f7d9a9b58ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3d2caf268af… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 8 22:39:46 2010 +0200 Merge remote branch 'origin/master' Conflicts: TODO ---

1 0