[PPL-devel] [GIT] ppl/ppl(floating_point): Use an oracle to obtain information from an external

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Mon Sep 13 10:44:17 2010 +0200

Use an oracle to obtain information from an external
analyzer in the linearization function.

Temporarily disabled test digitalfilters.

---

 src/Concrete_Expression.defs.hh             |   18 ----
 src/Float.defs.hh                           |   69 +++++++++++++++
 src/Linear_Form.defs.hh                     |   21 ++++-
 src/Linear_Form.templates.hh                |   13 ++-
 src/linearize.hh                            |  124 +++++++++++----------------
 tests/Concrete_Expression/C_Expr.defs.hh    |   71 +---------------
 tests/Concrete_Expression/C_Expr.inlines.hh |   40 ---------
 tests/Concrete_Expression/Makefile.am       |    1 -
 tests/Concrete_Expression/linearform1.cc    |   18 ----
 tests/Concrete_Expression/linearize.cc      |  104 ++++++++++++++++-------
 10 files changed, 220 insertions(+), 259 deletions(-)

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