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...