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