February 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Fixed comments.
by Roberto Amadini 18 Feb '10

18 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 945e8f14d1300e749c15d07eb1f3c5f853ad784a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=945e8f14d130… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Feb 18 13:55:09 2010 +0100 Fixed comments. --- ...lication_Floating_Point_Expression.templates.hh | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Multiplication_Floating_Point_Expression.templates.hh b/src/Multiplication_Floating_Point_Expression.templates.hh index a40cfdc..d1fdbdf 100644 --- a/src/Multiplication_Floating_Point_Expression.templates.hh +++ b/src/Multiplication_Floating_Point_Expression.templates.hh @@ -34,11 +34,11 @@ void Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> /* FIXME: We currently adopt the "Interval-Size Local" strategy in order to decide which of the two linear forms must be intervalized, as described - in section 6.2.4 ("Multiplication Strategies") of Antoine Mine's Ph.D. + in Section 6.2.4 ("Multiplication Strategies") of Antoine Mine's Ph.D. thesis "Weakly Relational Numerical Abstract Domains". - In this section are also described other multiplication strategies, such - as All-Cases, Relative-Size Local, Relative-Size Local, - Simplification-Driven Global and Homogeneity Global. + In this Section are also described other multiplication strategies, such + as All-Cases, Relative-Size Local, Simplification-Driven Global and + Homogeneity Global. */ // Here we choose which of the two linear forms must be intervalized.

1 0

[GIT] ppl/ppl(floating_point): Improved comments.
by Roberto Amadini 18 Feb '10

