May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): Added missing patterns.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 78db7e67c067fb1afeba41e78bebfed819b55fe3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78db7e67c067… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:21:44 2009 +0200 Added missing patterns. --- interfaces/Prolog/.gitignore | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/.gitignore b/interfaces/Prolog/.gitignore index f6664cf..1bac52a 100644 --- a/interfaces/Prolog/.gitignore +++ b/interfaces/Prolog/.gitignore @@ -1,6 +1,8 @@ Prolog_configured_interface.dox ppl_prolog_[A-Z]*.cc ppl_prolog_[A-Z]*.hh +ppl_prolog_cc_blob ppl_prolog_domains.cc -ppl_prolog_domains.hh ppl_prolog_domains.cc.stamp +ppl_prolog_domains.hh +ppl_prolog_hh_blob

1 0

[GIT] ppl/ppl(bounded_arithmetic): New commits
by Roberto Bagnara 01 May '09

01 May '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02e818f7cd91… Merge: abefc4529cb38ff95c24f85e9f0c6399a35880ad 54b366817e0798f9ce92d95a1fcc1ec59eb7406a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:25:03 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54b366817e07… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 11:13:19 2009 +0200 Fixed copy-and-paste mistakes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb8d4454418… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:45:26 2009 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11807a6ba666… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:44:09 2009 +0200 Useless returns removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d908ff9dd2a0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:31:56 2009 +0200 Fixed two code formatting glitches. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fe2ae64aa57… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 07:30:29 2009 +0200 Previous change reverted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b066995711ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 30 22:10:16 2009 +0200 Useless friend declaration removed.

1 0

[GIT] ppl/ppl(master): Renamed some pleonastic identifiers. Fixed some comments.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: 453d5f2f3a322c55bc2a702567f7f08f5b0bfe0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453d5f2f3a32… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:22:00 2009 +0200 Renamed some pleonastic identifiers. Fixed some comments. --- interfaces/C/ppl_c_implementation_common.cc | 6 +- interfaces/C/ppl_interface_generator_c_cc_code.m4 | 18 ++-- .../Fake_Class_for_Doxygen.java | 31 +++--- ...l_interface_generator_java_classes_java_code.m4 | 8 +- src/Any_Pointset.defs.hh | 42 ++++---- src/BD_Shape.defs.hh | 38 ++++---- src/BD_Shape.templates.hh | 86 +++++++++--------- src/Box.defs.hh | 38 ++++---- src/Box.templates.hh | 82 ++++++++-------- src/Grid.defs.hh | 60 ++++++------ src/Grid_Generator_System.cc | 18 ++-- src/Grid_Generator_System.defs.hh | 4 +- src/Grid_chdims.cc | 47 +++++----- src/Grid_public.cc | 12 +- src/Octagonal_Shape.defs.hh | 38 ++++---- src/Octagonal_Shape.templates.hh | 98 ++++++++++---------- src/Partially_Reduced_Product.defs.hh | 38 ++++---- src/Partially_Reduced_Product.inlines.hh | 21 ++-- src/Pointset_Ask_Tell.defs.hh | 14 ++-- src/Pointset_Ask_Tell.templates.hh | 12 +- src/Pointset_Powerset.defs.hh | 51 +++++----- src/Pointset_Powerset.templates.hh | 27 +++--- src/Polyhedron.defs.hh | 60 ++++++------ src/Polyhedron_chdims.cc | 58 ++++++------ src/Polyhedron_public.cc | 18 ++-- 25 files changed, 460 insertions(+), 465 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=453d5f2f…

1 0

[GIT] ppl/ppl(master): Added missing patterns.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: 78db7e67c067fb1afeba41e78bebfed819b55fe3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=78db7e67c067… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 14:21:44 2009 +0200 Added missing patterns. --- interfaces/Prolog/.gitignore | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/interfaces/Prolog/.gitignore b/interfaces/Prolog/.gitignore index f6664cf..1bac52a 100644 --- a/interfaces/Prolog/.gitignore +++ b/interfaces/Prolog/.gitignore @@ -1,6 +1,8 @@ Prolog_configured_interface.dox ppl_prolog_[A-Z]*.cc ppl_prolog_[A-Z]*.hh +ppl_prolog_cc_blob ppl_prolog_domains.cc -ppl_prolog_domains.hh ppl_prolog_domains.cc.stamp +ppl_prolog_domains.hh +ppl_prolog_hh_blob

1 0

