Module: ppl/ppl Branch: floating_point Commit: 33dfccc8af8e5205e24d17b8b7b83cb1d35025f3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33dfccc8af8e5... Author: Fabio Bossi <bossi@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=33dfccc8a...