- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Apparently, some versions of Doxygen require this line.
by Roberto Bagnara 11 May '13

11 May '13

Module: ppl/ppl Branch: master Commit: 46edbeca89067126365ca31b38011d5bde23bdb8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46edbeca8906… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat May 11 17:55:04 2013 +0200 Apparently, some versions of Doxygen require this line. (Thanks to Matthias Klose.) --- doc/devref-language-interface.tex | 1 + doc/devref.tex | 1 + doc/user-language-interface.tex | 1 + doc/user.tex | 1 + 4 files changed, 4 insertions(+), 0 deletions(-) diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 661feb5..fb734e6 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/devref.tex b/doc/devref.tex index fd69ac1..e0d2e14 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index df64139..05b2b3d 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/user.tex b/doc/user.tex index 32469b7..52ab7ee 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true,

1 0

building PPL with MSYS/mingw(-w64)
by Freddie Chopin 26 Apr '13

26 Apr '13

Hi! Any progress on this matter? I've hit the same issue while trying to build a crosscompiler with most recent mingw-w64 package from Ruben: > /bin/sh ../libtool --tag=CXX --mode=link i686-w64-mingw32-g++ -g -O2 -frounding-math -W -Wall -no-undefined -version-info 9:0:0 -o libppl.la -rpath /home/freddie/bleeding-edge-toolchain/build-mingw/host-libs/usr/lib Box.lo checked.lo Checked_Number.lo Float.lo fpu-ia32.lo Constraint.lo Constraint_System.lo Congruence.lo Congruence_System.lo Generator_System.lo Grid_Generator_System.lo Generator.lo Grid_Generator.lo Init.lo Coefficient.lo Linear_Expression.lo Linear_System.lo Matrix.lo Scalar_Products.lo MIP_Problem.lo PIP_Tree.lo PIP_Problem.lo Poly_Con_Relation.lo Poly_Gen_Relation.lo BHRZ03_Certificate.lo H79_Certificate.lo Grid_Certificate.lo Partial_Function.lo Polyhedron_nonpublic.lo Polyhedron_public.lo Polyhedron_chdims.lo Polyhedron_widenings.lo C_Polyhedron.lo NNC_Polyhedron.lo Grid_nonpublic.lo Grid_public.lo Grid_chdims.lo Grid_widenings.lo BD_Shape.lo Octagonal_Shape.lo Pointset_Powerset.lo Row.lo Linear_Row.lo Bit_Matrix.lo Bit_Row.lo Ph_Status.lo Grid_Status.lo V ariable.lo Variables_Set.lo conversion.lo minimize.lo simplify.lo Grid_conversion.lo Grid_simplify.lo stdiobuf.lo c_streambuf.lo globals.lo mp_std_bits.lo Weight_Profiler.lo version.lo termination.lo wrap_string.lo -L/home/freddie/bleeding-edge-toolchain/build-mingw/host-libs/usr/lib -lgmpxx -L/home/freddie/bleeding-edge-toolchain/build-mingw/host-libs/usr/lib -lgmp > /usr/bin/grep: /home/ruben/mingw-w64/linux64mingw32/mingw32/i686-w64-mingw32/lib/../lib/libstdc++.la: No such file or directory > /usr/bin/sed: can't read /home/ruben/mingw-w64/linux64mingw32/mingw32/i686-w64-mingw32/lib/../lib/libstdc++.la: No such file or directory > libtool: link: `/home/ruben/mingw-w64/linux64mingw32/mingw32/i686-w64-mingw32/lib/../lib/libstdc++.la' is not a valid libtool archive > make[3]: *** [libppl.la] Error 1 As you see I'm trying to build software for Windows on Linux. This setup worked fine with an older release of mingw-w64 (GCC 4.7.2 rubenvb from september 2012). Please keep me CCed, as I'm not subscribed to this list. Thx in advance! FCh

2 2

[GIT] ppl/ppl(master): Trailing white space removed.
by Roberto Bagnara 21 Apr '13

21 Apr '13

Module: ppl/ppl Branch: master Commit: 90e0684a9671acb3f7b8fbad01d3f34d211f5574 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90e0684a9671… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sun Apr 21 12:13:39 2013 +0200 Trailing white space removed. --- src/Dense_Row_defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Dense_Row_defs.hh b/src/Dense_Row_defs.hh index 27af61d..429ca97 100644 --- a/src/Dense_Row_defs.hh +++ b/src/Dense_Row_defs.hh @@ -354,7 +354,7 @@ public: Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2, dimension_type start, dimension_type end); - + PPL_OUTPUT_DECLARATIONS /*! \brief

1 0

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

21 Apr '13

Module: ppl/ppl Branch: master Commit: 5c7a1d8b8f5bf71ff74d6df5ae13053aba91b28e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1d8b8f5b… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Apr 4 15:10:57 2013 +0200 Updated. --- NEWS | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 954c7e8..5eda9f7 100644 --- a/NEWS +++ b/NEWS @@ -45,6 +45,9 @@ 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. + -------------------------------------------------------------------------- NEWS for version 1.0 (released on June 28, 2012)

1 0

gmp
by Antonio Díaz Quintana 06 Apr '13

06 Apr '13

Dear Sirs, I'm trying to configure ppl 1.0 ( I downloaded the tar.gz source) after installing gmp 5.1. at /usr/local Output says I haven't GMP version 4.1.3 or later. I had also installed GMP 4.1.4 version but I configured using --with-gmp=/usr/local to select the last gmp version. tried setting CXX to c++ and CC to cc . Of sourse, I used the --enable-cxx option to configure gmp. GMP check is ok. Is there any way I could overcome this trouble? Thank you very much in advance for your attention. Kind regards, Antonio -- Dr. Antonio J. Díaz Quintana Instituto de Bioquímica Vegetal Y Fotosíntesis Centro de Investigaciones Científicas Isla de la Cartuja Universidad de Sevilla y C.S.I.C. Phone: +34 954 489 507 http://www.ibvf.csic.es/node/63

2 6

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 04 Apr '13

04 Apr '13

Module: ppl/ppl Branch: master Commit: f6bb7f2f4bbb61325c9a00c06f5be75f492ea3c8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6bb7f2f4bbb… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Apr 4 15:07:33 2013 +0200 Version number bumped. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 81cb4c8..2f4b1ce 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.1pre7], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1pre8], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(master): Fixed capitalization.
by Roberto Bagnara 04 Apr '13

04 Apr '13

Module: ppl/ppl Branch: master Commit: b66224fd337358bf7c940847f449c93717749915 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b66224fd3373… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Apr 4 15:06:39 2013 +0200 Fixed capitalization. --- doc/ppl_citations.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 4c2f23d..f89c823 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -56,7 +56,7 @@ Summarizing: @Article{AlbertACGPZ12, Author = "E. Albert and P. Arenas and S. Genaim and G. Puebla and D. Zanardini", - Title = "Cost analysis of object-oriented bytecode programs", + Title = "Cost Analysis of Object-Oriented Bytecode Programs", Journal = "Theoretical Computer Science", Volume = 413, Number = 1,

1 0

[GIT] ppl/ppl(master): Added a testcase showing an issue in method MIP_Problem::OK().
by Enea Zaffanella 04 Apr '13

04 Apr '13

Module: ppl/ppl Branch: master Commit: 9fd4b05e30baa48b4aec591539acdd14ae3fe5e3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fd4b05e30ba… Author: Enea Zaffanella <enea.zaffanella(a)bugseng.com> Date: Thu Apr 4 12:22:48 2013 +0200 Added a testcase showing an issue in method MIP_Problem::OK(). The method checks for too strong (i.e., invlaid) invariants in the case of a MIP_Problem subject to space dimnesion additions. Modified method OK() to check those invariants on the "internal" space dimension, rather the external one. While at it, modified private method MIP_Problem::process_pending_constraints() to avoid returning a bool value (which is never checked). --- src/MIP_Problem.cc | 53 +++++++++++++++++++++++++------------ src/MIP_Problem_defs.hh | 7 +---- tests/MIP_Problem/mipproblem4.cc | 14 ++++++++++ 3 files changed, 51 insertions(+), 23 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index b5030d8..251f106 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -642,7 +642,7 @@ PPL::MIP_Problem return true; } -bool +void PPL::MIP_Problem::process_pending_constraints() { // Check the pending constraints to adjust the data structures. // If `false' is returned, they are trivially unfeasible. @@ -659,7 +659,7 @@ PPL::MIP_Problem::process_pending_constraints() { is_nonnegative_variable, is_remergeable_variable)) { status = UNSATISFIABLE; - return false; + return; } // Merge back any variable that was previously split into a positive @@ -789,8 +789,7 @@ PPL::MIP_Problem::process_pending_constraints() { neg_assign(*itr, coeff_sd); } } - Coefficient_traits::const_reference inhomo - = c.inhomogeneous_term(); + Coefficient_traits::const_reference inhomo = c.inhomogeneous_term(); if (inhomo != 0) { tableau_k.insert(itr, mapping[0].first, inhomo); // Split if needed. @@ -885,7 +884,7 @@ PPL::MIP_Problem::process_pending_constraints() { if (space_dimension() == 0) { status = OPTIMIZED; last_generator = point(); - return true; + return; } // Deal with trivial cases. // If there is no constraint in the tableau, then the feasible region @@ -898,7 +897,7 @@ PPL::MIP_Problem::process_pending_constraints() { last_generator = point(); last_generator.set_space_dimension(space_dimension()); status = UNBOUNDED; - return true; + return; } // The problem is neither trivially unfeasible nor trivially unbounded. @@ -908,8 +907,7 @@ PPL::MIP_Problem::process_pending_constraints() { // Ensure the right space dimension is obtained. last_generator = point(); last_generator.set_space_dimension(space_dimension()); - PPL_ASSERT(OK()); - return true; + return; } // Now we are ready to solve the first phase. @@ -927,7 +925,7 @@ PPL::MIP_Problem::process_pending_constraints() { if (!first_phase_successful || working_cost.get(0) != 0) { // The feasible region is empty. status = UNSATISFIABLE; - return false; + return; } // Prepare *this for a possible second phase. @@ -935,8 +933,6 @@ PPL::MIP_Problem::process_pending_constraints() { erase_artificials(begin_artificials, end_artificials); compute_generator(); status = SATISFIABLE; - PPL_ASSERT(OK()); - return true; } namespace { @@ -2262,6 +2258,28 @@ PPL::MIP_Problem::OK() const { return false; } + if (external_space_dim < internal_space_dim) { +#ifndef NDEBUG + cerr << "The MIP_Problem claims to have an internal space dimension " + << "greater than its external space dimension." + << endl; + ascii_dump(cerr); +#endif + return false; + } + + if (external_space_dim > internal_space_dim + && status != UNSATISFIABLE + && status != PARTIALLY_SATISFIABLE) { +#ifndef NDEBUG + cerr << "The MIP_Problem claims to have a pending space dimension " + << "addition, but the status is incompatible." + << endl; + ascii_dump(cerr); +#endif + return false; + } + // Constraint system and objective function should be dimension compatible. if (external_space_dim < input_obj_function.space_dimension()) { #ifndef NDEBUG @@ -2278,11 +2296,11 @@ PPL::MIP_Problem::OK() const { if (status != UNSATISFIABLE && initialized) { // Here `last_generator' has to be meaningful. // Check for dimension compatibility and actual feasibility. - if (external_space_dim != last_generator.space_dimension()) { + if (internal_space_dim != last_generator.space_dimension()) { #ifndef NDEBUG cerr << "The MIP_Problem and the cached feasible point have " << "incompatible space dimensions (" - << external_space_dim << " != " + << internal_space_dim << " != " << last_generator.space_dimension() << ")." << endl; ascii_dump(cerr); @@ -2329,11 +2347,12 @@ PPL::MIP_Problem::OK() const { #endif return false; } - // The size of `mapping' should be equal to the space dimension - // of `input_cs' plus one. - if (mapping.size() != external_space_dim + 1) { + // The size of `mapping' should be equal to the internal + // space dimension plus one. + if (mapping.size() != internal_space_dim + 1) { #ifndef NDEBUG - cerr << "`input_cs' and `mapping' have incompatible sizes" << endl; + cerr << "The internal space dimension and `mapping' " + << "have incompatible sizes" << endl; ascii_dump(cerr); #endif return false; diff --git a/src/MIP_Problem_defs.hh b/src/MIP_Problem_defs.hh index ac48690..989838f 100644 --- a/src/MIP_Problem_defs.hh +++ b/src/MIP_Problem_defs.hh @@ -628,12 +628,7 @@ private: void add_constraint_helper(const Constraint& c); //! Processes the pending constraints of \p *this. - /*! - \return - <CODE>true</CODE> if and only if the MIP problem is satisfiable after - processing the pending constraints, <CODE>false</CODE> otherwise. - */ - bool process_pending_constraints(); + void process_pending_constraints(); /*! \brief Optimizes the MIP problem using the second phase of the diff --git a/tests/MIP_Problem/mipproblem4.cc b/tests/MIP_Problem/mipproblem4.cc index 860d9d9..ead6d5e 100644 --- a/tests/MIP_Problem/mipproblem4.cc +++ b/tests/MIP_Problem/mipproblem4.cc @@ -34,8 +34,22 @@ test01() { return true; } +bool +test02() { + Variable A(0); + Variable B(1); + MIP_Problem mip(1); + Generator p1 = mip.optimizing_point(); + bool ok1 = (p1 == point(0*A)); + mip.add_space_dimensions_and_embed(1); + Generator p2 = mip.optimizing_point(); + bool ok2 = (p2 == point(0*A + 0*B)); + return ok1 && ok2; +} + } // namespace BEGIN_MAIN DO_TEST(test01); + DO_TEST(test02); END_MAIN

1 0

Parma Polyhedra Library
by varza victor 28 Mar '13

28 Mar '13

Hi, My name is Victor Varza, I'm student at Politehnica University of Bucharest and I working at a research about actual fuzzing testing tools and methods.I want to use your library (PPL) to generate some test case from a given constraint sistem. I have searched in your papers to find how to do this but I haven't find something that could help me. I'm working in C++ and I need some example to generate data for a poliedrom. Could you please help me in this way? Best regards, VIctor T

2 4

Use of non-integers in Java
by Étienne André 14 Mar '13

14 Mar '13

Dear PPL developers, My intern would like to link PPL with a Java program. I have some experience of using PPL with OCaml, but not with Java. And in particular I could not find how to use non-integers coefficients (but rationals instead). In OCaml, it was easy, e.g., using the "Gmp.Q.from_ints i j" function. But in the Java interface, I only see constructors from int, big int, long and string. How can we build some rational coefficients in the Java interface? Thank you very much, -- Étienne André LIPN, Université Paris 13, Sorbonne Paris Cité http://www-lipn.univ-paris13.fr/~andre

2 2