18 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 7c0b14249c7cdb0b190267d0f4d96da6f45e7f79 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0b14249c7c… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Feb 18 13:27:55 2010 +0100 Improved comments. --- ...lication_Floating_Point_Expression.templates.hh | 9 ++++++--- 1 files changed, 6 insertions(+), 3 deletions(-) diff --git a/src/Multiplication_Floating_Point_Expression.templates.hh b/src/Multiplication_Floating_Point_Expression.templates.hh index 6ffa77e..a40cfdc 100644 --- a/src/Multiplication_Floating_Point_Expression.templates.hh +++ b/src/Multiplication_Floating_Point_Expression.templates.hh @@ -32,10 +32,13 @@ void Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> const FP_Linear_Form_Abstract_Store& lf_store, FP_Linear_Form& result) const { /* - FIXME: we currently adopt the Interval-Size Local strategy in order to + FIXME: We currently adopt the "Interval-Size Local" strategy in order to decide which of the two linear forms must be intervalized, as described - in section 6.2.4 of Antoine Mine's thesis. We should also consider more - refined strategies. + in section 6.2.4 ("Multiplication Strategies") of Antoine Mine's Ph.D. + thesis "Weakly Relational Numerical Abstract Domains". + In this section are also described other multiplication strategies, such + as All-Cases, Relative-Size Local, Relative-Size Local, + Simplification-Driven Global and Homogeneity Global. */ // Here we choose which of the two linear forms must be intervalized.

1 0

[GIT] ppl/ppl(master): Described the input formats.
by Roberto Bagnara 18 Feb '10

18 Feb '10

Module: ppl/ppl Branch: master Commit: 84cdf71053ad8257bca1e8bd90bd2d22c145e75d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84cdf71053ad… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 11:23:44 2010 +0100 Described the input formats. --- demos/ppl_pips/ppl_pips.1 | 55 +++++++++++++++++++++++++++++++- demos/ppl_pips/ppl_pips_extra_man_text | 53 ++++++++++++++++++++++++++++++ 2 files changed, 107 insertions(+), 1 deletions(-) diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 3c492da..58b6fee 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -63,6 +63,54 @@ 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. +.sp +The PolyLib format is as follows: +.TP +- +The first row describes the context matrix (i.e., constraints on the +parameters). The first value is the number of rows (which can be zero) +and the second value is the number of columns. The number of parameters +is the number of columns minus 2. +.TP +- +Starting from the second row, there are the rows of the context matrix, +if any. Each row, which represents a constraint of the form +.B "c1*p1 + ... + cn*pn + c0 =/>= 0", +contains: +the value 0 if the constraint is an equality, 1 if it is an inequality; +the coefficients of the parameters +.B "c1, ..., cn"; +the constant term +.B "c0". +For example, the inequality constraint on two parameters +.B "p1 + 2*p2 - 1 >= 0" +is encoded by the row +.B "1 1 2 -1". +.TP +- +The following row contains the parameter number for the so-called +.IR "big parameter". +If no big parameter is used, the value is -1. +.TP +- +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. +Each row, which represents a constraint of the form +.B "d1*v1 + ... + dm*vm + c1*p1 + ... + cn*pn + c0 =/>= 0", +contains: +the value 0 if the constraint is an equality, 1 if it is an inequality; +the coefficients of the variables +.B "d1, ..., dm"; +the coefficients of the parameters +.B "c1, ..., cn"; +the constant term +.B "c0". +.sp +The PipLib format is described in Section 2.2 of +.IR "PIP/PipLib: A Solver for Parametric Integer Programming Problems" +(see below). .SH AUTHOR See the file \fBCREDITS\fR in the source distribution or use the command \fBppl\-config \-\-credits\fR for a list of contributors. @@ -80,4 +128,9 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. .sp Paul Feautrier. .IR "Parametric Integer Programming". -RAIRO Recherche Opérationnelle, 22(3):243-268, 1988. +RAIRO Recherche Operationnelle, 22(3):243-268, 1988. +.sp +Paul Feautrier, Jean-Francois Collard, and Cedric Bastoul. +.IR "PIP/PipLib: A Solver for Parametric Integer Programming Problems", +5.0 edition, July 2007. +Distributed with PIP/PipLib 1.4.0. diff --git a/demos/ppl_pips/ppl_pips_extra_man_text b/demos/ppl_pips/ppl_pips_extra_man_text index bf71097..c12a617 100644 --- a/demos/ppl_pips/ppl_pips_extra_man_text +++ b/demos/ppl_pips/ppl_pips_extra_man_text @@ -18,6 +18,54 @@ 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. +.sp +The PolyLib format is as follows: +.TP +- +The first row describes the context matrix (i.e., constraints on the +parameters). The first value is the number of rows (which can be zero) +and the second value is the number of columns. The number of parameters +is the number of columns minus 2. +.TP +- +Starting from the second row, there are the rows of the context matrix, +if any. Each row, which represents a constraint of the form +.B "c1*p1 + ... + cn*pn + c0 =/>= 0", +contains: +the value 0 if the constraint is an equality, 1 if it is an inequality; +the coefficients of the parameters +.B "c1, ..., cn"; +the constant term +.B "c0". +For example, the inequality constraint on two parameters +.B "p1 + 2*p2 - 1 >= 0" +is encoded by the row +.B "1 1 2 -1". +.TP +- +The following row contains the parameter number for the so-called +.IR "big parameter". +If no big parameter is used, the value is -1. +.TP +- +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. +Each row, which represents a constraint of the form +.B "d1*v1 + ... + dm*vm + c1*p1 + ... + cn*pn + c0 =/>= 0", +contains: +the value 0 if the constraint is an equality, 1 if it is an inequality; +the coefficients of the variables +.B "d1, ..., dm"; +the coefficients of the parameters +.B "c1, ..., cn"; +the constant term +.B "c0". +.sp +The PipLib format is described in Section 2.2 of +.IR "PIP/PipLib: A Solver for Parametric Integer Programming Problems" +(see below). [SEE ALSO] .BR ppl-config(1) @@ -25,3 +73,8 @@ The options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and Paul Feautrier. .IR "Parametric Integer Programming". RAIRO Recherche Operationnelle, 22(3):243-268, 1988. +.sp +Paul Feautrier, Jean-Francois Collard, and Cedric Bastoul. +.IR "PIP/PipLib: A Solver for Parametric Integer Programming Problems", +5.0 edition, July 2007. +Distributed with PIP/PipLib 1.4.0.

1 0

[GIT] ppl/ppl(master): Cosmetic improvements.
by Roberto Bagnara 18 Feb '10

18 Feb '10

Module: ppl/ppl Branch: master Commit: c6a791128aef1103c7d610e37321a3e48736deac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6a791128aef… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 11:21:42 2010 +0100 Cosmetic improvements. --- demos/ppl_pips/ppl_pips.cc | 43 +++++++++++++++++++++++-------------------- 1 files changed, 23 insertions(+), 20 deletions(-) diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index edb60da..78c2170 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -48,7 +48,7 @@ ppl_set_GMP_memory_allocation_functions(void) { #elif defined(USE_PIPLIB) -#error "PIPlib not supported yet" +#error "PipLib not supported yet" #endif @@ -153,7 +153,8 @@ pip_display_sol(std::ostream& out, out << setw(indent*2) << "" << "else" << endl; pip_display_sol(out, dn->child_node(false), parameters, vars, space_dimension, indent+1); - } else { + } + else { const PIP_Solution_Node* sn = pip->as_solution(); out << setw(indent*2 + (constraints_empty ? 0 : 2)) << "" << "{"; for (Variables_Set::const_iterator @@ -187,7 +188,7 @@ public: virtual bool read(std::istream& in) = 0; - // output the solution in PIPlib-like format + // output the solution in PipLib-like format /* void output_solution_piplib(std::ostream& out) { const PPL::Variables_Set& params = pip.parameter_space_dimensions(); PPL::Variables_Set vars; @@ -255,9 +256,9 @@ protected: PPL::PIP_Problem pip; }; // class PIP_Parser -class PIP_Polylib_Parser : public PIP_Parser { +class PIP_PolyLib_Parser : public PIP_Parser { public: - PIP_Polylib_Parser(): PIP_Parser() { + PIP_PolyLib_Parser(): PIP_Parser() { } bool read(std::istream& in) { @@ -323,11 +324,12 @@ protected: getline(in, s); } while (s.size() == 0 || s[0] == '\r' || s[0] == '#'); } -}; // class PIP_Polylib_Parser +}; // class PIP_PolyLib_Parser -class PIP_Piplib_Parser : public PIP_Parser { +class PIP_PipLib_Parser : public PIP_Parser { public: - PIP_Piplib_Parser() : PIP_Parser(), comment() { + PIP_PipLib_Parser() + : PIP_Parser(), comment() { } bool read(std::istream& in) { @@ -431,7 +433,7 @@ protected: // The comment string in the source file std::string comment; -}; // class PIP_Piplib_Parser +}; // class PIP_PipLib_Parser #ifdef PPL_HAVE_GETOPT_H struct option long_options[] = { @@ -466,22 +468,22 @@ static const char* usage_string " -RMB, --max-memory=MB limits memory usage to MB megabytes\n" " -h, --help prints this help text to stdout\n" " -oPATH, --output=PATH appends output to PATH\n" -" -P, --polylib read problem in Polylib format (default)\n" -" -p, --piplib read problem in PIPlib format\n" +" -P, --polylib reads problem in PolyLib format (default)\n" +" -p, --piplib reads problem in PipLib format\n" " -t, --timings prints timings to stderr\n" " -v, --verbose produces lots of output\n" -" -i, --iterations=N execute the resolution N times (default=1)\n" +" -i, --iterations=N executes the resolution N times (default=1)\n" #if defined(USE_PPL) " -V, --version prints version information to stdout\n" " -cPATH, --check=PATH checks if the result is equal to what is in PATH\n" #endif "\nCut generation options:\n" -" -f, --cut-first use the first non-integer row (default)\n" -" -d, --cut-deepest try to generate the deepest cut\n" -" -a, --cut-all always generate all possible cuts\n" +" -f, --cut-first uses the first non-integer row (default)\n" +" -d, --cut-deepest tries to generate the deepest cut\n" +" -a, --cut-all always generates all possible cuts\n" "\nPivot row strategy options:\n" -" -F, --row-first use the first row with negative parameter (default)\n" -" -M, --row-max choose row generating the lexico-maximal pivot column\n" +" -F, --row-first uses the first row with negative parameter (default)\n" +" -M, --row-max chooses row generating the lexico-maximal pivot column\n" #ifndef PPL_HAVE_GETOPT_H "\n" "NOTE: this version does not support long options.\n" @@ -770,9 +772,9 @@ main(int argc, char* argv[]) try { // Representation rep = read_polyhedron(input(), ph); PIP_Parser* parser; if (piplib_format) - parser = new PIP_Piplib_Parser(); + parser = new PIP_PipLib_Parser(); else - parser = new PIP_Polylib_Parser(); + parser = new PIP_PolyLib_Parser(); if (!parser->read(*input_stream_p)) return 1; @@ -785,7 +787,8 @@ main(int argc, char* argv[]) try { pip.solve(); // Write the solution. parser->output_solution_tree(*output_stream_p); - } else { + } + else { // Perform a time benchmark loop executing the resolution several times. for (int i = 0; i < loop_iterations; ++i) { PPL::PIP_Problem* pipp = new PPL::PIP_Problem(pip);

1 0

[GIT] ppl/w3ppl(master): Added FeautrierCB07.
by Roberto Bagnara 18 Feb '10

18 Feb '10

Module: ppl/w3ppl Branch: master Commit: c66106ef02467bf59d53ea65b3a1204201d28175 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=c66106ef02… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Feb 18 10:21:20 2010 +0100 Added FeautrierCB07. --- htdocs/Documentation/ppl.bib | 15 +++++++++++++++ 1 files changed, 15 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 05364bd..ee137a7 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -1412,6 +1412,21 @@ an estimate of its complexity." } +@Manual{FeautrierCB07, + Author = "P. Feautrier and J.-F. Collard and C. Bastoul", + Title = "{PIP/PipLib}: A Solver for Parametric Integer Programming Problems", + Edition = "5.0", + Note = "Distributed with {PIP/PipLib} 1.4.0", + Month = jul, + Year = 2007, + Abstract = "This manual is for PIP and PipLib version 1.4.0, a + software which solves Parametric Integer Programming + problems. That is, PIP finds the lexicographic minimum + of the set of integer points which lie inside a convex + polyhedron, when that polyhedron depends linearly on one + or more integral parameters." +} + @Misc{Fukuda98, Author = "K. Fukuda", Title = "Polyhedral Computation {FAQ}",

1 0

[GIT] ppl/ppl(floating_point): Added and fixed documentation for Var_FP_Expression.
by Roberto Amadini 18 Feb '10

18 Feb '10

Module: ppl/ppl Branch: floating_point Commit: 86cb551f54cb94e1aa1efd9dfb29c86cb7ffab2b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=86cb551f54cb… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Thu Feb 18 00:06:40 2010 +0100 Added and fixed documentation for Var_FP_Expression. --- src/Variable_Floating_Point_Expression.defs.hh | 18 ++++++++++++++---- 1 files changed, 14 insertions(+), 4 deletions(-) diff --git a/src/Variable_Floating_Point_Expression.defs.hh b/src/Variable_Floating_Point_Expression.defs.hh index 1a44d09..70334fa 100644 --- a/src/Variable_Floating_Point_Expression.defs.hh +++ b/src/Variable_Floating_Point_Expression.defs.hh @@ -59,7 +59,7 @@ namespace Parma_Polyhedra_Library { \par Linearization of floating-point variable expressions Given a variable expression \f$v\f$ and a composite - abstract store \f$\left \llbracket \rho^{\#}, \rho^{\#}_l \right + abstract store \f$\left \llbracket \rho^{\#}, \rho^{\#}_l \right \rrbracket\f$, we construct the interval linear form \f$\linexprenv{v}{\rho^{\#}}{\rho^{\#}_l}\f$ as \f$\rho^{\#}_l(v)\f$ if it is defined; otherwise we construct it as @@ -95,7 +95,7 @@ public: Floating_Point_Expression<FP_Interval_Type, FP_Format>:: FP_Linear_Form_Abstract_Store FP_Linear_Form_Abstract_Store; - /* \brief + /*! \brief Alias for the FP_Interval_Type::boundary_type from Floating_Point_Expression. */ @@ -123,7 +123,7 @@ public: //@} // Constructors and Destructor /*! \brief - Linearizes the expression in a given astract store. + Linearizes the expression in a given abstract store. Makes \p result become the linearization of \p *this in the given composite abstract store. @@ -143,9 +143,19 @@ public: const FP_Linear_Form_Abstract_Store& lf_store, FP_Linear_Form& result) const; + /*! \brief + Assigns a linear form to the variable with the same index of + \p *this in a given linear form abstract store. + + \param lf The linear form assigned to the variable. + \param lf_store The linear form abstract store. - void linear_form_assign(const FP_Linear_Form&, + Note that once \p lf is assigned to a variable, all the other entries + of \p lf_store which contain that variable are discarded. + */ + void linear_form_assign(const FP_Linear_Form& lf, FP_Linear_Form_Abstract_Store& lf_store) const; + //! Swaps \p *this with \p y. void swap(Variable_Floating_Point_Expression& y);

1 0

[GIT] ppl/ppl(master): Updated expected results.
by Roberto Bagnara 17 Feb '10

17 Feb '10

Module: ppl/ppl Branch: master Commit: fe233fcf5db9fbbe169a445c8a09d781026e2053 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe233fcf5db9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 22:30:09 2010 +0100 Updated expected results. --- demos/ppl_pips/expected_int16 | 19 +++++++++++++++++++ demos/ppl_pips/expected_int16_a | 19 +++++++++++++++++++ demos/ppl_pips/expected_int32 | 19 +++++++++++++++++++ demos/ppl_pips/expected_int32_a | 19 +++++++++++++++++++ demos/ppl_pips/expected_int64 | 19 +++++++++++++++++++ demos/ppl_pips/expected_int64_a | 19 +++++++++++++++++++ demos/ppl_pips/expected_int8 | 19 +++++++++++++++++++ demos/ppl_pips/expected_int8_a | 19 +++++++++++++++++++ 8 files changed, 152 insertions(+), 0 deletions(-) diff --git a/demos/ppl_pips/expected_int16 b/demos/ppl_pips/expected_int16 index 49c3c9a..4b912d7 100644 --- a/demos/ppl_pips/expected_int16 +++ b/demos/ppl_pips/expected_int16 @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int16_a b/demos/ppl_pips/expected_int16_a index 49c3c9a..4b912d7 100644 --- a/demos/ppl_pips/expected_int16_a +++ b/demos/ppl_pips/expected_int16_a @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int32 b/demos/ppl_pips/expected_int32 index 49c3c9a..4b912d7 100644 --- a/demos/ppl_pips/expected_int32 +++ b/demos/ppl_pips/expected_int32 @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int32_a b/demos/ppl_pips/expected_int32_a index 49c3c9a..4b912d7 100644 --- a/demos/ppl_pips/expected_int32_a +++ b/demos/ppl_pips/expected_int32_a @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int64 b/demos/ppl_pips/expected_int64 index 49c3c9a..cb04054 100644 --- a/demos/ppl_pips/expected_int64 +++ b/demos/ppl_pips/expected_int64 @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int64_a b/demos/ppl_pips/expected_int64_a index 49c3c9a..cb04054 100644 --- a/demos/ppl_pips/expected_int64_a +++ b/demos/ppl_pips/expected_int64_a @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int8 b/demos/ppl_pips/expected_int8 index 49c3c9a..5bb428f 100644 --- a/demos/ppl_pips/expected_int8 +++ b/demos/ppl_pips/expected_int8 @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat d41d8cd98f00b204e9800998ecf8427e - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip d41d8cd98f00b204e9800998ecf8427e - +brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip d41d8cd98f00b204e9800998ecf8427e - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int8_a b/demos/ppl_pips/expected_int8_a index 49c3c9a..5bb428f 100644 --- a/demos/ppl_pips/expected_int8_a +++ b/demos/ppl_pips/expected_int8_a @@ -1 +1,20 @@ +invert.dat d41d8cd98f00b204e9800998ecf8427e - +linear.dat d41d8cd98f00b204e9800998ecf8427e - +lineri.dat d41d8cd98f00b204e9800998ecf8427e - +loz.dat d41d8cd98f00b204e9800998ecf8427e - +max.dat d41d8cd98f00b204e9800998ecf8427e - +maxb.dat d41d8cd98f00b204e9800998ecf8427e - +pairi.dat d41d8cd98f00b204e9800998ecf8427e - +petit.dat d41d8cd98f00b204e9800998ecf8427e - +rairoi.dat d41d8cd98f00b204e9800998ecf8427e - test02.dat d41d8cd98f00b204e9800998ecf8427e - +test12i.dat d41d8cd98f00b204e9800998ecf8427e - +big.pip d41d8cd98f00b204e9800998ecf8427e - +brisebarre.pip d41d8cd98f00b204e9800998ecf8427e - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip d41d8cd98f00b204e9800998ecf8427e - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 -

1 0

[GIT] ppl/ppl(master): Test with all the examples.
by Roberto Bagnara 17 Feb '10

17 Feb '10

Module: ppl/ppl Branch: master Commit: f85e96f4e8a3c4577453d9e181c86c81ba77cef6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85e96f4e8a3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 22:14:57 2010 +0100 Test with all the examples. --- demos/ppl_pips/Makefile.am | 13 +++++++++++-- demos/ppl_pips/expected_mpz | 19 +++++++++++++++++++ demos/ppl_pips/expected_mpz_a | 19 +++++++++++++++++++ 3 files changed, 49 insertions(+), 2 deletions(-) diff --git a/demos/ppl_pips/Makefile.am b/demos/ppl_pips/Makefile.am index b155965..6d7f5d8 100644 --- a/demos/ppl_pips/Makefile.am +++ b/demos/ppl_pips/Makefile.am @@ -84,8 +84,17 @@ check-local: ppl_pips$(EXEEXT) file=`basename $$path`; \ $(FGREP) $$file tough_examples >/dev/null 2>&1 && continue; \ echo $(ECHO_N) $$file " $(ECHO_C)" >>obtained; \ - echo ppl_pips$(EXEEXT) $$path; \ - ./ppl_pips$(EXEEXT) $$path | tr -d '\015' | $(TEXT_MD5SUM) \ + echo ppl_pips$(EXEEXT) -p $$path; \ + ./ppl_pips$(EXEEXT) -p $$path | tr -d '\015' | $(TEXT_MD5SUM) \ + >>obtained; \ + done + for path in $(srcdir)/examples/*.pip; \ + do \ + file=`basename $$path`; \ + $(FGREP) $$file tough_examples >/dev/null 2>&1 && continue; \ + echo $(ECHO_N) $$file " $(ECHO_C)" >>obtained; \ + echo ppl_pips$(EXEEXT) -P $$path; \ + ./ppl_pips$(EXEEXT) -P $$path | tr -d '\015' | $(TEXT_MD5SUM) \ >>obtained; \ done diff obtained $(srcdir)/$(EXPECTED) diff --git a/demos/ppl_pips/expected_mpz b/demos/ppl_pips/expected_mpz index e30f88a..70658db 100644 --- a/demos/ppl_pips/expected_mpz +++ b/demos/ppl_pips/expected_mpz @@ -1 +1,20 @@ +invert.dat 89eb267478eb8675de9602be9bb92f9e - +linear.dat 1f73e09130d92979eb4388cbbab7f389 - +lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - +maxb.dat bc9d718f581cd7da4bbd7f0293749315 - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - +petit.dat dd796c3d2afd2b7fb25a661c4137973f - +rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - +test12i.dat 9c4f4bd2f5327b9ba442e4e294078282 - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_mpz_a b/demos/ppl_pips/expected_mpz_a index e30f88a..70658db 100644 --- a/demos/ppl_pips/expected_mpz_a +++ b/demos/ppl_pips/expected_mpz_a @@ -1 +1,20 @@ +invert.dat 89eb267478eb8675de9602be9bb92f9e - +linear.dat 1f73e09130d92979eb4388cbbab7f389 - +lineri.dat 7b21035f6f07e68b8c0e2893a649f0ef - +loz.dat 558273607bb0eec59c713980a8722ac8 - +max.dat e29c651c587cc64ab6a7a8cecd488a0b - +maxb.dat bc9d718f581cd7da4bbd7f0293749315 - +pairi.dat 4aab776937a39aee6b95dc5d81722a20 - +petit.dat dd796c3d2afd2b7fb25a661c4137973f - +rairoi.dat 6aa01aa8b58429c4dfe33fad609306d5 - test02.dat cd5fa1529845aacfac7b36ecad8d1c93 - +test12i.dat 9c4f4bd2f5327b9ba442e4e294078282 - +big.pip bc9d718f581cd7da4bbd7f0293749315 - +brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - +cg1.pip 2571d40371dd1f1661348b08945e8a98 - +esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - +ex2.pip 89eb267478eb8675de9602be9bb92f9e - +fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +max.pip e29c651c587cc64ab6a7a8cecd488a0b - +sor1d.pip 8722a9d4eedd28b98c12987c9116564e - +square.pip 65a57d1e7ccb8196f81fa6e701164b69 -

1 0

[GIT] ppl/ppl(master): Added examples from PipLib 1.4.0.
by Roberto Bagnara 17 Feb '10

17 Feb '10

Module: ppl/ppl Branch: master Commit: d97532ec7447dd4e4bfe042eae9e4c6a08f9f35a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97532ec7447… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 22:06:42 2010 +0100 Added examples from PipLib 1.4.0. --- demos/ppl_pips/examples/Makefile.am | 25 ++++++++++++++++++++++- demos/ppl_pips/examples/README | 8 +++++++ demos/ppl_pips/examples/big.pip | 9 ++++++++ demos/ppl_pips/examples/brisebarre.pip | 33 ++++++++++++++++++++++++++++++++ demos/ppl_pips/examples/cg1.pip | 15 ++++++++++++++ demos/ppl_pips/examples/esced.pip | 21 ++++++++++++++++++++ demos/ppl_pips/examples/ex2.pip | 9 ++++++++ demos/ppl_pips/examples/fimmel.pip | 12 +++++++++++ demos/ppl_pips/examples/invert.dat | 10 +++++++++ demos/ppl_pips/examples/linear.dat | 10 +++++++++ demos/ppl_pips/examples/lineri.dat | 9 ++++++++ demos/ppl_pips/examples/loz.dat | 15 ++++++++++++++ demos/ppl_pips/examples/max.dat | 9 ++++++++ demos/ppl_pips/examples/max.pip | 9 ++++++++ demos/ppl_pips/examples/maxb.dat | 9 ++++++++ demos/ppl_pips/examples/pairi.dat | 7 ++++++ demos/ppl_pips/examples/petit.dat | 9 ++++++++ demos/ppl_pips/examples/rairoi.dat | 9 ++++++++ demos/ppl_pips/examples/sor1d.pip | 28 +++++++++++++++++++++++++++ demos/ppl_pips/examples/square.pip | 9 ++++++++ demos/ppl_pips/examples/test12i.dat | 17 ++++++++++++++++ 21 files changed, 280 insertions(+), 2 deletions(-) diff --git a/demos/ppl_pips/examples/Makefile.am b/demos/ppl_pips/examples/Makefile.am index 3f2777a..48c2439 100644 --- a/demos/ppl_pips/examples/Makefile.am +++ b/demos/ppl_pips/examples/Makefile.am @@ -21,6 +21,27 @@ # site: http://www.cs.unipr.it/ppl/ . DAT_FILES = \ -test02.dat +invert.dat \ +linear.dat \ +lineri.dat \ +loz.dat \ +max.dat \ +maxb.dat \ +pairi.dat \ +petit.dat \ +rairoi.dat \ +test02.dat \ +test12i.dat -dist_noinst_DATA = $(DAT_FILES) +PIP_FILES = \ +big.pip \ +brisebarre.pip \ +cg1.pip \ +esced.pip \ +ex2.pip \ +fimmel.pip \ +max.pip \ +sor1d.pip \ +square.pip + +dist_noinst_DATA = $(DAT_FILES) $(PIP_FILES) diff --git a/demos/ppl_pips/examples/README b/demos/ppl_pips/examples/README new file mode 100644 index 0000000..6b46816 --- /dev/null +++ b/demos/ppl_pips/examples/README @@ -0,0 +1,8 @@ +The examples in this directory have been taken from PipLib 1.4.0 [1], +which is released under the GNU Lesser General Public License, version 2.1 +or later [2]. + +-------- + +[1] http://www.piplib.org/ +[2] http://www.gnu.org/licenses/lgpl-2.1.html diff --git a/demos/ppl_pips/examples/big.pip b/demos/ppl_pips/examples/big.pip new file mode 100644 index 0000000..c93c08f --- /dev/null +++ b/demos/ppl_pips/examples/big.pip @@ -0,0 +1,9 @@ +0 3 + +1 + +4 5 +1 -1 0 1 0 +1 0 -1 1 0 +1 -1 3 -2 12 +1 2 -1 -1 3 diff --git a/demos/ppl_pips/examples/brisebarre.pip b/demos/ppl_pips/examples/brisebarre.pip new file mode 100644 index 0000000..f5a8397 --- /dev/null +++ b/demos/ppl_pips/examples/brisebarre.pip @@ -0,0 +1,33 @@ +# ---------------------- CONTEXT ---------------------- +0 2 + +-1 + +# ----------------------- DOMAIN ---------------------- +26 6 +1 3 0 0 0 -98300 +1 -3 0 0 0 98308 +1 432 36 6 1 -14757611 +1 -432 -36 -6 -1 14758510 +1 54 9 3 1 -1923190 +1 -54 -9 -3 -1 1923303 +1 48 12 6 3 -1782238 +1 -48 -12 -6 -3 1782339 +1 27 9 6 4 -1045164 +1 -27 -9 -6 -4 1045221 +1 432 180 150 125 -17434139 +1 -432 -180 -150 -125 17435038 +1 6 3 3 3 -252443 +1 -6 -3 -3 -3 252456 +1 432 252 294 343 -18949275 +1 -432 -252 -294 -343 18950174 +1 27 18 24 32 -1234720 +1 -27 -18 -24 -32 1234777 +1 48 36 54 81 -2288453 +1 -48 -36 -54 -81 2288554 +1 54 45 75 125 -2684050 +1 -54 -45 -75 -125 2684163 +1 432 396 726 1331 -22386005 +1 -432 -396 -726 -1331 22386904 +1 3 3 6 12 -162072 +1 -3 -3 -6 -12 162080 diff --git a/demos/ppl_pips/examples/cg1.pip b/demos/ppl_pips/examples/cg1.pip new file mode 100644 index 0000000..78e31f1 --- /dev/null +++ b/demos/ppl_pips/examples/cg1.pip @@ -0,0 +1,15 @@ +2 4 + 1 1 0 -1 + 1 -1 1 0 + +-1 + +8 7 + 1 0 1 0 -1 0 0 + 1 0 -1 0 1 0 0 + 1 1 0 0 0 -1 0 + 1 -1 0 0 0 1 0 + 1 0 1 0 0 0 -1 + 1 0 -1 0 0 1 0 + 1 0 -1 1 0 0 -1 + 1 0 0 -1 0 1 0 diff --git a/demos/ppl_pips/examples/esced.pip b/demos/ppl_pips/examples/esced.pip new file mode 100644 index 0000000..891c281 --- /dev/null +++ b/demos/ppl_pips/examples/esced.pip @@ -0,0 +1,21 @@ +0 2 + +-1 + +16 18 +1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 +0 0 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 +0 0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0 +0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 +0 0 0 0 0 0 -1 0 0 0 0 0 1 -1 0 -1 0 0 +0 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 +0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0 +0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 +0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 +1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 +1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 diff --git a/demos/ppl_pips/examples/ex2.pip b/demos/ppl_pips/examples/ex2.pip new file mode 100644 index 0000000..bb59848 --- /dev/null +++ b/demos/ppl_pips/examples/ex2.pip @@ -0,0 +1,9 @@ +1 5 +1 -1 1 1 0 + +-1 + +3 7 +1 0 -1 0 1 0 0 +1 -1 0 0 0 1 0 +1 1 1 -1 0 0 0 diff --git a/demos/ppl_pips/examples/fimmel.pip b/demos/ppl_pips/examples/fimmel.pip new file mode 100644 index 0000000..a6dee41 --- /dev/null +++ b/demos/ppl_pips/examples/fimmel.pip @@ -0,0 +1,12 @@ +0 4 + +-1 + +7 6 +1 2 6 0 0 -9 +1 5 -3 0 0 0 +1 2 -10 0 0 15 +1 -2 6 0 0 -3 +1 -2 -6 0 0 17 +1 0 1 -1 0 0 +1 1 0 0 -1 0 diff --git a/demos/ppl_pips/examples/invert.dat b/demos/ppl_pips/examples/invert.dat new file mode 100644 index 0000000..8f472fc --- /dev/null +++ b/demos/ppl_pips/examples/invert.dat @@ -0,0 +1,10 @@ +( (Lower bound on j after loop inversion + (unknowns j i) + (parameters k m n)) + 2 3 3 1 -1 1 + ( #[0 -1 0 0 1 0] + #[-1 0 0 0 0 1] + #[1 1 0 -1 0 0] + ) + ( #[-1 1 1 0]) +) diff --git a/demos/ppl_pips/examples/linear.dat b/demos/ppl_pips/examples/linear.dat new file mode 100644 index 0000000..65d5a51 --- /dev/null +++ b/demos/ppl_pips/examples/linear.dat @@ -0,0 +1,10 @@ +((linearisation d'un tableau 100 100) + 2 1 4 1 -1 1 + (#[100 1 0 -1] + #[-100 -1 0 1] + #[-1 0 99 0] + #[0 -1 99 0] + ) + (#[-1 9999] + ) +) diff --git a/demos/ppl_pips/examples/lineri.dat b/demos/ppl_pips/examples/lineri.dat new file mode 100644 index 0000000..4c13e66 --- /dev/null +++ b/demos/ppl_pips/examples/lineri.dat @@ -0,0 +1,9 @@ +((linearisation d'un tableau 100 100) + 1 1 3 1 -1 1 + (#[-1 99 0] + #[-100 0 1] + #[100 99 -1] + ) + (#[-1 9999] + ) +) diff --git a/demos/ppl_pips/examples/loz.dat b/demos/ppl_pips/examples/loz.dat new file mode 100644 index 0000000..234dd9c --- /dev/null +++ b/demos/ppl_pips/examples/loz.dat @@ -0,0 +1,15 @@ +( + ( Solving MIN(i-2.j) under the following constraints: + Unknowns may be negative. + Order: + f' i' j' constant G P n' + ) + 3 3 5 0 4 1 + ( + #[ 0 1 1 20 -2 -4 4 ] + #[ 1 -1 2 0 -2 0 0 ] + #[ 0 -1 -1 0 2 0 0 ] + #[ 0 1 -1 10 0 -2 2 ] + #[ 0 -1 1 10 0 -2 2 ] + ) + ( )) diff --git a/demos/ppl_pips/examples/max.dat b/demos/ppl_pips/examples/max.dat new file mode 100644 index 0000000..fdb71c5 --- /dev/null +++ b/demos/ppl_pips/examples/max.dat @@ -0,0 +1,9 @@ +((a maximization problem) + 2 1 4 0 -1 1 + (#[-1 0 0 1] + #[0 -1 0 1] + #[-1 3 12 -2] + #[2 -1 3 -1] + ) + () +) diff --git a/demos/ppl_pips/examples/max.pip b/demos/ppl_pips/examples/max.pip new file mode 100644 index 0000000..e8af57b --- /dev/null +++ b/demos/ppl_pips/examples/max.pip @@ -0,0 +1,9 @@ +0 3 + +-1 + +4 5 +1 -1 0 1 0 +1 0 -1 1 0 +1 -1 3 -2 12 +1 2 -1 -1 3 diff --git a/demos/ppl_pips/examples/maxb.dat b/demos/ppl_pips/examples/maxb.dat new file mode 100644 index 0000000..02db81a --- /dev/null +++ b/demos/ppl_pips/examples/maxb.dat @@ -0,0 +1,9 @@ +((a maximization problem) + 2 1 4 0 3 1 + (#[-1 0 0 1] + #[0 -1 0 1] + #[-1 3 12 -2] + #[2 -1 3 -1] + ) + () +) diff --git a/demos/ppl_pips/examples/pairi.dat b/demos/ppl_pips/examples/pairi.dat new file mode 100644 index 0000000..9f604cd --- /dev/null +++ b/demos/ppl_pips/examples/pairi.dat @@ -0,0 +1,7 @@ +((les nombres pairs) + 1 1 2 0 -1 1 + (#[2 0 -1] + #[-6 1 3] + ) + () +) diff --git a/demos/ppl_pips/examples/petit.dat b/demos/ppl_pips/examples/petit.dat new file mode 100644 index 0000000..5d23e19 --- /dev/null +++ b/demos/ppl_pips/examples/petit.dat @@ -0,0 +1,9 @@ +((( a b c d e f g h i j k l m n o p q r s t u v w x y z 1)()) + 3 0 3 0 -1 1 + (#[1 0 0 -2] + #[1 2 0 -3] + #[1 2 3 -7] + ) + () + ) + diff --git a/demos/ppl_pips/examples/rairoi.dat b/demos/ppl_pips/examples/rairoi.dat new file mode 100644 index 0000000..09f6d0b --- /dev/null +++ b/demos/ppl_pips/examples/rairoi.dat @@ -0,0 +1,9 @@ +((test du papier RAIRO) + 2 3 4 0 -1 1 + (#[-1 0 0 0 1 0] + #[0 -1 0 0 0 1] + #[-2 -1 0 -1 2 1] + #[2 1 0 1 -2 -1] + ) + () +) diff --git a/demos/ppl_pips/examples/sor1d.pip b/demos/ppl_pips/examples/sor1d.pip new file mode 100644 index 0000000..1bef89e --- /dev/null +++ b/demos/ppl_pips/examples/sor1d.pip @@ -0,0 +1,28 @@ +2 4 + 1 1 0 0 + 1 0 1 0 + +-1 + +20 8 + + 0 -1 0 0 0 0 0 2 + 0 0 -1 0 0 0 0 1 + 0 0 0 -1 0 0 0 2 + 0 0 0 0 -1 0 0 4 + 1 0 0 0 1 0 0 -2 + 1 -2 0 2 1 0 0 -4 + 1 0 0 0 -1 0 1 -1 + 1 2 0 -2 -1 0 0 5 + 1 0 0 1 0 0 0 -1 + 1 0 -2 1 0 0 0 0 + 1 -2 0 2 0 0 1 -5 + 1 0 0 -1 0 1 0 0 + 1 0 2 -1 0 0 0 1 + 1 2 0 -2 0 0 0 3 + 1 0 1 0 0 0 0 0 + 1 -2 4 0 0 0 1 -3 + 1 0 -2 0 0 1 0 0 + 1 2 -4 0 0 0 0 3 + 1 2 0 0 0 0 0 1 + 1 -2 0 0 0 2 1 -5 diff --git a/demos/ppl_pips/examples/square.pip b/demos/ppl_pips/examples/square.pip new file mode 100644 index 0000000..7bb3f0c --- /dev/null +++ b/demos/ppl_pips/examples/square.pip @@ -0,0 +1,9 @@ +0 3 + +-1 + +4 5 +1 1 0 0 0 +1 -1 0 1 0 +1 0 1 0 0 +1 0 -1 1 0 diff --git a/demos/ppl_pips/examples/test12i.dat b/demos/ppl_pips/examples/test12i.dat new file mode 100644 index 0000000..5881897 --- /dev/null +++ b/demos/ppl_pips/examples/test12i.dat @@ -0,0 +1,17 @@ +((variables : a b c d ...., pas de parametres) + 12 0 12 0 -1 1 + (#[1 0 0 0 0 0 0 0 0 0 0 0 -2] + #[1 2 0 0 0 0 0 0 0 0 0 0 -3] + #[1 2 3 0 0 0 0 0 0 0 0 0 -7] + #[1 2 3 4 0 0 0 0 0 0 0 0 -25] + #[1 2 3 4 5 0 0 0 0 0 0 0 -121] + #[1 2 3 4 5 6 0 0 0 0 0 0 -721] + #[1 2 3 4 5 6 7 0 0 0 0 0 -5041] + #[1 2 3 4 5 6 7 8 0 0 0 0 -40321] + #[1 2 3 4 5 6 7 8 9 0 0 0 -362881] + #[1 2 3 4 5 6 7 8 9 10 0 0 -3628801] + #[1 2 3 4 5 6 7 8 9 10 11 0 -39916801] + #[1 2 3 4 5 6 7 8 9 10 11 12 -479001601] + ) + () +)

1 0

[GIT] ppl/ppl(master): Typo fixed: we require SICStus at least version 3.9. 1.
by Roberto Bagnara 17 Feb '10

17 Feb '10

Module: ppl/ppl Branch: master Commit: 1e6df802e280f0c1df33b864037544c02757d08e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e6df802e280… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 17 17:41:50 2010 +0100 Typo fixed: we require SICStus at least version 3.9.1. --- interfaces/Prolog/Prolog_interface.dox | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox index 58f550e..dd147ad 100644 --- a/interfaces/Prolog/Prolog_interface.dox +++ b/interfaces/Prolog/Prolog_interface.dox @@ -1732,7 +1732,7 @@ Manual</A> The SICStus Prolog interface to the PPL is available both as a statically linked module or as a dynamically linked one. -Only SICStus Prolog versions 3.9.0 and later are supported. +Only SICStus Prolog versions 3.9.1 and later are supported. <H3>The Statically Linked <CODE>ppl_sicstus</CODE> Executable</H3>

1 0