Module: ppl/ppl Branch: floating_point Commit: e7b16c31a4cbd4f654222054b031ab3ec437bd68 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7b16c31a4cbd... Author: Fabio Bossi <bossi@cs.unipr.it> Date: Thu Jul 29 16:48:03 2010 +0200 Added linearization of cast expressions along with a simple test. Consistently use typedefs. --- src/Concrete_Expression.defs.hh | 4 +- src/linearize.hh | 77 +++++++++++++++++++++++++-- tests/Concrete_Expression/C_Expr.defs.hh | 22 ++++---- tests/Concrete_Expression/C_Expr.inlines.hh | 16 +++--- tests/Concrete_Expression/linearize.cc | 27 +++++++++- 5 files changed, 120 insertions(+), 26 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e7b16c31a...