March 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Define the SOURCES for test concatenate1.
by Enea Zaffanella 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: master Commit: 42397bb0409e662d747acabb988426f743d69829 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42397bb0409e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 17:12:09 2010 +0100 Define the SOURCES for test concatenate1. --- tests/Partially_Reduced_Product/Makefile.am | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am index 228aa4b..541da86 100644 --- a/tests/Partially_Reduced_Product/Makefile.am +++ b/tests/Partially_Reduced_Product/Makefile.am @@ -120,6 +120,8 @@ boundedaffineimage1_SOURCES = boundedaffineimage1.cc bounds1_SOURCES = bounds1.cc +concatenate1_SOURCES = concatenate1.cc + congruences1_SOURCES = congruences1.cc congruencesproduct1_SOURCES = congruencesproduct1.cc

1 0

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

18 Mar '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637d05b3b85f… Merge: 0ee77779d7a558144c70ee5420899c6de44ce529 80eafa9e6f521b3b7087d12b16c8a22a7f5c1679 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 16:07:59 2010 +0100 Merge branch 'master' into sparse_matrices Conflicts: src/PIP_Tree.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f52… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 14:17:15 2010 +0100 Let ppl_*_linear_partition/4 register its outputs to the allocator tracker. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 13:04:22 2010 +0100 Corrected typo: register the C++ pointer, not the Prolog term. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:37:32 2010 +0100 Corrected the expected results for test fimmel.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=618bf7265df3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:15:15 2010 +0100 Corrected expected result for test sor1d.pip. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5d011c79c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:06:43 2010 +0100 Test 08 may does not overflow when using exact Octagonal_Shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9919991474ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:24:38 2010 +0100 Fixed input file sor1d.pip. A line of blanks is not a valid comment line for the input reading routine. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05ba76777df2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 11:22:30 2010 +0100 Fixed xpected result for sor1d.pip. Minor improvements to ppl_pips.cc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2df786e330fb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:14:35 2010 +0100 Fixed a few memory allocation problems in ppl_pips. Enabled the used of valgrind when running ppl_pips tests. Corrected the expected result for test fimmel.pip (unsatisfiable problem). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71aa196a1784… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 17 17:12:07 2010 +0100 Fixed a couple of resource allocation problems (reported by Marco Poletti). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d0a50e95c3b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 17 11:30:48 2010 +0000 Fixed some typos for code related to the wrap_assign java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fca7306fd2f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 19:25:00 2010 +0000 Added implementation code for Java interface for wrap_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=445fe36196dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 13:11:21 2010 +0000 Allow for the various numeric types in frequency1.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80c44d73a29d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 16 12:46:29 2010 +0000 Java interface for wrap asign added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c3f8ae55af3… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 16:27:50 2010 +0000 Test changed so as to be meaningful for all integer types. Comment typos fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c68101c16e7f… Merge: 8760df47483200e17daf43df3c7ca4ec7aad9185 6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 15 15:53:22 2010 +0400 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8760df474832… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Mon Mar 15 11:18:15 2010 +0000 Conflicts resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6060bda39a0f… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Mar 11 19:58:03 2010 +0100 Documentation fixes. Added a paragraph about optimizing a linear cost function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed91bdf10a46… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 10 18:29:05 2010 +0100 Improved checks in PIP_Decision_Node::OK() method. There is no reason to have Artificial_Parameter::OK() inlined. Added a couple of comments on code that should be normally unreachable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61b4c1817137… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 10 18:27:08 2010 +0100 Fixed documentation reference. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374f46632936… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 10 17:14:26 2010 +0100 Fixed the value of INPUT doxygen configuration variable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad2fe744dc6… Merge: bbb1ff43e555dabda36b8d5838092ebade985c54 65156364caa2da7235862998930736ca27c83236 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 10 13:18:29 2010 +0400 Merge branch 'master' into products Conflicts: src/Partially_Reduced_Product.templates.hh tests/Partially_Reduced_Product/directproduct2.cc tests/Partially_Reduced_Product/directproduct3.cc tests/Partially_Reduced_Product/directproduct4.cc tests/Partially_Reduced_Product/directproduct5.cc tests/Partially_Reduced_Product/directproduct6.cc tests/Partially_Reduced_Product/partiallyreducedproduct1.cc tests/Partially_Reduced_Product/partiallyreducedproduct2.cc tests/Partially_Reduced_Product/partiallyreducedproduct3.cc tests/Partially_Reduced_Product/partiallyreducedproduct4.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65156364caa2… Author: François Galea <francois.galea(a)uvsq.fr> Date: Tue Mar 9 20:28:29 2010 +0100 Added two paragraphs about uses of the big parameter in the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d43c54ada25… Author: François Galea <francois.galea(a)uvsq.fr> Date: Mon Mar 8 07:56:00 2010 +0100 Documentation fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114f0e384745… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:36:12 2010 +0400 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06b3826db77… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 13:31:49 2010 +0400 Missing files added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2cacd97386… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 08:52:23 2010 +0400 Restored line erased by mistake. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9fbde676540… Merge: 97bd553465561f16c14e291cc942004cc534df86 a6b23fd18ce9a018918f9054c2c60fe51ff4e2ad Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:04:15 2010 +0400 Merge branch 'master' into floating_point Conflicts: doc/definitions.dox URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6b23fd18ce9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:57 2010 +0400 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71dcb7f32c65… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 9 07:00:37 2010 +0400 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97bd55346556… Author: Roberto Amadini <r.amadini(a)virgilio.it> Date: Mon Mar 8 21:10:04 2010 +0100 Fixed documentation files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6c325c3b96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 8 18:39:23 2010 +0400 Support newer versions of SWI-Prolog. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbb1ff43e555… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Jul 9 14:30:29 2009 +0100 Corrected test as already corrected in the master branch. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a648638a1c5f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 08:44:02 2009 +0100 Further improvements to frequency() code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5965cbb6eed… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 08:14:06 2009 +0100 Code for frequency() improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b01615895b5c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 24 07:11:57 2009 +0100 A new product called Shape_Preserving_Product added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68dd5db1d102… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 23 20:56:45 2009 +0100 The method frequency() added to the Affine_Space domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ef46ef0cbc6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 23 20:55:47 2009 +0100 Bug in frequency() for Octagonal shapes fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46be509da515… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 22 15:32:07 2009 +0100 Added the method frequency() to the Box domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f21ee4e62c55… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 22 11:01:10 2009 +0100 Added the method frequency() to the Octagonal shape domain. Improved the code for the same method for BD shapes. Corrected some typos in comments in these files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13382fd6d7a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 21 09:32:39 2009 +0100 Added method frequency() to the Polyhedron and BD Shape domains. This corresponds to the method frequency() already added to the Grid domain. For these domains it checks if the expression has a constant value and if so, returns true and gives the value (with frequency 0). Otherwise it returns false. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97e641dd651b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:36:26 2009 +0100 Revert "Added a warning about non-integrality for wrap_assign()." This reverts commit 6b9f28ad503f1d43da7a876c4bee7eae9eba185a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b9f28ad503f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:28:58 2009 +0100 Added a warning about non-integrality for wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047b85ccd0dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:25:26 2009 +0100 Some tests are expected to fail with 8-bit integers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49daa080642e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:15:53 2009 +0100 Removed redundant test files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b981fa2a283c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:07:14 2009 +0100 Revised the tests so as to follow the organization for other domains. Apart from the operation tests, there are specific tests for each reduction operator. Selected tests (in the Makefile) can be checked with the given component order and with the component domains reversed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49a4bf80ee99… Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 18 13:47:31 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d94d1213ad8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 17 09:04:08 2009 +0100 After the affine (pre)image operations, unset the reduced flag. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d519208391e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 21:20:06 2009 +0100 Added two tests based on the examples 5(a), 5(b) in SenS07. Added print_constraints(const Affine_Space&) to ppl_test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f5a7d280e52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 07:41:22 2009 +0100 Added new method frequency() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7f4b16d84c8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 14 07:41:22 2009 +0100 Added new method frequency() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60d5f1fce4d1… Merge: da0ca32ee95f30d2bcd9111eea74d9b820ad1a14 c8cbb00f29ac4c0d48daf14a9a9d3b93e559e207 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 11:06:06 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da0ca32ee95f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sun May 3 17:22:18 2009 +0100 Renamed reduction Shrink_Using_Congruences_Reduction to Congruences_Reduction. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de062… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Sat May 2 11:00:24 2009 +0100 Reduction methods (Constraints and Shrink_Using_Congruences) improved. Tests specific to the Constraints_Reduction added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5feeaabb6a4e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri May 1 10:16:38 2009 +0100 Unwanted changes to test01() undone. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9d2424b6b4… Merge: 71893349245baa11c7fa1dd9b0a793606b4bce4c 827e54079b1ec6528dd5d185c8d8d0694c891587 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 29 14:44:49 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71893349245b… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Jan 5 13:54:39 2009 +0000 Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction. Several "FIXME"s dealt with. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00d817596a9b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 13 10:28:13 2008 +0000 This commit was generated by cvs to git conversion to create branch 'products'.

