Module: ppl/ppl Branch: bounded_arithmetic Commit: b55ca03354c3c65fbbe6f5fb79a1d2685d3fb449 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b55ca03354c3c... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 23:41:38 2009 +0200 Added add_2exp and sub_2exp. --- src/Checked_Number.defs.hh | 2 + src/Checked_Number.inlines.hh | 2 + src/checked.defs.hh | 12 +++++ src/checked_ext.inlines.hh | 36 ++++++++++++++ src/checked_float.inlines.hh | 42 ++++++++++++++-- src/checked_int.inlines.hh | 104 +++++++++++++++++++++++++++++++++++----- src/checked_mpq.inlines.hh | 26 ++++++++++ src/checked_mpz.inlines.hh | 26 ++++++++++ 8 files changed, 232 insertions(+), 18 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b55ca0335...