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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 24 21:04:46 2011 +0100

Copyright notices updated.

---

src/Cast_Floating_Point_Expression.defs.hh | 1 + src/Cast_Floating_Point_Expression.inlines.hh | 1 + src/Cast_Floating_Point_Expression.templates.hh | 1 + src/Cast_Floating_Point_Expression.types.hh | 1 + src/Concrete_Expression.cc | 1 + src/Concrete_Expression.defs.hh | 1 + src/Concrete_Expression.inlines.hh | 1 + src/Concrete_Expression.types.hh | 1 + src/Constant_Floating_Point_Expression.defs.hh | 1 + src/Constant_Floating_Point_Expression.inlines.hh | 1 + src/Constant_Floating_Point_Expression.types.hh | 1 + src/Difference_Floating_Point_Expression.defs.hh | 1 + ...Difference_Floating_Point_Expression.inlines.hh | 1 + ...fference_Floating_Point_Expression.templates.hh | 1 + src/Difference_Floating_Point_Expression.types.hh | 1 + src/Division_Floating_Point_Expression.defs.hh | 1 + src/Division_Floating_Point_Expression.inlines.hh | 1 + ...Division_Floating_Point_Expression.templates.hh | 1 + src/Division_Floating_Point_Expression.types.hh | 1 + src/Float.templates.hh | 1 + src/Floating_Point_Expression.defs.hh | 1 + src/Floating_Point_Expression.inlines.hh | 1 + src/Floating_Point_Expression.templates.hh | 1 + src/Floating_Point_Expression.types.hh | 1 + src/Integer_Interval.hh | 1 + src/Linear_Form.cc | 1 + src/Linear_Form.defs.hh | 1 + src/Linear_Form.inlines.hh | 1 + src/Linear_Form.templates.hh | 1 + src/Linear_Form.types.hh | 1 + ...ultiplication_Floating_Point_Expression.defs.hh | 1 + ...iplication_Floating_Point_Expression.inlines.hh | 1 + ...lication_Floating_Point_Expression.templates.hh | 1 + ...ltiplication_Floating_Point_Expression.types.hh | 1 + src/Opposite_Floating_Point_Expression.defs.hh | 1 + src/Opposite_Floating_Point_Expression.inlines.hh | 1 + src/Opposite_Floating_Point_Expression.types.hh | 1 + src/Sum_Floating_Point_Expression.defs.hh | 1 + src/Sum_Floating_Point_Expression.inlines.hh | 1 + src/Sum_Floating_Point_Expression.templates.hh | 1 + src/Sum_Floating_Point_Expression.types.hh | 1 + src/Variable_Floating_Point_Expression.defs.hh | 1 + src/Variable_Floating_Point_Expression.inlines.hh | 1 + src/Variable_Floating_Point_Expression.types.hh | 1 + src/linearize.hh | 1 + tests/Concrete_Expression/C_Expr.cc | 1 + tests/Concrete_Expression/C_Expr.defs.hh | 1 + tests/Concrete_Expression/C_Expr.inlines.hh | 1 + tests/Concrete_Expression/C_Expr.types.hh | 1 + tests/Concrete_Expression/Makefile.am | 1 + tests/Concrete_Expression/bdshape1.cc | 1 + tests/Concrete_Expression/bdshape2.cc | 1 + tests/Concrete_Expression/digitalfilters1.cc | 1 + tests/Concrete_Expression/linearform1.cc | 1 + tests/Concrete_Expression/linearize.cc | 1 + tests/Concrete_Expression/octagonalshape1.cc | 1 + tests/Concrete_Expression/octagonalshape2.cc | 1 + tests/Concrete_Expression/polyhedron1.cc | 1 + tests/Concrete_Expression/polyhedron2.cc | 1 + tests/Concrete_Expression/run_tests | 1 + 60 files changed, 60 insertions(+), 0 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=430352775...