1 0

[GIT] ppl/ppl(termination): Completed the implementation of all_affine_ranking_functions_PR*().
by Roberto Bagnara 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: termination Commit: dab9262cbdb9166cd4a77a2ec9110c3295b3c773 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dab9262cbdb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:22:59 2010 +0400 Completed the implementation of all_affine_ranking_functions_PR*(). --- src/termination.cc | 87 +++++++++++++++++++++++++++++++++++++- src/termination.defs.hh | 4 +- src/termination.templates.hh | 29 +++++++----- tests/Polyhedron/termination1.cc | 8 ++-- 4 files changed, 108 insertions(+), 20 deletions(-) diff --git a/src/termination.cc b/src/termination.cc index 2fc0c58..5faf4eb 100644 --- a/src/termination.cc +++ b/src/termination.cc @@ -23,6 +23,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include <ppl-config.h> #include "termination.defs.hh" +#include "NNC_Polyhedron.defs.hh" namespace Parma_Polyhedra_Library { @@ -564,7 +565,7 @@ one_affine_ranking_function_PR(const Constraint_System& cs_before, // function computed in the feasible point is positive. finish: { - // We can impose that the le_ineq is >= 1 because every positive + // We can impose that le_ineq is >= 1 because every positive // multiple of the linear expression is acceptable. mip.add_constraint(le_ineq >= 1); Generator fp = mip.feasible_point(); @@ -615,7 +616,89 @@ one_affine_ranking_function_PR(const Constraint_System& cs_before, void all_affine_ranking_functions_PR(const Constraint_System& cs_before, const Constraint_System& cs_after, - C_Polyhedron& mu_space); + NNC_Polyhedron& mu_space) { + Constraint_System cs_eqs; + Linear_Expression le_ineq; + fill_constraint_system_PR(cs_before, cs_after, cs_eqs, le_ineq); + +#if PRINT_DEBUG_INFO + Variable::output_function_type* p_default_output_function + = Variable::get_output_function(); + Variable::set_output_function(output_function_PR); + + output_function_PR_r = distance(cs_before.begin(), cs_before.end()); + output_function_PR_s = distance(cs_after.begin(), cs_after.end()); + + std::cout << "*** cs_eqs ***" << std::endl; + using namespace IO_Operators; + std::cout << cs_eqs << std::endl; + std::cout << "*** le_ineq ***" << std::endl; + std::cout << le_ineq << std::endl; +#endif + + NNC_Polyhedron ph(cs_eqs); + ph.add_constraint(le_ineq > 0); + // u_3 corresponds to space dimensions 0, ..., s - 1. + const dimension_type s = distance(cs_after.begin(), cs_after.end()); + ph.remove_higher_space_dimensions(s); + +#if PRINT_DEBUG_INFO + std::cout << "*** ph ***" << std::endl; + std::cout << ph << std::endl; + + Variable::set_output_function(p_default_output_function); +#endif + + // FIXME: is this useful? + const dimension_type n = cs_before.space_dimension(); + + const Generator_System& gs_in = ph.generators(); + Generator_System gs_out; + for (Generator_System::const_iterator r = gs_in.begin(), + gs_in_end = gs_in.end(); r != gs_in_end; ++r) { + const Generator& g = *r; + Linear_Expression le; + // Set le to the multiplication of Linear_Expression(g) by E'_C. + dimension_type row_index = 0; + PPL_DIRTY_TEMP_COEFFICIENT(k); + for (Constraint_System::const_iterator i = cs_after.begin(), + cs_after_end = cs_after.end(); + i != cs_after_end; + ++i, ++row_index) { + Variable vi(row_index); + Coefficient_traits::const_reference g_i = g.coefficient(vi); + if (g_i != 0) { + const Constraint& c_i = *i; + for (dimension_type j = n; j-- > 0; ) { + Variable vj(j); + k = g_i*c_i.coefficient(vj); + le += k*vj; + } + } + } + + // Add to gs_out the transformed generator. + switch (g.type()) { + case Generator::LINE: + gs_out.insert(line(le)); + break; + case Generator::RAY: + if (!le.all_homogeneous_terms_are_zero()) + gs_out.insert(ray(le)); + break; + case Generator::POINT: + gs_out.insert(point(le, g.divisor())); + break; + case Generator::CLOSURE_POINT: + gs_out.insert(closure_point(le, g.divisor())); + break; + } + } + + mu_space = NNC_Polyhedron(gs_out); + // mu_0 is zero. + mu_space.add_space_dimensions_and_embed(1); +} } // namespace Termination diff --git a/src/termination.defs.hh b/src/termination.defs.hh index 1f6f18a..c63e877 100644 --- a/src/termination.defs.hh +++ b/src/termination.defs.hh @@ -333,7 +333,7 @@ one_affine_ranking_function_PR_2(const PSET& pset_before, */ template <typename PSET> void -all_affine_ranking_functions_PR(const PSET& pset, C_Polyhedron& mu_space); +all_affine_ranking_functions_PR(const PSET& pset, NNC_Polyhedron& mu_space); /*! \brief Like all_affine_ranking_functions_MS_2() but using an improvement @@ -343,7 +343,7 @@ template <typename PSET> void all_affine_ranking_functions_PR_2(const PSET& pset_before, const PSET& pset_after, - C_Polyhedron& mu_space); + NNC_Polyhedron& mu_space); } // namespace Parma_Polyhedra_Library diff --git a/src/termination.templates.hh b/src/termination.templates.hh index 247a587..ce365c9 100644 --- a/src/termination.templates.hh +++ b/src/termination.templates.hh @@ -28,7 +28,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "BD_Shape.defs.hh" #include "Octagonal_Shape.defs.hh" -#define PRINT_DEBUG_INFO 0 +#define PRINT_DEBUG_INFO 1 #if PRINT_DEBUG_INFO #include <iostream> @@ -231,7 +231,7 @@ one_affine_ranking_function_PR(const Constraint_System& cs_before, void all_affine_ranking_functions_PR(const Constraint_System& cs_before, const Constraint_System& cs_after, - C_Polyhedron& mu_space); + NNC_Polyhedron& mu_space); } // namespace Termination @@ -437,14 +437,13 @@ one_affine_ranking_function_PR(const PSET& pset_after, Generator& mu) { Variables_Set primed_variables(Variable(0), Variable(space_dim/2 - 1)); pset_before.remove_space_dimensions(primed_variables); return one_affine_ranking_function_PR_2(pset_before, pset_after, mu); - } template <typename PSET> void all_affine_ranking_functions_PR_2(const PSET& pset_before, const PSET& pset_after, - C_Polyhedron& mu_space) { + NNC_Polyhedron& mu_space) { const dimension_type before_space_dim = pset_before.space_dimension(); const dimension_type after_space_dim = pset_after.space_dimension(); if (after_space_dim != 2*before_space_dim) { @@ -456,15 +455,19 @@ all_affine_ranking_functions_PR_2(const PSET& pset_before, throw std::invalid_argument(s.str()); } - used(mu_space); - throw std::runtime_error("PPL::all_affine_ranking_functions_PR_2()" - " not yet implemented."); + using namespace Implementation::Termination; + Constraint_System cs_before; + Constraint_System cs_after; + assign_all_inequalities_approximation(pset_before, cs_before); + assign_all_inequalities_approximation(pset_after, cs_after); + all_affine_ranking_functions_PR(cs_before, cs_after, mu_space); } template <typename PSET> void -all_affine_ranking_functions_PR(const PSET& pset, C_Polyhedron& mu_space) { - const dimension_type space_dim = pset.space_dimension(); +all_affine_ranking_functions_PR(const PSET& pset_after, + NNC_Polyhedron& mu_space) { + const dimension_type space_dim = pset_after.space_dimension(); if (space_dim % 2 != 0) { std::ostringstream s; s << "PPL::all_affine_ranking_functions_PR(pset):\n" @@ -473,9 +476,11 @@ all_affine_ranking_functions_PR(const PSET& pset, C_Polyhedron& mu_space) { throw std::invalid_argument(s.str()); } - used(mu_space); - throw std::runtime_error("PPL::all_affine_ranking_functions_PR()" - " not yet implemented."); + // FIXME: this may be inefficient. + PSET pset_before(pset_after); + Variables_Set primed_variables(Variable(0), Variable(space_dim/2 - 1)); + pset_before.remove_space_dimensions(primed_variables); + all_affine_ranking_functions_PR_2(pset_before, pset_after, mu_space); } } // namespace Parma_Polyhedra_Library diff --git a/tests/Polyhedron/termination1.cc b/tests/Polyhedron/termination1.cc index 6ef7e39..90ca22b 100644 --- a/tests/Polyhedron/termination1.cc +++ b/tests/Polyhedron/termination1.cc @@ -112,7 +112,7 @@ test04() { ph.add_constraint(xp2 == x2 + 1); ph.add_constraint(xp2 >= 1); - C_Polyhedron mu_space; + NNC_Polyhedron mu_space; all_affine_ranking_functions_PR(ph, mu_space); print_constraints(mu_space, "*** mu_space ***"); @@ -120,10 +120,10 @@ test04() { Variable mu1(0); Variable mu2(1); Variable mu0(2); - C_Polyhedron known_result(3); + NNC_Polyhedron known_result(3); known_result.add_constraint(mu1 - mu2 >= 1); + known_result.add_constraint(mu0 + 2*mu1 >= 0); known_result.add_constraint(mu2 >= 0); - known_result.add_constraint(2*mu0 + mu1 + 2*mu2 >= 0); print_constraints(known_result, "*** known_result ***"); @@ -436,7 +436,7 @@ BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); - //DO_TEST(test04); + DO_TEST(test04); DO_TEST(test05); DO_TEST(test06); DO_TEST(test07);

