Module: ppl/ppl Branch: floating_point Commit: a7342b17d584af1d0c446ff52f018b8d59b13ba0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7342b17d584a... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat Jul 17 18:31:37 2010 +0200 Added the class Concrete_Expression_Type. --- src/Concrete_Expression.cc | 121 ++++++++++++++++++++++++++++++++++++ src/Concrete_Expression.defs.hh | 89 ++++++++++++++++++++++++++- src/Concrete_Expression.inlines.hh | 93 +++++++++++++++++++++++++++ src/Concrete_Expression.types.hh | 10 +--- src/Makefile.am | 2 + src/globals.types.hh | 15 +++++ 6 files changed, 321 insertions(+), 9 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a7342b17d...