[PPL-devel] [GIT] ppl/ppl(floating_point): Added the class Concrete_Expression_Type.

[Roberto Bagnara]

Module: ppl/ppl
Branch: floating_point
Commit: a7342b17d584af1d0c446ff52f018b8d59b13ba0
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7342b17d584af1d0c446ff52f018b8d59b13ba0

Author: Roberto Bagnara <bagnara at 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=a7342b17d584af1d0c446ff52f018b8d59b13ba0