1 0

[GIT] ppl/ppl(termination): New Linear_Expression methods.
by Roberto Bagnara 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: termination Commit: a1178929241483912d8f0839edf1f512a552653c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a11789292414… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:22:12 2010 +0400 New Linear_Expression methods. Methods bool Linear_Expression::is_zero() const and bool Linear_Expression::all_homogeneous_terms_are_zero() const return true if and only if `*this' is 0, and if and only if all the homogeneous terms of `*this' are 0, respectively. --- NEWS | 8 ++++++++ TODO | 3 +++ src/Linear_Expression.defs.hh | 9 +++++++++ src/Linear_Expression.inlines.hh | 10 ++++++++++ src/Linear_Row.cc | 9 +++++++++ src/Linear_Row.defs.hh | 6 ++++++ 6 files changed, 45 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index 1c71776..eea5229 100644 --- a/NEWS +++ b/NEWS @@ -38,6 +38,14 @@ o The C and Java interfaces now support timeout computation facilities. o New configuration option `--with-gmp-build=DIR' allows to use a non-installed build of GMP in DIR. +o New methods + + bool Linear_Expression::is_zero() const + bool Linear_Expression::all_homogeneous_terms_are_zero() const + + return true if and only if `*this' is 0, and if and only if all the + homogeneous terms of `*this' are 0, respectively. + Deprecated and removed methods ------------------------------ diff --git a/TODO b/TODO index ddebb7f..1b37708 100644 --- a/TODO +++ b/TODO @@ -2,6 +2,9 @@ Enhancements for PPL 0.11 ========================= +- Interface Linear_Expression::is_zero() + and Linear_Expression::all_homogeneous_terms_are_zero() + for all the non-C++ interfaces. - Handle std::logic_error (now thrown in case watchdogs are not available) in all the interfaces. - Make all the *affine*image() methods uniform as far as the diff --git a/src/Linear_Expression.defs.hh b/src/Linear_Expression.defs.hh index b4ce1e0..5e4c81d 100644 --- a/src/Linear_Expression.defs.hh +++ b/src/Linear_Expression.defs.hh @@ -322,6 +322,15 @@ public: //! Returns the inhomogeneous term of \p *this. Coefficient_traits::const_reference inhomogeneous_term() const; + //! Returns <CODE>true</CODE> if and only if \p *this is \f$0\f$. + bool is_zero() const; + + /*! \brief + Returns <CODE>true</CODE> if and only if all the homogeneous + terms of \p *this are \f$0\f$. + */ + bool all_homogeneous_terms_are_zero() const; + //! Initializes the class. static void initialize(); diff --git a/src/Linear_Expression.inlines.hh b/src/Linear_Expression.inlines.hh index 70b9252..d587be2 100644 --- a/src/Linear_Expression.inlines.hh +++ b/src/Linear_Expression.inlines.hh @@ -82,6 +82,16 @@ Linear_Expression::inhomogeneous_term() const { return Linear_Row::inhomogeneous_term(); } +inline bool +Linear_Expression::is_zero() const { + return Linear_Row::is_zero(); +} + +inline bool +Linear_Expression::all_homogeneous_terms_are_zero() const { + return Linear_Row::all_homogeneous_terms_are_zero(); +} + inline const Linear_Expression& Linear_Expression::zero() { PPL_ASSERT(zero_p != 0); diff --git a/src/Linear_Row.cc b/src/Linear_Row.cc index 294a16c..6bccb92 100644 --- a/src/Linear_Row.cc +++ b/src/Linear_Row.cc @@ -122,6 +122,15 @@ PPL::Linear_Row::linear_combine(const Linear_Row& y, const dimension_type k) { } bool +PPL::Linear_Row::is_zero() const { + const Linear_Row& x = *this; + for (dimension_type i = x.size(); i-- > 0; ) + if (x[i] != 0) + return false; + return true; +} + +bool PPL::Linear_Row::all_homogeneous_terms_are_zero() const { const Linear_Row& x = *this; for (dimension_type i = x.size(); --i > 0; ) diff --git a/src/Linear_Row.defs.hh b/src/Linear_Row.defs.hh index 0c887de..5163224 100644 --- a/src/Linear_Row.defs.hh +++ b/src/Linear_Row.defs.hh @@ -360,6 +360,12 @@ public: void linear_combine(const Linear_Row& y, dimension_type k); /*! \brief + Returns <CODE>true</CODE> if and only if all the + terms of \p *this are \f$0\f$. + */ + bool is_zero() const; + + /*! \brief Returns <CODE>true</CODE> if and only if all the homogeneous terms of \p *this are \f$0\f$. */