[GIT] ppl/ppl(bounded_arithmetic): Renamed some pleonastic identifiers.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: abefc4529cb38ff95c24f85e9f0c6399a35880ad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abefc4529cb3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 12:03:05 2009 +0200 Renamed some pleonastic identifiers. --- src/Affine_Space.defs.hh | 36 ++++++++++++++++++------------------ 1 files changed, 18 insertions(+), 18 deletions(-) diff --git a/src/Affine_Space.defs.hh b/src/Affine_Space.defs.hh index 47e3405..0e3ac3b 100644 --- a/src/Affine_Space.defs.hh +++ b/src/Affine_Space.defs.hh @@ -328,10 +328,10 @@ bool operator!=(const Affine_Space& x, const Affine_Space& y); Affine_Space_Generator_System gs; gs.insert(affine space_point(3*x + y +0*z + 2*w)); Affine_Space gr(gs); - Variables_Set to_be_removed; - to_be_removed.insert(y); - to_be_removed.insert(z); - gr.remove_space_dimensions(to_be_removed); + Variables_Set vars; + vars.insert(y); + vars.insert(z); + gr.remove_space_dimensions(vars); \endcode The starting affine space is the singleton set \f$\bigl\{ (3, 1, 0, 2)^\transpose \bigr\} \sseq \Rset^4\f$, while @@ -344,16 +344,16 @@ bool operator!=(const Affine_Space& x, const Affine_Space& y); For instance, by using the following code we would obtain a different result: \code - set<Variable> to_be_removed1; - to_be_removed1.insert(y); - gr.remove_space_dimensions(to_be_removed1); - set<Variable> to_be_removed2; - to_be_removed2.insert(z); - gr.remove_space_dimensions(to_be_removed2); + set<Variable> vars1; + vars1.insert(y); + gr.remove_space_dimensions(vars1); + set<Variable> vars2; + vars2.insert(z); + gr.remove_space_dimensions(vars2); \endcode In this case, the result is the affine space \f$\bigl\{(3, 0)^\transpose \bigr\} \sseq \Rset^2\f$: - when removing the set of dimensions \p to_be_removed2 + when removing the set of dimensions \p vars2 we are actually removing variable \f$w\f$ of the original affine space. For the same reason, the operator \p remove_space_dimensions is not idempotent: removing twice the same non-empty set of dimensions @@ -1031,17 +1031,17 @@ public: /*! \brief Computes the \ref Cylindrification "cylindrification" of \p *this with - respect to the set of space dimensions \p to_be_unconstrained, + respect to the set of space dimensions \p vars, assigning the result to \p *this. - \param to_be_unconstrained + \param vars The set of space dimension that will be unconstrained. \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the - Variable objects contained in \p to_be_removed. + Variable objects contained in \p vars. */ - void unconstrain(const Variables_Set& to_be_unconstrained); + void unconstrain(const Variables_Set& vars); /*! \brief Assigns to \p *this the intersection of \p *this and \p y. @@ -1545,15 +1545,15 @@ public: //! Removes all the specified dimensions from the vector space. /*! - \param to_be_removed + \param vars The set of Variable objects corresponding to the space dimensions to be removed. \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the - Variable objects contained in \p to_be_removed. + Variable objects contained in \p vars. */ - void remove_space_dimensions(const Variables_Set& to_be_removed); + void remove_space_dimensions(const Variables_Set& vars); /*! \brief Removes the higher dimensions of the vector space so that the

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added a proof-of-concept implementation of affine spaces.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: be59e29965cb0a4fb57d9eccac5c2caae7f0a01a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be59e29965cb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 11:30:00 2009 +0200 Added a proof-of-concept implementation of affine spaces. The implementation is based on rational grids. --- src/Affine_Space.cc | 381 ++++++++++ src/Affine_Space.defs.hh | 1725 +++++++++++++++++++++++++++++++++++++++++++ src/Affine_Space.inlines.hh | 205 +++++ src/Affine_Space.types.hh | 21 + src/Makefile.am | 4 + 5 files changed, 2336 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=be59e299…

1 0

[GIT] ppl/ppl(products): Unwanted changes to test01() undone.
by Patricia Hill 01 May '09

01 May '09

Module: ppl/ppl Branch: products Commit: 5feeaabb6a4e04b1cac64c7715ccfc6354f0c374 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. --- .../shrinkusingcongruences1.cc | 25 +++++++++++++++++++- 1 files changed, 24 insertions(+), 1 deletions(-) diff --git a/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc b/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc index 40e6463..20bf97a 100644 --- a/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc +++ b/tests/Partially_Reduced_Product/shrinkusingcongruences1.cc @@ -27,6 +27,7 @@ using namespace Parma_Polyhedra_Library::IO_Operators; typedef NNC_Polyhedron Poly; typedef Domain_Product<Poly, Grid>::Shrink_Using_Congruences_Product SUCProduct; +// typedef Domain_Product<Poly, Grid>::Direct_Product SUCProduct; namespace { // Shrink_Using_Congruences_Reduction with non-strict constraints and @@ -55,7 +56,6 @@ test01() { if (ok) { ok = ok && sucp == known_sucp; - print_congruences(sucp, "*** after known_sucp check: sucp congruences ***"); print_constraints(sucp, "*** after known_sucp check: sucp constraints ***"); } @@ -227,13 +227,36 @@ test06() { return ok; } +// Shows a problem with this reduction +bool +test07() { + Variable A(0); + + SUCProduct sucp(1); + Constraint_System cs; + cs.insert(A >= 1); + cs.insert(A <= 2); + sucp.refine_with_constraints(cs); + sucp.refine_with_congruence((A %= 0)/ 2); + + bool ok = sucp.OK(); + + sucp.ascii_dump(); + Constraint_System cs1 = sucp.constraints(); + + return ok; +} + } // namespace BEGIN_MAIN +/* DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); DO_TEST(test04); DO_TEST(test05); DO_TEST(test06); +*/ + DO_TEST(test07); END_MAIN

