- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated to minimize risks when the time of releasing PPL 0.12 will come.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: master Commit: a989820a1590c687ad5a1657a3826f04558f8e1e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a989820a1590… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:49:07 2011 +0100 Updated to minimize risks when the time of releasing PPL 0.12 will come. --- NEWS | 30 +++++-- README | 38 ++++---- Watchdog/config.guess | 210 +++++++++++++++++++++-------------------- Watchdog/config.sub | 60 ++++++------ Watchdog/src/Makefile.am | 2 + config.guess | 210 +++++++++++++++++++++-------------------- config.sub | 60 ++++++------ doc/libppl.3 | 8 +- doc/libppl_c.3 | 16 ++-- doc/ppl-config_extra_man_text | 10 +- src/Makefile.am | 7 +- 11 files changed, 340 insertions(+), 311 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a989820a…

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Further changes for PPL 0.11.1.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: b5f908a06039beadb562622c349e46839f8f6894 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f908a06039… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:22:54 2011 +0100 Further changes for PPL 0.11.1. --- doc/libppl.3 | 6 +++--- doc/libppl_c.3 | 14 +++++++------- doc/ppl-config_extra_man_text | 10 +++++----- 3 files changed, 15 insertions(+), 15 deletions(-) diff --git a/doc/libppl.3 b/doc/libppl.3 index 1c3d353..10ecc9a 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -15,7 +15,7 @@ Note that the PPL has interfaces also for C, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -61,7 +61,7 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", you can find many examples of use in the directories .B tests (see the @@ -196,7 +196,7 @@ before invoking any PPL interface related to such abstractions. .BR ppl-config(1) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index d3f338d..fab6359 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -15,9 +15,9 @@ Note that the PPL has interfaces also for C++, Java, OCaml and a number of Prolog systems: look elsewhere for documentation on those. Note also that the present document does not describe the library functionality, its classes or its methods and functions: see -.IR "The Parma Polyhedra Library User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)" for this kind of information. .SH "INCLUDING THE HEADER FILE" @@ -48,9 +48,9 @@ when you are done with the library. .SH "USING THE LIBRARY" Keeping in mind that there is no substitute for a careful reading of -.IR "The Parma Polyhedra Library User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)" and -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)" you can find examples of use in the directories .B interfaces/C/tests and @@ -81,7 +81,7 @@ is especially valuable for GNU/Linux users). .SH "RETURN VALUES" All the PPL C interface functions return an int: a negative value means that an error occurred. See -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)" for the error codes. .SH "IMPLEMENTING MEMORY-GUARDED COMPUTATIONS" @@ -127,12 +127,12 @@ before invoking any PPL interface related to such abstractions. .BR libppl(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index c003047..4d05986 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 0.11)", +.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.11)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.11.1)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/\fR .

1 0

[GIT] ppl/ppl(master): Updated the entry for Marco Poletti.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: master Commit: f53ed666287c55ea74013d3314bbbc9451ca49dc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53ed666287c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:17:49 2011 +0100 Updated the entry for Marco Poletti. --- CREDITS | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/CREDITS b/CREDITS index ea49aa7..c88eca7 100644 --- a/CREDITS +++ b/CREDITS @@ -43,12 +43,13 @@ Current Contributors: at the implementation of the Parametric Integer Programming solver. - Marco Poletti (student of the University of Parma) + Marco Poletti (student of the University of Bologna) implemented the sparse matrices that are used in the MIP and PIP solvers of the PPL; he also did experiments on the parallelization of the sparse matrices' computations; he is now working - on improving the PPL's memory footprint. + on improving the PPL's memory footprint and + on other improvements to the library. Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Added an entry for Marco Poletti.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 0267336a31b22a328507c0afddb7c32aa98a1473 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0267336a31b2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 17:12:57 2011 +0100 Added an entry for Marco Poletti. --- CREDITS | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) diff --git a/CREDITS b/CREDITS index c047e89..c88eca7 100644 --- a/CREDITS +++ b/CREDITS @@ -43,6 +43,14 @@ Current Contributors: at the implementation of the Parametric Integer Programming solver. + Marco Poletti (student of the University of Bologna) + implemented the sparse matrices that are used + in the MIP and PIP solvers of the PPL; he also + did experiments on the parallelization of the + sparse matrices' computations; he is now working + on improving the PPL's memory footprint and + on other improvements to the library. + Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Updated for the release of PPL 0.11.1.
by Roberto Bagnara 19 Feb '11