1 0

[GIT] ppl/ppl(termination): Termination functions renamed in non-C++ interfaces.
by Roberto Bagnara 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: termination Commit: 9eda06954832ce1cc59c0888d00ef514ed08065c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9eda06954832… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 18 18:15:16 2010 +0400 Termination functions renamed in non-C++ interfaces. --- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 24 ++++++------ interfaces/C/ppl_interface_generator_c_h_code.m4 | 24 ++++++------ ...l_interface_generator_c_procedure_generators.m4 | 12 +++--- .../ppl_interface_generator_prolog_cc_code.m4 | 36 ++++++++++---------- .../ppl_interface_generator_prolog_hh_code.m4 | 24 ++++++------ ...erface_generator_prolog_procedure_generators.m4 | 12 +++--- 6 files changed, 66 insertions(+), 66 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9eda0695…

1 0

[GIT] ppl/ppl(master): Avoid leakage when exiting a test.
by Patricia Hill 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: master Commit: 11f7c4080b52e6a367570efce22140db9f4e98d3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f7c4080b52… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 14:16:15 2010 +0000 Avoid leakage when exiting a test. --- interfaces/Prolog/tests/pl_check.pl | 1 + ...face_generator_prolog_generated_test_pl_code.m4 | 16 ++++++++++++---- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl index 499b270..22b08d3 100644 --- a/interfaces/Prolog/tests/pl_check.pl +++ b/interfaces/Prolog/tests/pl_check.pl @@ -1969,6 +1969,7 @@ compute_timeout_hypercube(Hsecs, T, Dim_in, Dim_out, CS_out) :- ppl_reset_timeout, (Catch_Exception == ok -> Dim_out = Dim_in, + ppl_delete_Polyhedron(P), CS_out = CS ; Dim1 is Dim_in+1, diff --git a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 index 152d817..fae715e 100644 --- a/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 +++ b/interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 @@ -609,8 +609,12 @@ ppl_@CLASS@_linear_@PARTITION@_4_test :- ( ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA1, PS1, Space_Dim), ppl_@TOPOLOGY@@CLASS@_build_test_object(TEST_DATA2, PS2, Space_Dim), - ppl_@CLASS@_linear_partition(PS1, PS2, PS3, _PPS), - ppl_@CLASS@_OK(PS3) + ppl_@CLASS@_linear_partition(PS1, PS2, PS3, PPS), + ppl_@CLASS@_OK(PS3), + ppl_delete_@CLASS@(PS1), + ppl_delete_@CLASS@(PS2), + ppl_delete_@CLASS@(PS3), + ppl_delete_Pointset_Powerset_NNC_Polyhedron(PPS) -> fail ; (class_@CLASS@ == class_BD_Shape_int8_t -> fail ; true)) ). @@ -625,8 +629,12 @@ ppl_@CLASS@_approximate_@PARTITION@_4_test :- ( ppl_@CLASS@_build_test_object(TEST_DATA1, PS1, Space_Dim), ppl_@CLASS@_build_test_object(TEST_DATA2, PS2, Space_Dim), - ppl_@CLASS@_approximate_partition(PS1, PS2, PS3, _PPS, _Is_finite), - ppl_@CLASS@_OK(PS3) + ppl_@CLASS@_approximate_partition(PS1, PS2, PS3, PPS, _Is_finite), + ppl_@CLASS@_OK(PS3), + ppl_delete_@CLASS@(PS1), + ppl_delete_@CLASS@(PS2), + ppl_delete_@CLASS@(PS3), + ppl_delete_Pointset_Powerset_NNC_Polyhedron(PPS) -> fail ; (class_@CLASS@ == class_BD_Shape_int8_t -> fail ; true)) ).

