[PPL-devel] [GIT] ppl/ppl(floating_point): Started working on the new scheme for the representation of concrete expressions .

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jul  4 10:51:27 2010 +0200

Started working on the new scheme for the representation of concrete expressions.

---

 configure.ac                                       |    2 +-
 src/Concrete_Expression.defs.hh                    |   68 ++++++++++++++++++++
 src/Concrete_Expression.types.hh                   |   68 ++++++++++++++++++++
 src/Makefile.am                                    |    3 +
 src/Proxy.defs.hh                                  |   54 ++++++++++++++++
 src/Proxy.inlines.hh                               |   54 ++++++++++++++++
 src/Proxy.types.hh                                 |   28 ++++++++
 .../.gitignore                                     |    0
 .../Makefile.am                                    |    0
 .../bdshape1.cc                                    |    0
 .../bdshape2.cc                                    |    0
 .../digitalfilters1.cc                             |    0
 .../floatingpointexpr1.cc                          |    0
 .../linearform1.cc                                 |    0
 .../octagonalshape1.cc                             |    0
 .../octagonalshape2.cc                             |    0
 .../polyhedron1.cc                                 |    0
 .../polyhedron2.cc                                 |    0
 .../run_tests                                      |    0
 tests/Makefile.am                                  |    2 +-
 20 files changed, 277 insertions(+), 2 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=71f19792e6036a89d4dc818cc10f2b041bfec937