Module: ppl/ppl Branch: bounded_arithmetic Commit: 4e24c86709a7ce6eb2e71e86c061f29d40316ffa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e24c86709a7c...
Author: Alberto Gioia alberto.gioi1@studenti.unipr.it Date: Thu May 5 18:18:31 2011 +0200
Added function operator>> into Linear_Form.templates.hh, and into Interval.defs.hh and Interval.inlines.hh added functions operator>> and rshift_assign. This functions are necessary for the linearization of the bitwise operator RIGHT_SHIFT.
---
src/Interval.defs.hh | 11 +++ src/Interval.inlines.hh | 106 +++++++++++++++++++++--- src/Linear_Form.templates.hh | 13 +++ tests/Concrete_Expression/linearize_integer.hh | 39 +++++++++ 4 files changed, 156 insertions(+), 13 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=4e24c8670...