19 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 1202749d8b500cce3397efd0db3b86164546794a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1202749d8b50… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Feb 19 16:57:00 2011 +0100 Updated for the release of PPL 0.11.1. --- NEWS | 2 +- README | 6 +- Watchdog/config.guess | 213 ++++++++++++++++++++++--------------------- Watchdog/config.sub | 64 +++++++------ config.guess | 213 ++++++++++++++++++++++--------------------- config.sub | 64 +++++++------ demos/ppl_lcdd/ppl_lcdd.1 | 4 +- demos/ppl_lpsol/ppl_lpsol.1 | 6 +- demos/ppl_pips/ppl_pips.1 | 4 +- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 14 ++-- 12 files changed, 316 insertions(+), 278 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=1202749d…

1 0

Patch for Doxygen's src/latexgen.cpp
by Roberto Bagnara 19 Feb '11

19 Feb '11

Without this patch \rowcolors remains undefined: Index: src/latexgen.cpp =================================================================== --- src/latexgen.cpp (revision 757) +++ src/latexgen.cpp (working copy) @@ -318,7 +318,7 @@ "\\RequirePackage{longtable}\n" "\\RequirePackage{verbatim}\n" "\\RequirePackage{ifthen}\n" - "\\RequirePackage{xcolor}\n\n"; + "\\RequirePackage[table]{xcolor}\n\n"; t << "% Use helvetica font instead of times roman\n" "\\RequirePackage{helvet}\n" -- 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

2 1

[GIT] ppl/ppl(sparse_matrices): Replaced the algorithm used for sorting Linear_System and Bit_Matrix.
by Enea Zaffanella 18 Feb '11

18 Feb '11

Module: ppl/ppl Branch: sparse_matrices Commit: 8adce40966f7c9aa54c2fc04dd27acac97ab1eb9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8adce40966f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 17 21:15:28 2011 +0100 Replaced the algorithm used for sorting Linear_System and Bit_Matrix. The new algorithm, based on STL's std::sort and std::unique, is applied to a vector of rows' indices and implements indirect sort using function objects for the comparisons and swap operations. Apart from a (usually minor) decrease in the number of comparisons and swaps perfomed, the new algorithm should be better wrt the consumption of stack space, by getting rid of ad-hoc sort/unique functions, as well as the special-purpose iterator class Linear_System::With_Bit_Matrix_iterator. --- src/Bit_Matrix.cc | 26 +++-- src/Linear_System.defs.hh | 91 ---------------- src/Linear_System.inlines.hh | 164 ----------------------------- src/Linear_System.templates.hh | 54 ++++++---- src/Swapping_Vector.defs.hh | 1 + src/swapping_sort.icc | 226 +++++++++++++++++++++------------------ 6 files changed, 172 insertions(+), 390 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8adce409…

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 18 Feb '11

