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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Sun May 10 19:30:17 2009 +0200

Added umod_2exp and smod_2exp to checked numbers. Fixed rem for mpq to work similarly to other numeric types.

---

src/Checked_Number.defs.hh | 2 + src/Checked_Number.inlines.hh | 2 + src/Rounding_Dir.inlines.hh | 4 ++ src/checked.defs.hh | 12 +++++ src/checked_ext.inlines.hh | 34 +++++++++++++++ src/checked_float.inlines.hh | 45 +++++++++++++++++++- src/checked_int.inlines.hh | 92 +++++++++++++++++++++++++++++++++++++---- src/checked_mpq.inlines.hh | 37 +++++++++++++++- src/checked_mpz.inlines.hh | 25 +++++++++++ 9 files changed, 240 insertions(+), 13 deletions(-)

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