1 0

[GIT] ppl/ppl(master): Revised code neede for wrap assign wrap_assign in Java.
by Patricia Hill 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: master Commit: a94e7696f13df56977c7fc4eb4f1b8cc985266bb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a94e7696f13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 18 13:50:12 2010 +0000 Revised code neede for wrap assign wrap_assign in Java. --- ...ppl_interface_generator_java_classes_cc_code.m4 | 7 +- interfaces/Java/jni/ppl_java_common.cc | 65 +--------------- interfaces/Java/jni/ppl_java_common.defs.hh | 44 +++-------- interfaces/Java/jni/ppl_java_globals.cc | 83 ++++++++++---------- ...l_interface_generator_java_classes_java_code.m4 | 4 +- 5 files changed, 60 insertions(+), 143 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a94e7696…

1 0

[GIT] ppl/ppl(master): Let ppl_*_linear_partition/ 4 register its outputs to the allocator tracker.
by Enea Zaffanella 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: master Commit: 80eafa9e6f521b3b7087d12b16c8a22a7f5c1679 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80eafa9e6f52… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 14:17:15 2010 +0100 Let ppl_*_linear_partition/4 register its outputs to the allocator tracker. --- .../ppl_interface_generator_prolog_cc_code.m4 | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 index cd1f2f7..9c72b81 100644 --- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 +++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4 @@ -479,8 +479,14 @@ ppl_@CLASS@_linear_@PARTITION@(Prolog_term_ref t_ph, Prolog_put_address(t_r_second, rsh); if (Prolog_unify(t_inters, t_r_first) && Prolog_unify(t_pset, t_r_second)) { + PPL_REGISTER(rfh); + PPL_REGISTER(rsh); return PROLOG_SUCCESS; } + else { + delete rfh; + delete rsh; + } } CATCH_ALL; }

