Module: ppl/ppl Branch: floating_point Commit: dc4a6a3651215889f2324fa073a85605ebe870b0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc4a6a3651215...

Author: Abramo Bagnara abramo.bagnara@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=dc4a6a365...