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

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Mon Jul 18 01:20:55 2011 +0200

Modified the documentation for rshift_linearize_int rshift_linearize_int function.

---

src/linearize_integer.hh | 138 ++++++++++++++++++++++++++++++--------------- 1 files changed, 92 insertions(+), 46 deletions(-)

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