1 0

[GIT] ppl/ppl(master): Corrected typo: register the C++ pointer, not the Prolog term.
by Enea Zaffanella 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: master Commit: fd5ac7e7f267a471e528d3f2af1a32bb7ee03ef4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd5ac7e7f267… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 13:04:22 2010 +0100 Corrected typo: register the C++ pointer, not the Prolog term. --- interfaces/Prolog/ppl_prolog_common.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/interfaces/Prolog/ppl_prolog_common.cc b/interfaces/Prolog/ppl_prolog_common.cc index 94202f3..0c1b4a2 100644 --- a/interfaces/Prolog/ppl_prolog_common.cc +++ b/interfaces/Prolog/ppl_prolog_common.cc @@ -2544,7 +2544,7 @@ ppl_PIP_Problem_solution(Prolog_term_ref t_pip, Prolog_term_ref t_sol = Prolog_new_term_ref(); Prolog_put_address(t_sol, sol); if (Prolog_unify(t_pip_tree, t_sol)) { - PPL_WEAK_REGISTER(t_pip_tree); + PPL_WEAK_REGISTER(sol); return PROLOG_SUCCESS; } } @@ -2562,7 +2562,7 @@ ppl_PIP_Problem_optimizing_solution(Prolog_term_ref t_pip, Prolog_term_ref t_sol = Prolog_new_term_ref(); Prolog_put_address(t_sol, sol); if (Prolog_unify(t_pip_tree, t_sol)) { - PPL_WEAK_REGISTER(t_pip_tree); + PPL_WEAK_REGISTER(sol); return PROLOG_SUCCESS; } }

