May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): test02() and test09() fail also with 16-bit coefficients.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 138e93f3053266c9ad90188e0e1e99408986cc53 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=138e93f30532… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:12:27 2009 +0200 test02() and test09() fail also with 16-bit coefficients. --- tests/Polyhedron/wrap1.cc | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc index d0d0892..7114e88 100644 --- a/tests/Polyhedron/wrap1.cc +++ b/tests/Polyhedron/wrap1.cc @@ -435,14 +435,14 @@ test14() { BEGIN_MAIN DO_TEST_F16(test01); - DO_TEST_F8(test02); + DO_TEST_F16(test02); DO_TEST_F8(test03); DO_TEST_F8(test04); DO_TEST_F16(test05); DO_TEST_F16(test06); DO_TEST_F16(test07); DO_TEST_F8(test08); - DO_TEST_F8(test09); + DO_TEST_F16(test09); DO_TEST_F16(test10); DO_TEST_F8(test11); DO_TEST_F8(test12);

1 0

[GIT] ppl/ppl(master): Systematically write "copy constructor" instead of " copy-constructor."
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 2903193cd3322812da1216ad198943f987a62e97 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2903193cd332… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 23:02:16 2009 +0200 Systematically write "copy constructor" instead of "copy-constructor." (The verb is "to copy-construct" though.) --- src/Affine_Space.defs.hh | 2 +- src/Any_Pointset.defs.hh | 2 +- src/BD_Shape.defs.hh | 2 +- src/Bit_Matrix.defs.hh | 2 +- src/Bit_Row.defs.hh | 2 +- src/Box.defs.hh | 2 +- src/Box_Status.idefs.hh | 4 ++-- src/C_Polyhedron.defs.hh | 2 +- src/Checked_Number.defs.hh | 2 +- src/Congruence.defs.hh | 2 +- src/Congruence_System.defs.hh | 4 ++-- src/Constraint.defs.hh | 4 ++-- src/Constraint_System.cc | 2 +- src/Constraint_System.defs.hh | 4 ++-- src/DB_Matrix.defs.hh | 4 ++-- src/Generator.defs.hh | 4 ++-- src/Generator_System.defs.hh | 4 ++-- src/Grid.defs.hh | 2 +- src/Grid_Generator.defs.hh | 2 +- src/Grid_Generator_System.defs.hh | 6 +++--- src/Linear_Expression.defs.hh | 4 ++-- src/Linear_System.defs.hh | 8 ++++---- src/MIP_Problem.defs.hh | 2 +- src/Matrix.defs.hh | 4 ++-- src/NNC_Polyhedron.defs.hh | 2 +- src/OR_Matrix.defs.hh | 6 +++--- src/Octagonal_Shape.defs.hh | 2 +- src/Partially_Reduced_Product.defs.hh | 2 +- src/Pointset_Ask_Tell.defs.hh | 4 ++-- src/Pointset_Powerset.defs.hh | 2 +- src/Polyhedron.defs.hh | 2 +- src/Ptr_Iterator.defs.hh | 2 +- 32 files changed, 49 insertions(+), 49 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2903193c…

1 0

Check dependency resolution for 64 bit linking
by Markus Elfring 04 May '09

04 May '09

Hello, I try to compile your software library on my own. Unfortunately, I get an error message from the build process after the configuration on my openSUSE 11.1 system. elfring@Sonne:~/Projekte/PPL/trunk> ./configure --enable-optimization --enable-pch && make -j4 ... make[3]: Entering directory `/home/elfring/Projekte/PPL/trunk/src' CXXLD libppl.la /usr/local/lib/../lib/libstdc++.so: could not read symbols: File in wrong format collect2: ld returned 1 exit status make[3]: *** [libppl.la] Fehler 1 ... elfring@Sonne:~/Projekte/PPL/trunk> file /usr/local/lib/../lib/libstdc++.so /usr/local/lib/../lib/libstdc++.so: symbolic link to `libstdc++.so.6.0.10' 2.6.28.7-default #1 SMP PREEMPT Sun Mar 1 18:21:35 CET 2009 x86_64 x86_64 x86_64 GNU/Linux I have got the impression that there is a 64 bit compatibility problem. Can it be solved with autoconf macros in your project? Regards, Markus

2 19

[GIT] ppl/ppl(master): The `Determinate' class has been renamed `COW_Pointset'.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 6ed468a18c4ea3f2af297c6a55881956cff3ce11 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ed468a18c4e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 22:18:15 2009 +0200 The `Determinate' class has been renamed `COW_Pointset'. --- NEWS | 2 + src/{Determinate.defs.hh => COW_Pointset.defs.hh} | 74 +++++++------- ...erminate.inlines.hh => COW_Pointset.inlines.hh} | 102 ++++++++++---------- ...{Determinate.types.hh => COW_Pointset.types.hh} | 8 +- src/Makefile.am | 6 +- src/Pointset_Ask_Tell.cc | 8 +- src/Pointset_Ask_Tell.defs.hh | 6 +- src/Pointset_Ask_Tell.inlines.hh | 8 +- src/Pointset_Ask_Tell.templates.hh | 10 +- src/Pointset_Powerset.cc | 6 +- src/Pointset_Powerset.defs.hh | 6 +- src/Pointset_Powerset.inlines.hh | 20 ++-- src/Pointset_Powerset.templates.hh | 6 +- tests/BD_Shape/membytes1.cc | 2 +- tests/Grid/membytes1.cc | 2 +- tests/Octagonal_Shape/membytes1.cc | 2 +- tests/Polyhedron/membytes1.cc | 2 +- 17 files changed, 136 insertions(+), 134 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=6ed468a1…

1 0

[GIT] ppl/ppl(master): Completed the \exception section of the documentation for wrap_assign().
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 0157b7348fe2ffaf360c8d3b20094b83a320a75f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0157b7348fe2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 19:03:25 2009 +0200 Completed the \exception section of the documentation for wrap_assign(). --- src/BD_Shape.defs.hh | 2 +- src/Octagonal_Shape.defs.hh | 2 +- src/Polyhedron.defs.hh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh index f0d16ae..9e74100 100644 --- a/src/BD_Shape.defs.hh +++ b/src/BD_Shape.defs.hh @@ -1331,7 +1331,7 @@ public: \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the - Variable objects contained in \p vars. + Variable objects contained in \p vars or with <CODE>*pcs</CODE>. */ void wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w, diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index bcf3308..1506921 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -1351,7 +1351,7 @@ public: \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the - Variable objects contained in \p vars. + Variable objects contained in \p vars or with <CODE>*pcs</CODE>. */ void wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w, diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index bc49964..4159bef 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -1462,7 +1462,7 @@ public: \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the - Variable objects contained in \p vars. + Variable objects contained in \p vars or with <CODE>*pcs</CODE>. */ void wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w,

1 0

[GIT] ppl/w3ppl(master): Fixed the links to the openSUSE packages.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/w3ppl Branch: master Commit: e774024058bd500247cb580548bfc59169bc41b1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=e774024058… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 16:37:31 2009 +0200 Fixed the links to the openSUSE packages. --- htdocs/Download/Download.raw | 8 +++----- 1 files changed, 3 insertions(+), 5 deletions(-) diff --git a/htdocs/Download/Download.raw b/htdocs/Download/Download.raw index 738fc70..a9dda30 100644 --- a/htdocs/Download/Download.raw +++ b/htdocs/Download/Download.raw @@ -92,13 +92,11 @@ Below is a list of the available PPL binary distributions. <A HREF="http://packages.gentoo.org/package/dev-libs/ppl">Gentoo</A> </TD> <TD> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_10.2/">10.2</A> + <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_10.3/">10.3</A> <BR> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_10.3/">10.3</A> + <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_11.0/">11.0</A> <BR> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_11.0/">11.0</A> - <BR> - <A HREF="http://download.opensuse.org/repositories/devel:/tools:/gcc/openSUSE_11.1/">11.1</A> + <A HREF="http://download.opensuse.org/repositories/devel://gcc/openSUSE_11.1/">11.1</A> </TD> <TD> <A HREF="http://packages.ubuntu.com/hu/source/intrepid/ppl">Intrepid</A>

1 0

[GIT] ppl/ppl(master): Added a section on "Approximating Bounded Arithmetic ", to be written.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 0f54288600e90baebc6307d5b0c86056d445297d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f54288600e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 16:20:34 2009 +0200 Added a section on "Approximating Bounded Arithmetic", to be written. --- doc/definitions.dox | 11 +++++++++++ 1 files changed, 11 insertions(+), 0 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index e493e03..75d30ce 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -437,6 +437,17 @@ library user to provide the PPL's method with approximations of reality that are consistent with respect to the desired results. +\section Approximating_Bounded_Arithmetic Approximating Bounded Arithmetic + +FIXME(0.11): to be written. + + +\subsection Wrapping_Operator Wrapping Operator + +FIXME(0.11): to be written. +\ref SK07 "[SK07]" + + \section convex_polys Convex Polyhedra In this section we introduce convex polyhedra,

1 0

[GIT] ppl/ppl(master): Documentation of the wrapping methods improved. Typos fixed.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 137d32b6c98dcf24843171d836388dee85c3855b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=137d32b6c98d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 16:09:33 2009 +0200 Documentation of the wrapping methods improved. Typos fixed. --- src/BD_Shape.defs.hh | 14 +++++---- src/Makefile.am | 2 +- src/Octagonal_Shape.defs.hh | 14 +++++---- src/Polyhedron.defs.hh | 14 +++++---- src/wrap_assign.hh | 71 ++++++++++++++++++++++++------------------- 5 files changed, 65 insertions(+), 50 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=137d32b6…

1 0

[GIT] ppl/ppl(master): Two new items added.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 1e712a9a26f8751191e73bedbb1e0d77f4c33b53 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e712a9a26f8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:30:42 2009 +0200 Two new items added. --- TODO | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/TODO b/TODO index c57a6cb..c0a11a1 100644 --- a/TODO +++ b/TODO @@ -8,6 +8,9 @@ Enhancements for PPL 0.11 deterministic mechanisms (e.g., decrementing a counter and throwing when it reaches zero). This will probably require changing the current interface based on `abandon_expensive_computations'. +- Make all the *affine*image() methods uniform as far as the + specification is concerned. +- Check the use or the NOT_EQUAL Relation_Symbol everywhere. - Get rid of ugly assign functions defined in anonymous namespace of MIP_Problem.cc replacing it with a more general-purpose approach. - Reconsider the datatype for the units parameter in the Watchdog

1 0

[GIT] ppl/ppl(master): Further steps in the definition of the interface of Affine_Space.
by Roberto Bagnara 04 May '09

04 May '09

Module: ppl/ppl Branch: master Commit: 405c912f7e3380c3380aff301e6768160340c359 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=405c912f7e33… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon May 4 15:17:21 2009 +0200 Further steps in the definition of the interface of Affine_Space. The widening and extrapolation methods do nothing (except for testing dimension-compatibility). Several comments revised. --- src/Affine_Space.cc | 62 ++++++++++-- src/Affine_Space.defs.hh | 235 +++++++++++++++++++++---------------------- src/Affine_Space.inlines.hh | 5 +- 3 files changed, 174 insertions(+), 128 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=405c912f…

1 0