1 0

[GIT] ppl/ppl(master): Fixed copy-and-paste mistakes.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: 54b366817e0798f9ce92d95a1fcc1ec59eb7406a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=54b366817e07… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 11:13:19 2009 +0200 Fixed copy-and-paste mistakes. --- src/Grid.defs.hh | 12 ++++++------ 1 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index a0ad1c8..4ac8145 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -937,7 +937,7 @@ public: \p cgs may be recycled. \exception std::invalid_argument - Thrown if \p *this and \p cs are dimension-incompatible. + Thrown if \p *this and \p cgs are dimension-incompatible. \warning The only assumption that can be made about \p cgs upon successful @@ -1554,7 +1554,7 @@ public: \ref Grid_Widening_with_Tokens "widening with tokens" delay technique). \exception std::invalid_argument - Thrown if \p *this, \p y and \p cs are dimension-incompatible. + Thrown if \p *this, \p y and \p cgs are dimension-incompatible. */ void limited_congruence_extrapolation_assign(const Grid& y, const Congruence_System& cgs, @@ -1578,7 +1578,7 @@ public: \ref Grid_Widening_with_Tokens "widening with tokens" delay technique). \exception std::invalid_argument - Thrown if \p *this, \p y and \p cs are dimension-incompatible. + Thrown if \p *this, \p y and \p cgs are dimension-incompatible. */ void limited_generator_extrapolation_assign(const Grid& y, const Congruence_System& cgs, @@ -1601,7 +1601,7 @@ public: \ref Grid_Widening_with_Tokens "widening with tokens" delay technique). \exception std::invalid_argument - Thrown if \p *this, \p y and \p cs are dimension-incompatible. + Thrown if \p *this, \p y and \p cgs are dimension-incompatible. */ void limited_extrapolation_assign(const Grid& y, const Congruence_System& cgs, @@ -2443,9 +2443,9 @@ protected: const char* reason); void throw_invalid_constraint(const char* method, - const char* c_name) const; + const char* c_name) const; void throw_invalid_constraints(const char* method, - const char* cs_name) const; + const char* cs_name) const; void throw_invalid_generator(const char* method, const char* g_name) const; void throw_invalid_generators(const char* method,

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: 2eb8d445441828c8b1cc53cc8903d15ce17f36ec URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eb8d4454418… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:45:26 2009 +0200 Indentation fixed. --- src/Grid.inlines.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Grid.inlines.hh b/src/Grid.inlines.hh index b760c94..d023aa0 100644 --- a/src/Grid.inlines.hh +++ b/src/Grid.inlines.hh @@ -232,12 +232,12 @@ Grid::hash_code() const { inline Constraint_System Grid::constraints() const { - return Constraint_System(congruences());; + return Constraint_System(congruences());; } inline Constraint_System Grid::minimized_constraints() const { - return Constraint_System(minimized_congruences());; + return Constraint_System(minimized_congruences());; } inline void

1 0

[GIT] ppl/ppl(master): Useless returns removed.
by Roberto Bagnara 01 May '09

01 May '09

Module: ppl/ppl Branch: master Commit: 11807a6ba66634f7cb13698731ca4b992e127556 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11807a6ba666… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 1 10:44:09 2009 +0200 Useless returns removed. --- src/BD_Shape.inlines.hh | 2 -- src/Grid.inlines.hh | 1 - src/Octagonal_Shape.inlines.hh | 2 -- 3 files changed, 0 insertions(+), 5 deletions(-) diff --git a/src/BD_Shape.inlines.hh b/src/BD_Shape.inlines.hh index f429c0b..0864b2e 100644 --- a/src/BD_Shape.inlines.hh +++ b/src/BD_Shape.inlines.hh @@ -414,8 +414,6 @@ BD_Shape<T>::is_discrete() const { template <typename T> inline void BD_Shape<T>::topological_closure_assign() { - // Nothing to be done. - return; } /*! \relates BD_Shape */ diff --git a/src/Grid.inlines.hh b/src/Grid.inlines.hh index a99604a..b760c94 100644 --- a/src/Grid.inlines.hh +++ b/src/Grid.inlines.hh @@ -364,7 +364,6 @@ Grid::strictly_contains(const Grid& y) const { inline void Grid::topological_closure_assign() { - return; } } // namespace Parma_Polyhedra_Library diff --git a/src/Octagonal_Shape.inlines.hh b/src/Octagonal_Shape.inlines.hh index 2794a8f..b70391f 100644 --- a/src/Octagonal_Shape.inlines.hh +++ b/src/Octagonal_Shape.inlines.hh @@ -303,8 +303,6 @@ Octagonal_Shape<T>::is_topologically_closed() const { template <typename T> inline void Octagonal_Shape<T>::topological_closure_assign() { - // Nothing to be done. - return; } /*! \relates Octagonal_Shape */

1 0