Module: ppl/ppl Branch: bounded_arithmetic Commit: 87362a97f7fa7c07d9c48cf1204ff1419242f871 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87362a97f7fa7...

Author: Alberto Gioia alberto.gioi1@studenti.unipr.it Date: Thu May 5 15:50:17 2011 +0200

Added function operator<< into Linear_Form.templates.hh, and into Interval.defs.hh and Interval.inlines.hh added functions operator<< and lshift_assign. This functions are necessary for the linearization of the bitwise operator LEFT_SHIFT.

The following file includes two functions needed to manipulate the second operator of a type expression LSHIFT. tests/Concrete_Expression/Number_Convertion.cc

---

src/Interval.defs.hh | 12 +++ src/Interval.inlines.hh | 100 ++++++++++++++++++++++++ src/Linear_Form.templates.hh | 13 +++ tests/Concrete_Expression/C_Expr.defs.hh | 1 - tests/Concrete_Expression/Number_Convertion.cc | 28 +++++++ tests/Concrete_Expression/digitalfilters1.cc | 8 ++- tests/Concrete_Expression/linearize_integer.hh | 66 +++++++++++++--- 7 files changed, 213 insertions(+), 15 deletions(-)

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