[PPL-devel] [GIT] ppl/ppl(floating_point): Float:

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: 1c9679165d7d9719426ed316f6b26dcaace36b58
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c9679165d7d9719426ed316f6b26dcaace36b58

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Sat Jul 31 12:53:20 2010 +0200

Float:
  Added a few functions that operate on linear form
  abstract stores.

linearize.cc:
  test05 now consistently utilizes linear form
  abstract stores.

---

 src/Float.defs.hh                            |   32 ++++++++++++++
 src/Float.inlines.hh                         |   14 ++++++
 src/Float.templates.hh                       |   52 +++++++++++++++++++++++
 tests/Concrete_Expression/digitalfilters1.cc |   57 ++++++++++++++++++++-----
 4 files changed, 143 insertions(+), 12 deletions(-)

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