Module: ppl/ppl Branch: bounded_arithmetic Commit: 9c6b584f2f87a31e6124ae698a712a0bd2f6f1df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6b584f2f87a...
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=9c6b584f2...