[PPL-devel] [GIT] ppl/ppl(floating_point): Started rewriting the incarnation of concrete expression to be used in PPL tests .
Roberto Bagnara
bagnara at cs.unipr.it
Sun Jul 25 18:47:43 CEST 2010
Module: ppl/ppl
Branch: floating_point
Commit: c28d3f92ad09efc6f2aff83a7bb9857ffa38a392
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c28d3f92ad09efc6f2aff83a7bb9857ffa38a392
Author: Roberto Bagnara <bagnara at 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=c28d3f92ad09efc6f2aff83a7bb9857ffa38a392
More information about the PPL-devel
mailing list