[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Copyright notices updated.
Roberto Bagnara
bagnara at cs.unipr.it
Tue Jan 25 12:52:53 CET 2011
Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 9c6b584f2f87a31e6124ae698a712a0bd2f6f1df
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c6b584f2f87a31e6124ae698a712a0bd2f6f1df
Author: Roberto Bagnara <bagnara at 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=9c6b584f2f87a31e6124ae698a712a0bd2f6f1df
More information about the PPL-devel
mailing list