1 0

[GIT] ppl/ppl(master): Corrected the expected results for test fimmel.pip.
by Enea Zaffanella 18 Mar '10

18 Mar '10

Module: ppl/ppl Branch: master Commit: 740bb2d0009ce909ce6c3b93f718a64b1aa4a8a7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740bb2d0009c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 18 12:37:32 2010 +0100 Corrected the expected results for test fimmel.pip. --- demos/ppl_pips/expected_int64 | 2 +- demos/ppl_pips/expected_int64_a | 2 +- demos/ppl_pips/expected_mpz | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/demos/ppl_pips/expected_int64 b/demos/ppl_pips/expected_int64 index 0b0ec24..01a4975 100644 --- a/demos/ppl_pips/expected_int64 +++ b/demos/ppl_pips/expected_int64 @@ -14,7 +14,7 @@ brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - -fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +fimmel.pip 2dd9b24df50572c15981dd3faf8c74a4 - max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_int64_a b/demos/ppl_pips/expected_int64_a index 0b0ec24..01a4975 100644 --- a/demos/ppl_pips/expected_int64_a +++ b/demos/ppl_pips/expected_int64_a @@ -14,7 +14,7 @@ brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - -fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +fimmel.pip 2dd9b24df50572c15981dd3faf8c74a4 - max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 - diff --git a/demos/ppl_pips/expected_mpz b/demos/ppl_pips/expected_mpz index 3feb98f..02d82d0 100644 --- a/demos/ppl_pips/expected_mpz +++ b/demos/ppl_pips/expected_mpz @@ -14,7 +14,7 @@ brisebarre.pip 3051dbe7ea7bf04e8890ddd41013a9dc - cg1.pip 2571d40371dd1f1661348b08945e8a98 - esced.pip 7f4b69aed82cc0f498e7931ac1dbf92f - ex2.pip 89eb267478eb8675de9602be9bb92f9e - -fimmel.pip d41d8cd98f00b204e9800998ecf8427e - +fimmel.pip 2dd9b24df50572c15981dd3faf8c74a4 - max.pip e29c651c587cc64ab6a7a8cecd488a0b - sor1d.pip 80f93132ed5d70b6371d5bf5fa627376 - square.pip 65a57d1e7ccb8196f81fa6e701164b69 -

1 0