February 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Avoid non-ASCII characters.
by Roberto Bagnara 16 Feb '10

16 Feb '10

Module: ppl/ppl Branch: master Commit: 4baadf1d80433f10a8f135d7c7144b129a568963 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4baadf1d8043… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 10:14:45 2010 +0100 Avoid non-ASCII characters. --- demos/ppl_pips/ppl_pips_extra_man_text | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/demos/ppl_pips/ppl_pips_extra_man_text b/demos/ppl_pips/ppl_pips_extra_man_text index b771742..bf71097 100644 --- a/demos/ppl_pips/ppl_pips_extra_man_text +++ b/demos/ppl_pips/ppl_pips_extra_man_text @@ -24,4 +24,4 @@ The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and .sp Paul Feautrier. .IR "Parametric Integer Programming". -RAIRO Recherche Opérationnelle, 22(3):243-268, 1988. +RAIRO Recherche Operationnelle, 22(3):243-268, 1988.

1 0

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

16 Feb '10

Module: ppl/ppl Branch: master Commit: 09c7bbce5f53c19b862eca27a83bc808094aae80 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c7bbce5f53… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 10:10:57 2010 +0100 Trailing whitespace removed. --- demos/ppl_pips/ppl_pips_extra_man_text | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/demos/ppl_pips/ppl_pips_extra_man_text b/demos/ppl_pips/ppl_pips_extra_man_text index 459a133..b771742 100644 --- a/demos/ppl_pips/ppl_pips_extra_man_text +++ b/demos/ppl_pips/ppl_pips_extra_man_text @@ -24,4 +24,4 @@ The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and .sp Paul Feautrier. .IR "Parametric Integer Programming". -RAIRO Recherche Opérationnelle, 22(3):243-268, 1988. +RAIRO Recherche Opérationnelle, 22(3):243-268, 1988.

1 0

[GIT] ppl/ppl(master): Install also ppl_pips.1.
by Roberto Bagnara 16 Feb '10

16 Feb '10

Module: ppl/ppl Branch: master Commit: 0804e05ac141086060a43d28da66095956c14752 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0804e05ac141… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 16 10:10:30 2010 +0100 Install also ppl_pips.1. --- demos/ppl_pips/Makefile.am | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am index f5bc801..b155965 100644 --- a/demos/ppl_pips/Makefile.am +++ b/demos/ppl_pips/Makefile.am @@ -35,8 +35,8 @@ $(top_builddir)/src/libppl.la \ $(top_builddir)/utils/libppl_utils.a \ @extra_libraries@ -#dist_man_MANS = \ -#ppl_pips.1 +dist_man_MANS = \ +ppl_pips.1 piplib_pips.o: $(srcdir)/ppl_pips.cc $(top_builddir)/utils/libppl_utils.a $(CXXCOMPILE) -c -o $@ -DUSE_PIPLIB $(srcdir)/ppl_pips.cc

1 0

[GIT] ppl/ppl(master): Added a couple of tests to improve code coverage.
by Enea Zaffanella 16 Feb '10

16 Feb '10

Module: ppl/ppl Branch: master Commit: 22208e21cd868063a06824d0636b158670802b34 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22208e21cd86… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 16 09:51:24 2010 +0100 Added a couple of tests to improve code coverage. --- tests/PIP_Problem/pipproblem2.cc | 26 ++++++++++++++++++++++++++ 1 files changed, 26 insertions(+), 0 deletions(-) diff --git a/tests/PIP_Problem/pipproblem2.cc b/tests/PIP_Problem/pipproblem2.cc index d91696c..d2ebf46 100644 --- a/tests/PIP_Problem/pipproblem2.cc +++ b/tests/PIP_Problem/pipproblem2.cc @@ -196,6 +196,30 @@ test10() { return ok; } +bool +test11() { + Variable A(0); + Constraint_System cs; + cs.insert(A >= 5); + + PIP_Problem pip1(3, cs.begin(), cs.end(), Variables_Set()); + bool ok = (pip1.solution() != 0); + + return ok; +} + +bool +test12() { + Variable A(0); + Constraint_System cs; + cs.insert(A >= 5); + + PIP_Problem pip1(3, cs.begin(), cs.end(), Variables_Set()); + bool ok = (pip1.optimizing_solution() != 0); + + return ok; +} + } // namespace BEGIN_MAIN @@ -209,4 +233,6 @@ BEGIN_MAIN DO_TEST(test08); DO_TEST(test09); DO_TEST(test10); + DO_TEST(test11); + DO_TEST(test12); END_MAIN

1 0

