- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Improved MIP_Problem preprocessing phase and solved an efficiency bug.
by Enea Zaffanella 26 Jun '10

26 Jun '10

Module: ppl/ppl Branch: master Commit: 40ab909d8ec60f8391fb7e7de21493219f23d81a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40ab909d8ec6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Jun 26 21:40:44 2010 +0200 Improved MIP_Problem preprocessing phase and solved an efficiency bug. Rewritten private methods parse_constraints(), merge_split_variable() and process_pending_constraints(): specification clarified and implementation improved to avoid allocating more tableau rows and columns than needed. This results in an overall speedup, in particular when solving problems incrementally. --- src/MIP_Problem.cc | 458 ++++++++++++++++++++++++++-------------------- src/MIP_Problem.defs.hh | 95 ++++++---- 2 files changed, 314 insertions(+), 239 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=40ab909d…

1 0

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

19 Jun '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9488ac9a2d22… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Jun 18 10:26:29 2010 +0200 CO_Tree: optimize const and non-const go_down_searching_key() methods for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fee348d7653c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Fri Jun 18 09:47:25 2010 +0200 CO_Tree: optimize redistribute_elements_in_subtree_helper() for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4121b07435c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 23:17:18 2010 +0200 CO_Tree: optimize redistribute_elements_in_subtree_helper() for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9dc20d0452db… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 22:06:41 2010 +0200 CO_Tree: use follow_right_childs_with_value(), in compact_elements_in_the_rightmost_end(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc9eeaf904d8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 22:06:17 2010 +0200 CO_Tree: use follow_left_childs_with_value() and follow_right_childs_with_value(), in erase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a676a6d5df7b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 21:47:02 2010 +0200 CO_Tree: fix follow_left_childs_with_value() and follow_right_childs_with_value() methods of inorder_iterator and inorder_const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=456d4f2cb9c0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 21:41:36 2010 +0200 CO_Tree: use follow_right_childs() in redistribute_elements_in_subtree(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c42e79313bb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 21:40:42 2010 +0200 Remove .orig file, tracked by mistake. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97ac0c0b1307… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 21:36:02 2010 +0200 CO_Tree: add assertions in follow_left_childs() and follow_right_childs() methods, in inorder_iterator and inorder_const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b054f66c3ff… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 21:07:50 2010 +0200 CO_Tree: add methods follow_left_childs_with_value() and follow_right_childs_with_value(), in inorder_iterator and inorder_const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0189482a5ea… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 21:07:12 2010 +0200 CO_Tree: add methods follow_left_childs() and follow_right_childs(), in inorder_iterator and inorder_const_iterator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bedbfab1743e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:24:33 2010 +0200 CO_Tree::unordered_const_iterator: optimize operator++(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=459fb16367b5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:23:54 2010 +0200 CO_Tree::unordered_iterator: optimize operator++(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=133aa5392b2c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:22:10 2010 +0200 CO_Tree::inorder_const_iterator: optimize get_right_child_value() for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4fe1619de8d7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:21:30 2010 +0200 CO_Tree::inorder_const_iterator: optimize get_left_child_value() for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10a4a7e1bf04… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:20:00 2010 +0200 CO_Tree::inorder_const_iterator: optimize operator==() for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d49287a91b68… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:16:38 2010 +0200 CO_Tree::inorder_iterator: optimize get_right_child_value() for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22afc7b6f3a2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:13:38 2010 +0200 CO_Tree::inorder_iterator: optimize get_left_child_value() for the DFS layout. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6da8d06efe7c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Jun 17 19:09:35 2010 +0200 CO_Tree::inorder_iterator: optimize operator->() for the DFS layout.

1 0

[GIT] ppl/ppl(master): Updated from Libtool 2.2.10.
by Roberto Bagnara 17 Jun '10

17 Jun '10

Module: ppl/ppl Branch: master Commit: 3e33e00ded13fdfae2f93dee29c5b3e40ba4287a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e33e00ded13… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 17 16:29:18 2010 +0200 Updated from Libtool 2.2.10. --- Watchdog/config.guess | 13 +- Watchdog/config.sub | 68 ++- Watchdog/install-sh | 8 +- Watchdog/ltmain.sh | 1747 ++++++++++++++++++++++++++------------------ Watchdog/m4/libtool.m4 | 998 ++++++++++++++------------ Watchdog/m4/ltoptions.m4 | 13 +- Watchdog/m4/ltversion.m4 | 10 +- Watchdog/m4/lt~obsolete.m4 | 12 +- config.guess | 13 +- config.sub | 68 ++- install-sh | 8 +- ltmain.sh | 1747 ++++++++++++++++++++++++++------------------ m4/libtool.m4 | 998 ++++++++++++++------------ m4/ltoptions.m4 | 13 +- m4/ltversion.m4 | 10 +- m4/lt~obsolete.m4 | 12 +- 16 files changed, 3326 insertions(+), 2412 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=3e33e00d…

