Module: ppl/ppl Branch: floating_point Commit: c28d3f92ad09efc6f2aff83a7bb9857ffa38a392 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c28d3f92ad09e... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Jul 25 18:46:58 2010 +0200 Started rewriting the incarnation of concrete expression to be used in PPL tests. --- src/Concrete_Expression.defs.hh | 10 +- src/Makefile.am | 3 - src/Proxy.defs.hh | 54 --------- src/Proxy.inlines.hh | 54 --------- src/Proxy.types.hh | 28 ----- tests/Concrete_Expression/C_Expr.defs.hh | 163 ++++++++++++++------------- tests/Concrete_Expression/C_Expr.inlines.hh | 40 +++++-- 7 files changed, 120 insertions(+), 232 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c28d3f92a...