[GIT] ppl/ppl(floating_point): Added classes.
by Roberto Amadini 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 2287f9b3cc2518e14d25f41521a673c0398385f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2287f9b3cc25… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 15 23:40:43 2010 +0100 Added classes. --- src/Cast_Floating_Point_Expression.defs.hh | 183 +++++++++++++++++++++++ src/Cast_Floating_Point_Expression.inlines.hh | 69 +++++++++ src/Cast_Floating_Point_Expression.templates.hh | 47 ++++++ src/Cast_Floating_Point_Expression.types.hh | 22 +++ 4 files changed, 321 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2287f9b3…

1 0

[GIT] ppl/ppl(floating_point): Added a first implementation of Cast_Floating_Point_Expression classes.
by Roberto Amadini 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 5f573312d066d1be8ab101e3675703c716deaf58 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f573312d066… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Feb 15 23:32:09 2010 +0100 Added a first implementation of Cast_Floating_Point_Expression classes. --- doc/devref.doxyconf-html.in | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 5c84c11..534aa10 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -325,7 +325,10 @@ INPUT = @srcdir@/definitions.dox \ @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/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/Constant_Floating_Point_Expression.types.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.defs.hh \ @srcdir@/../src/Constant_Floating_Point_Expression.inlines.hh \

1 0

[GIT] ppl/ppl(master): Put under Git control.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: de1f6f6e47ec4d79e304b8b4f77e9b3b0a95065d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1f6f6e47ec… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 22:15:44 2010 +0100 Put under Git control. --- demos/ppl_pips/ppl_pips_extra_man_text | 27 +++++++++++++++++++++++++++ 1 files changed, 27 insertions(+), 0 deletions(-) diff --git a/demos/ppl_pips/ppl_pips_extra_man_text b/demos/ppl_pips/ppl_pips_extra_man_text new file mode 100644 index 0000000..459a133 --- /dev/null +++ b/demos/ppl_pips/ppl_pips_extra_man_text @@ -0,0 +1,27 @@ + +[AUTHOR] +See the file \fBCREDITS\fR in the source distribution or use the command +\fBppl\-config \-\-credits\fR for a list of contributors. + +[COPYRIGHT] +Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +.br +This is free software; see the file \fBCOPYING\fR in the source +distribution or use the command \fBppl\-config \-\-copying\fR to +obtain the copying conditions. There is NO warranty; not even for +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. + +[AVAILABILITY] +The latest version of the Parma Polyhedra Library and all the documentation +is available at \fBhttp://www.cs.unipr.it/ppl/\fR . + +[NOTES] +The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and +\fB\-t\fR (\fB\-\-timings\fR) are not available on some platforms. + +[SEE ALSO] +.BR ppl-config(1) +.sp +Paul Feautrier. +.IR "Parametric Integer Programming". +RAIRO Recherche Opérationnelle, 22(3):243-268, 1988.

1 0

[GIT] ppl/ppl(master): Avoid non-ASCII characters.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: 25e8b89f3fb0abbfc24dd13aae3704ffa4a71c2b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25e8b89f3fb0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 22:15:17 2010 +0100 Avoid non-ASCII characters. --- CREDITS | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/CREDITS b/CREDITS index 701b29a..b96409d 100644 --- a/CREDITS +++ b/CREDITS @@ -52,7 +52,7 @@ Current Contributors: solver, and also most of the Java and OCaml interfaces. - François Galea [*] (University of Versailles) is working + Francois Galea [*] (University of Versailles) is working at the implementation of the Parametric Integer Programming solver.

1 0