1 0

[GIT] ppl/ppl(master): Added missing argument names.
by Roberto Bagnara 17 Jun '10

17 Jun '10

Module: ppl/ppl Branch: master Commit: 044730210d62651c866a7f368e848d4da9d9e86b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=044730210d62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 17 16:20:34 2010 +0200 Added missing argument names. --- src/Box.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Box.defs.hh b/src/Box.defs.hh index e812c45..4d6f412 100644 --- a/src/Box.defs.hh +++ b/src/Box.defs.hh @@ -718,7 +718,7 @@ public: \exception std::invalid_argument Thrown if \p x and \p y are dimension-incompatible. */ - bool contains(const Box&) const; + bool contains(const Box& y) const; /*! \brief Returns <CODE>true</CODE> if and only if \p *this strictly contains \p y. @@ -726,7 +726,7 @@ public: \exception std::invalid_argument Thrown if \p x and \p y are dimension-incompatible. */ - bool strictly_contains(const Box&) const; + bool strictly_contains(const Box& y) const; /*! \brief Returns <CODE>true</CODE> if and only if \p *this and \p y are disjoint.

1 0

Re: [PPL-devel] floating point behaviour
by Roberto Bagnara 17 Jun '10

17 Jun '10

On 06/15/10 23:30, piotrm wrote: > That explains most of it. Thanks! > > The man page suggest that the restore and set rounding mode are to be > used merely if one relies on some rounding mode. I'm not interested in > particular rounding modes. I am, however, interested in floats printed > in such a way that they can be scanned back in as floats, and "0.:00000" > is not an example of such a float. I did notice that restoring rounding > mode lets one print floats "correctly" but I'm skeptical that > restore/set rounding mode before / after printing things is the intended > usage of ppl. Indeed. But the problem is that you stumbled upon a bug in the implementation of printf(). Apparently, the implementation you are using does weird things when invoked on a non-default rounding mode (notice that ':' is ASCII 3A, one more than ASCII 39, which corresponds to '9'). Unfortunately, if you approach the authors of your printf() and try to convince them that there is a problem, they will react badly (been there, done that). This is the reason why in the PPL we have our own input and output routines. All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

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

17 Jun '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c98797b0e563… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 22:20:38 2010 +0200 Unlimited_Sparse_Row_Over_Linear_Sequence: call reset() on all zeroes, in combine(). WARNING: this breaks the custom_slist backend. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc9b02a72356… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 21:17:36 2010 +0200 Unlimited_Sparse_Row_Over_Linear_Sequence: temporarily add unneeded include, to please KDevelop4. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f394b7c16f2a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 21:15:44 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: call reset() on all zeroes, in combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c3979f1e3f3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 21:03:03 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: optimize combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62e29d3d5f33… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 20:54:22 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: optimize combine_needs_first(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62ceeddd3755… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 20:43:40 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: call reset() on all zeroes, in combine_needs_first(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=044f75fa3c01… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 20:33:46 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: simplify code in combine_needs_first(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13bfb7fd5172… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Jun 16 19:38:05 2010 +0200 Unlimited_Sparse_Row_Over_CO_Tree: simplify code in combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a592a13b118e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sat Jun 5 11:53:48 2010 +0200 CO_Tree: fix comment.

1 0

Fwd: Re: floating point behaviour
by Roberto Bagnara 16 Jun '10

16 Jun '10

-------- Original Message -------- Subject: Re: [PPL-devel] floating point behaviour Date: Tue, 15 Jun 2010 17:30:12 -0400 From: piotrm <piotrm(a)cs.umd.edu> To: Roberto Bagnara <bagnara(a)cs.unipr.it> That explains most of it. Thanks! The man page suggest that the restore and set rounding mode are to be used merely if one relies on some rounding mode. I'm not interested in particular rounding modes. I am, however, interested in floats printed in such a way that they can be scanned back in as floats, and "0.:00000" is not an example of such a float. I did notice that restoring rounding mode lets one print floats "correctly" but I'm skeptical that restore/set rounding mode before / after printing things is the intended usage of ppl. Thanks for the help, Piotr On Jun 15, 2010, at 16:48, Roberto Bagnara wrote: > On 06/15/2010 09:36 PM, piotrm wrote: >> Apologies if this is not the right place to inquire about this, >> cannot >> seem to find any other outlet: > > Hi piotrm, > > you should check out the library documentation. > >> Is it correct behavior for floating point calculations to be done >> differently once ppl.hh is included in a c++ program as well as the >> printing of floats? Here is an example of what I'm referring to: >> >> #include <cstdio> >> >> int main() { >> double a = 0.50000000000000011102230246251565404236316680908203125; >> double b = 0.5f / a; >> printf("%0.60f %f %0.60f %f\n", a, a, b, b); >> return 0; >> } >> >> This prints (for me) >> >> 0.500000000000000111022302462515654042363166809082031250000000 >> 0.500000 >> 0.999999999999999777955395074968691915273666381835937500000000 >> 1.000000 >> >> If I include ppl, as in below: >> >> #include <cstdio> >> #include "ppl.hh" >> >> int main() { >> double a = 0.50000000000000011102230246251565404236316680908203125; >> double b = 0.5f / a; >> printf("%0.60f %f %0.60f %f\n", a, a, b, b); >> return 0; >> } >> >> I get the following >> >> 0.500000000000000111022302462515654042363166809082031250000000 >> 0.500000 >> 0.999999999999999888977697537484345957636833190917968750000000 >> 0.:00000 >> >> Notice the strange way the b is printed the second time. I also found >> instances where numbers that are close to 0.01 get printed as >> 0.00:000 >> >> Is this perhaps an installation issue on my part? I noticed this >> using >> the OCaml interface, that is, use of ppl changed the behavior of the >> float types in OCaml in the same way the behavior is changed in C++ >> above. > > See the documentation of > > void Parma_Polyhedra_Library::set_rounding_for_PPL() > void Parma_Polyhedra_Library::restore_pre_PPL_rounding() > void Parma_Polyhedra_Library::initialize() > void Parma_Polyhedra_Library::finalize() > > Use also `man libppl' to see the role played by the > PPL_NO_AUTOMATIC_INITIALIZATION macro. > All the best, > > Roberto > > -- > Prof. Roberto Bagnara > Applied Formal Methods Laboratory > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(floating_point): Revert " Put aside changes related to Floating_Point and Linear_Form classes."
by Abramo Bagnara 15 Jun '10

15 Jun '10

Module: ppl/ppl Branch: floating_point Commit: dc4a6a3651215889f2324fa073a85605ebe870b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc4a6a365121… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Jun 15 23:25:49 2010 +0200 Revert "Put aside changes related to Floating_Point and Linear_Form classes." This reverts commit 7e35772519cb39fdc042fbb6f68966280b5a1cf5. --- configure.ac | 1 + doc/definitions.dox | 167 ++++ doc/devref.doxyconf-html.in | 38 + doc/devref.doxyconf-latex.in | 38 + src/BD_Shape.defs.hh | 129 +++ src/BD_Shape.inlines.hh | 16 + src/BD_Shape.templates.hh | 724 ++++++++++++++ src/Box.defs.hh | 31 + src/Box.templates.hh | 52 + src/Cast_Floating_Point_Expression.defs.hh | 186 ++++ src/Cast_Floating_Point_Expression.inlines.hh | 69 ++ src/Cast_Floating_Point_Expression.templates.hh | 45 + src/Cast_Floating_Point_Expression.types.hh | 22 + src/Constant_Floating_Point_Expression.defs.hh | 178 ++++ src/Constant_Floating_Point_Expression.inlines.hh | 84 ++ src/Constant_Floating_Point_Expression.types.hh | 22 + src/Difference_Floating_Point_Expression.defs.hh | 227 +++++ ...Difference_Floating_Point_Expression.inlines.hh | 74 ++ ...fference_Floating_Point_Expression.templates.hh | 52 + src/Difference_Floating_Point_Expression.types.hh | 22 + src/Division_Floating_Point_Expression.defs.hh | 243 +++++ src/Division_Floating_Point_Expression.inlines.hh | 74 ++ ...Division_Floating_Point_Expression.templates.hh | 60 ++ src/Division_Floating_Point_Expression.types.hh | 22 + src/Floating_Point_Expression.defs.hh | 212 +++++ src/Floating_Point_Expression.inlines.hh | 54 ++ src/Floating_Point_Expression.templates.hh | 113 +++ src/Floating_Point_Expression.types.hh | 22 + src/Linear_Form.cc | 26 + src/Linear_Form.defs.hh | 423 +++++++++ src/Linear_Form.inlines.hh | 222 +++++ src/Linear_Form.templates.hh | 429 +++++++++ src/Linear_Form.types.hh | 22 + src/Makefile.am | 40 +- ...ultiplication_Floating_Point_Expression.defs.hh | 257 +++++ ...iplication_Floating_Point_Expression.inlines.hh | 77 ++ ...lication_Floating_Point_Expression.templates.hh | 107 +++ ...ltiplication_Floating_Point_Expression.types.hh | 22 + src/Octagonal_Shape.defs.hh | 113 +++ src/Octagonal_Shape.inlines.hh | 45 + src/Octagonal_Shape.templates.hh | 774 +++++++++++++++ src/Opposite_Floating_Point_Expression.defs.hh | 198 ++++ src/Opposite_Floating_Point_Expression.inlines.hh | 83 ++ src/Opposite_Floating_Point_Expression.types.hh | 22 + src/Polyhedron.defs.hh | 189 ++++ src/Polyhedron.inlines.hh | 47 + src/Polyhedron.templates.hh | 284 ++++++ src/Polyhedron_nonpublic.cc | 1 + src/Sum_Floating_Point_Expression.defs.hh | 218 +++++ src/Sum_Floating_Point_Expression.inlines.hh | 75 ++ src/Sum_Floating_Point_Expression.templates.hh | 52 + src/Sum_Floating_Point_Expression.types.hh | 22 + src/Variable_Floating_Point_Expression.defs.hh | 192 ++++ src/Variable_Floating_Point_Expression.inlines.hh | 101 ++ src/Variable_Floating_Point_Expression.types.hh | 22 + tests/Floating_Point_Expression/.gitignore | 1 + tests/Floating_Point_Expression/Makefile.am | 184 ++++ tests/Floating_Point_Expression/bdshape1.cc | 334 +++++++ tests/Floating_Point_Expression/bdshape2.cc | 570 +++++++++++ tests/Floating_Point_Expression/digitalfilters1.cc | 1002 ++++++++++++++++++++ .../floatingpointexpr1.cc | 350 +++++++ tests/Floating_Point_Expression/linearform1.cc | 305 ++++++ tests/Floating_Point_Expression/octagonalshape1.cc | 344 +++++++ tests/Floating_Point_Expression/octagonalshape2.cc | 463 +++++++++ tests/Floating_Point_Expression/polyhedron1.cc | 277 ++++++ tests/Floating_Point_Expression/polyhedron2.cc | 241 +++++ tests/Floating_Point_Expression/run_tests | 55 ++ tests/Makefile.am | 1 + tests/ppl_test.hh | 93 ++ 69 files changed, 11259 insertions(+), 1 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=dc4a6a36…

1 0

[GIT] ppl/ppl(floating_point): Put aside changes related to Floating_Point and Linear_Form classes.
by Enea Zaffanella 15 Jun '10

15 Jun '10

Module: ppl/ppl Branch: floating_point Commit: 7e35772519cb39fdc042fbb6f68966280b5a1cf5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e35772519cb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jun 15 20:56:50 2010 +0200 Put aside changes related to Floating_Point and Linear_Form classes. These will not enter release 0.11. --- configure.ac | 1 - doc/definitions.dox | 167 ---- doc/devref.doxyconf-html.in | 38 - doc/devref.doxyconf-latex.in | 38 - src/BD_Shape.defs.hh | 129 --- src/BD_Shape.inlines.hh | 16 - src/BD_Shape.templates.hh | 724 -------------- src/Box.defs.hh | 31 - src/Box.templates.hh | 52 - src/Cast_Floating_Point_Expression.defs.hh | 186 ---- src/Cast_Floating_Point_Expression.inlines.hh | 69 -- src/Cast_Floating_Point_Expression.templates.hh | 45 - src/Cast_Floating_Point_Expression.types.hh | 22 - src/Constant_Floating_Point_Expression.defs.hh | 178 ---- src/Constant_Floating_Point_Expression.inlines.hh | 84 -- src/Constant_Floating_Point_Expression.types.hh | 22 - src/Difference_Floating_Point_Expression.defs.hh | 227 ----- ...Difference_Floating_Point_Expression.inlines.hh | 74 -- ...fference_Floating_Point_Expression.templates.hh | 52 - src/Difference_Floating_Point_Expression.types.hh | 22 - src/Division_Floating_Point_Expression.defs.hh | 243 ----- src/Division_Floating_Point_Expression.inlines.hh | 74 -- ...Division_Floating_Point_Expression.templates.hh | 60 -- src/Division_Floating_Point_Expression.types.hh | 22 - src/Floating_Point_Expression.defs.hh | 212 ----- src/Floating_Point_Expression.inlines.hh | 54 -- src/Floating_Point_Expression.templates.hh | 113 --- src/Floating_Point_Expression.types.hh | 22 - src/Linear_Form.cc | 26 - src/Linear_Form.defs.hh | 423 --------- src/Linear_Form.inlines.hh | 222 ----- src/Linear_Form.templates.hh | 429 --------- src/Linear_Form.types.hh | 22 - src/Makefile.am | 40 +- ...ultiplication_Floating_Point_Expression.defs.hh | 257 ----- ...iplication_Floating_Point_Expression.inlines.hh | 77 -- ...lication_Floating_Point_Expression.templates.hh | 107 --- ...ltiplication_Floating_Point_Expression.types.hh | 22 - src/Octagonal_Shape.defs.hh | 113 --- src/Octagonal_Shape.inlines.hh | 45 - src/Octagonal_Shape.templates.hh | 774 --------------- src/Opposite_Floating_Point_Expression.defs.hh | 198 ---- src/Opposite_Floating_Point_Expression.inlines.hh | 83 -- src/Opposite_Floating_Point_Expression.types.hh | 22 - src/Polyhedron.defs.hh | 189 ---- src/Polyhedron.inlines.hh | 47 - src/Polyhedron.templates.hh | 284 ------ src/Polyhedron_nonpublic.cc | 1 - src/Sum_Floating_Point_Expression.defs.hh | 218 ----- src/Sum_Floating_Point_Expression.inlines.hh | 75 -- src/Sum_Floating_Point_Expression.templates.hh | 52 - src/Sum_Floating_Point_Expression.types.hh | 22 - src/Variable_Floating_Point_Expression.defs.hh | 192 ---- src/Variable_Floating_Point_Expression.inlines.hh | 101 -- src/Variable_Floating_Point_Expression.types.hh | 22 - tests/Floating_Point_Expression/.gitignore | 1 - tests/Floating_Point_Expression/Makefile.am | 184 ---- tests/Floating_Point_Expression/bdshape1.cc | 334 ------- tests/Floating_Point_Expression/bdshape2.cc | 570 ----------- tests/Floating_Point_Expression/digitalfilters1.cc | 1002 -------------------- .../floatingpointexpr1.cc | 350 ------- tests/Floating_Point_Expression/linearform1.cc | 305 ------ tests/Floating_Point_Expression/octagonalshape1.cc | 344 ------- tests/Floating_Point_Expression/octagonalshape2.cc | 463 --------- tests/Floating_Point_Expression/polyhedron1.cc | 277 ------ tests/Floating_Point_Expression/polyhedron2.cc | 241 ----- tests/Floating_Point_Expression/run_tests | 55 -- tests/Makefile.am | 1 - tests/ppl_test.hh | 93 -- 69 files changed, 1 insertions(+), 11259 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=7e357725…

1 0

floating point behaviour
by piotrm 15 Jun '10

15 Jun '10

Apologies if this is not the right place to inquire about this, cannot seem to find any other outlet: Is it correct behavior for floating point calculations to be done differently once ppl.hh is included in a c++ program as well as the printing of floats? Here is an example of what I'm referring to: #include <cstdio> int main() { double a = 0.50000000000000011102230246251565404236316680908203125; double b = 0.5f / a; printf("%0.60f %f %0.60f %f\n", a, a, b, b); return 0; } This prints (for me) 0.500000000000000111022302462515654042363166809082031250000000 0.500000 0.999999999999999777955395074968691915273666381835937500000000 1.000000 If I include ppl, as in below: #include <cstdio> #include "ppl.hh" int main() { double a = 0.50000000000000011102230246251565404236316680908203125; double b = 0.5f / a; printf("%0.60f %f %0.60f %f\n", a, a, b, b); return 0; } I get the following 0.500000000000000111022302462515654042363166809082031250000000 0.500000 0.999999999999999888977697537484345957636833190917968750000000 0.:00000 Notice the strange way the b is printed the second time. I also found instances where numbers that are close to 0.01 get printed as 0.00:000 Is this perhaps an installation issue on my part? I noticed this using the OCaml interface, that is, use of ppl changed the behavior of the float types in OCaml in the same way the behavior is changed in C++ above.

2 1