18 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bbcceb41624… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:35:59 2011 +0100 Congruence_System: remove the add_zero_rows(), add_zero_columns() and remove_trailing_columns() methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c22231437d8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:12:54 2011 +0100 Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions_and_embed(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5040f0622b0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:12:45 2011 +0100 Grid: avoid using Congruence_System::add_zero_columns() in add_space_dimensions(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd72d3a0637… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 23:02:52 2011 +0100 Grid: avoid using Congruence_System::add_zero_rows(), in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63449606174e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:54:46 2011 +0100 Grid: avoid using Congruence_System::add_zero_rows(), in simplify(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f82c43cb669… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:51:35 2011 +0100 Congruence_System: add an insert_recycled() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddf9d0da8f53… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:32:56 2011 +0100 Congruence_System: replace the insert_verbatim() method with a new insert_verbatim_recycled() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35dd7a9324bf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:18:19 2011 +0100 Congruence: now the default constructor takes an optional argument. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54225672a2dd… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:11:08 2011 +0100 Congruence_System: simplify the remove_higher_space_dimensions() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a295cfa0561b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 22:10:46 2011 +0100 Congruence_System: implement add_unit_rows_and_columns() at a higher level. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9557001b37c6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:24:53 2011 +0100 Congruence_System: simplify the insert() method that takes a Congruence_System. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e57abdaf4be8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:24:22 2011 +0100 Congruence_System: simplify the recycling_insert() method that takes a Congruence_System argument. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=282d2e5ab282… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:19:04 2011 +0100 Congruence_System: simplify the insert_verbatim() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0eb3beeac7e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:18:35 2011 +0100 Congruence: add a constructor from a Constraint that specifies the desired space dimension. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9918be63b38… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 21:17:22 2011 +0100 Dense_Row, Sparse_Row: weaken the requirements of the copy-constructor with specified size and capacity. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e30cad8d350… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 20:54:07 2011 +0100 Congruence_System: simplify the insert_verbatim() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a442c51dde92… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 20:51:57 2011 +0100 Congruence_System: simplify the increase_space_dimension() method.

1 0

[GIT] ppl/ppl(ppl-0_11-branch): Replaced the algorithm used for sorting Linear_System and Bit_Matrix.
by Enea Zaffanella 17 Feb '11

17 Feb '11

Module: ppl/ppl Branch: ppl-0_11-branch Commit: 3cdbdf41622743f9921a2ceed4f571e1ac6b7965 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cdbdf416227… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 17 21:15:28 2011 +0100 Replaced the algorithm used for sorting Linear_System and Bit_Matrix. The new algorithm, based on STL's std::sort and std::unique, is applied to a vector of rows' indices and implements indirect sort using function objects for the comparisons and swap operations. Apart from a (usually minor) decrease in the number of comparisons and swaps perfomed, the new algorithm should be better wrt the consumption of stack space, by getting rid of ad-hoc sort/unique functions, as well as the special-purpose iterator class Linear_System::With_Bit_Matrix_iterator. --- src/Bit_Matrix.cc | 26 +++-- src/Linear_System.cc | 50 ++++++---- src/Linear_System.defs.hh | 89 ----------------- src/Linear_System.inlines.hh | 144 --------------------------- src/swapping_sort.icc | 221 +++++++++++++++++++++++------------------- 5 files changed, 172 insertions(+), 358 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3cdbdf41…

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 17 Feb '11

17 Feb '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cfe01f9e62f4… Merge: c46cd9cf6f042b38eb44f6ec266d01d5ce10df99 b956c5822426119ce1bfa2ad7f305cfff6db7148 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 16:49:16 2011 +0100 Merge branch 'master' into sparse_matrices Conflicts: src/PIP_Tree.cc src/PIP_Tree.defs.hh tests/Sparse_Matrix/Makefile.am URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b956c5822426… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 13:02:00 2011 +0100 PIP_Solution_Node: avoid repeated lookup of Sparse_Row's coefficients, in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96804c70b4db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Feb 17 12:07:39 2011 +0100 PIP_Solution_Node: improve the performance of solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67198c5e25b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 16 16:16:53 2011 +0100 Disabled the `memory1' test (at least for the time being). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa59cbeb2a6d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 16 09:14:24 2011 +0100 test06 no longer overflows when using 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73cfc6e23903… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 14 21:23:11 2011 +0100 PIP_Tree: simplify unnecessarily complicated code in compatibility_check_find_pivot_in_set(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ca3aebcc9cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 19:46:29 2011 +0100 Ignore *.lzma. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b68b1c48e4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Feb 14 19:45:34 2011 +0100 PIP_Tree: avoid repeated calls to Sparse_Row::get(), in solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215c270204d9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 19:14:13 2011 +0100 Corrected a (checked-integer related) problem in PIP_Solution_Tree::solve(). Updated expected results for 32-bits checked integers: ppl_pips test lineri.dat no longer overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41c580634b7e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 16:56:35 2011 +0100 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e8a607e5a6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 16:45:57 2011 +0100 Fixed a number of wrong conditionals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5147bf4e1914… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 16:45:38 2011 +0100 Minor improvements to documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6bbae877309… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 13:01:50 2011 +0100 Copyright notices updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f42c4966e4c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 11:57:05 2011 +0100 Document parameter indent_level in PIP_Tree_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e75a7050611… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 3 17:26:08 2011 +0100 Added other plain char specializations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5f893b6c2cf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 17:11:20 2011 +0100 Added missing specializations for plain char. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b29e34e75e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 3 07:48:15 2011 +0100 Specialize C_Integer<T> for plain char. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69c0e4568236… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 22:11:01 2011 +0100 Added specializations for plain char. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6861c446e762… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 22:08:31 2011 +0100 Copy-and-paste mistake fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=743d879f0284… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 30 20:06:05 2011 +0100 Detect whether the plain char type is signed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a7cd78d3971… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 10:55:23 2011 +0100 Reduce the argument of valgrind's --num-callers below the allowed maximum. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73dd768d9265… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 14 08:36:29 2011 +0100 Mentioned a correction affecting PIP_Problem solution trees. Mentioned an improvement in the generation of PIP_Tree_Node tautological cnstraints, node splitting constraints and artificial parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a224dfc21ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 14 07:33:55 2011 +0100 Copyright notices updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c3efb0d9a7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 15:01:08 2011 +0100 Fixed auxiliary function aux_test to perform proper comparisons. In the meanwhile, fixed another typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e42f8b60421c… Merge: 9d99c21af3e717056a34d4f67739afb375cabe94 22b1565be0efe35f86e6323180ff6de113b19b18 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 10:17:30 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22b1565be0ef… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 09:53:50 2011 +0100 Mentioned the correction of a few problems. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d99c21af3e7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 11 08:50:37 2011 +0100 Minor readability improvements to PIP_Decision_Node::solve(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d400f674a9… Merge: 29201d2a5893bbe17744777de36e9a106ed8ea95 d0f6bd037c90676130e9547e5ed909cf6ba8eee9 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:50:11 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29201d2a5893… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:48:11 2011 +0100 For readability, separate the input operation from input stream status check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb08fb49f561… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 18:46:41 2011 +0100 Corrected expected results. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0f6bd037c90… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Feb 10 16:47:22 2011 +0100 Fixed stream state on checked input. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86cb60dbf77… Merge: 3c8f16e240439811d501629660cedb8f99f0009a c23ded5ce0023a753fdd5da2dbbd99d1a084566c Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:49:20 2011 +0100 Merge branch 'master' into pip URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c8f16e24043… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:47:59 2011 +0100 Corrected the expected result for test02 to match integral simplifications. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e4098c48d6f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Feb 10 10:46:03 2011 +0100 Exploit variable integrality when creating tautology constraints. Factored out helper function void integral_simplification(Row&); used when generating tautology and sign splitting constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c23ded5ce002… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 5 21:01:13 2011 +0100 Fixed function ppl_Pointset_Powerset_*_get_disjunct in OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=caaa126b56cc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 17:22:07 2011 +0100 Fixed a bug in the simplification of the solution tree. We were too eager in merging a single true child with its parent: if the true child happened to be a decision node with both childs, the merging was causing the violation of a PIP_Decision_Node invariant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=20f99dbe73d5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 15:42:15 2011 +0100 Further improvement to debug output. Preprocessor flag NOISY_PIP_TREE_STRUCTURE only activate those debug print taht is useful to hightlight the solution tree construction process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6c61aaed265… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 14:21:07 2011 +0100 A minor improvement to the debug printing mechanism. Methods solve() and generate_cut() are now provided with additional argument indent_level, telling the amount of indentation for debug prints. Added several messages to debug prints so as to clarify the solution tree construction process. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f79f0649bf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 11:22:41 2011 +0100 Exploit integrality when adding constraints for mixed parameter sign rows. Try to distinguish between NOISY and VERY_NOISY debugging output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35d2df08098d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 09:52:58 2011 +0100 Fully normalize artificial parameters on construction. When in noisy mode, print normalized parameters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f551cfb8700… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Feb 4 08:39:12 2011 +0100 Minor changes related to coding standards. Prefer initial capitalization for (user-defined) type names. Prefer function objects to function pointers. Avoid nesting an anonymous namespace into another anonymous namespace.

1 0