[GIT] ppl/ppl(master): Added a draft man page for `ppl_pips'. Other man pages updated.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: b57e8b768d88e2a19af28c3a2bf206cc72117072 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b57e8b768d88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 22:14:04 2010 +0100 Added a draft man page for `ppl_pips'. Other man pages updated. --- TODO | 2 + demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 83 +++++++++++++++++++++++++++++++++++++++++++ devtools/generate_man_pages | 1 + doc/ppl-config.1 | 2 +- 6 files changed, 89 insertions(+), 3 deletions(-) diff --git a/TODO b/TODO index e08798f..835ea2c 100644 --- a/TODO +++ b/TODO @@ -8,6 +8,8 @@ Enhancements for PPL 0.11 - Lack of perl can cause more problems than explained in the warning message given by our configuration procedure. See, e.g., http://www.cs.unipr.it/pipermail/ppl-devel/2009-November/015758.html +- Complete the ppl_pips man page. + Commits to consider should we release PPL 0.10.3 ================================================ diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index eca179f..e22d7e6 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 2009" "ppl_lcdd 0.11" "User Commands" +.TH PPL_LCDD "1" "April 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 8c239dd..a2d6174 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 2009" "ppl_lpsol 0.11" "User Commands" +.TH PPL_LPSOL "1" "April 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 new file mode 100644 index 0000000..3c492da --- /dev/null +++ b/demos/ppl_pips/ppl_pips.1 @@ -0,0 +1,83 @@ +.\" DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. +.TH PPL_PIPS "1" "April 2010" "ppl_pips 0.11" "User Commands" +.SH NAME +ppl_pips \- a PPL-based parametric integer programming problem solver +.SH SYNOPSIS +.B ppl_pips +[\fIOPTION\fR]... [\fIFILE\fR] +.SH DESCRIPTION +Reads the definition of a Parametric Integer Programming problem +and displays the lexicographic minimum in terms of the values of the +parameters. +.SH OPTIONS +.TP +\fB\-RMB\fR, \fB\-\-max\-memory\fR=\fIMB\fR +limits memory usage to MB megabytes +.TP +\fB\-h\fR, \fB\-\-help\fR +prints this help text to stdout +.TP +\fB\-oPATH\fR, \fB\-\-output\fR=\fIPATH\fR +appends output to PATH +.TP +\fB\-P\fR, \fB\-\-polylib\fR +read problem in Polylib format (default) +.TP +\fB\-p\fR, \fB\-\-piplib\fR +read problem in PIPlib format +.TP +\fB\-t\fR, \fB\-\-timings\fR +prints timings to stderr +.TP +\fB\-v\fR, \fB\-\-verbose\fR +produces lots of output +.TP +\fB\-i\fR, \fB\-\-iterations\fR=\fIN\fR +execute the resolution N times (default=1) +.TP +\fB\-V\fR, \fB\-\-version\fR +prints version information to stdout +.TP +\fB\-cPATH\fR, \fB\-\-check\fR=\fIPATH\fR +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) +.TP +\fB\-d\fR, \fB\-\-cut\-deepest\fR +try to generate the deepest cut +.TP +\fB\-a\fR, \fB\-\-cut\-all\fR +always generate all possible cuts +.SS "Pivot row strategy options:" +.TP +\fB\-F\fR, \fB\-\-row\-first\fR +use the first row with negative parameter (default) +.TP +\fB\-M\fR, \fB\-\-row\-max\fR +choose 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 . +.SH NOTES +The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and +\fB\-t\fR (\fB\-\-timings\fR) are not available on some platforms. +.SH AUTHOR +See the file \fBCREDITS\fR in the source distribution or use the command +\fBppl\-config \-\-credits\fR for a list of contributors. +.SH "REPORTING BUGS" +Report bugs to <ppl\-devel(a)cs.unipr.it>. +.SH COPYRIGHT +Copyright (C) 2001\-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +.br +This is free software; see the file \fBCOPYING\fR in the source +distribution or use the command \fBppl\-config \-\-copying\fR to +obtain the copying conditions. There is NO warranty; not even for +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. +.SH "SEE ALSO" +.BR ppl-config(1) +.sp +Paul Feautrier. +.IR "Parametric Integer Programming". +RAIRO Recherche Opérationnelle, 22(3):243-268, 1988. diff --git a/devtools/generate_man_pages b/devtools/generate_man_pages index 9184c2b..9bf3c31 100755 --- a/devtools/generate_man_pages +++ b/devtools/generate_man_pages @@ -2,4 +2,5 @@ # See http://www.gnu.org/software/help2man/ for the help2man utility. help2man --name="obtain information about an installation of the Parma Polyhedra Library" -N --include=../doc/ppl-config_extra_man_text ppl-config >../doc/ppl-config.1 help2man --name="a PPL-based mixed integer programming problem solver" -N --include=../demos/ppl_lpsol/ppl_lpsol_extra_man_text ppl_lpsol >../demos/ppl_lpsol/ppl_lpsol.1 +help2man --name="a PPL-based parametric integer programming problem solver" -N --include=../demos/ppl_pips/ppl_pips_extra_man_text ppl_pips >../demos/ppl_pips/ppl_pips.1 help2man --name="a PPL-based program for vertex/facet enumeration of convex polyhedra" -N --include=../demos/ppl_lcdd/ppl_lcdd_extra_man_text ppl_lcdd >../demos/ppl_lcdd/ppl_lcdd.1 diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index f876a64..e08658a 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 2009" "ppl-config 0.11" "User Commands" +.TH PPL-CONFIG "1" "April 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(master): Missing backslash added.
by Roberto Bagnara 15 Feb '10

15 Feb '10

Module: ppl/ppl Branch: master Commit: dff9d4152afeb894bd58aaf2a5442af20bf8be50 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dff9d4152afe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 15 20:28:49 2010 +0100 Missing backslash added. --- demos/ppl_pips/Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am index bce939d..f5bc801 100644 --- a/demos/ppl_pips/Makefile.am +++ b/demos/ppl_pips/Makefile.am @@ -45,7 +45,7 @@ piplib_pips: piplib_pips.o $(CXXLINK) $< -lpip -lgmpxx -lgmp $(top_builddir)/utils/libppl_utils.a EXTRA_DIST = \ -expected_mpz +expected_mpz \ expected_mpz_a \ expected_int8 \ expected_int8_a \

1 0