[PPL-devel] [GIT] ppl/ppl(master): Surround non integer costants with a cast to boundary type.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Mar 26 17:00:46 2012 +0200

Surround non integer costants with a cast to boundary type.

---

 src/Interval.inlines.hh                      |    2 ++
 tests/Concrete_Expression/bdshape1.cc        |   12 ++++++------
 tests/Concrete_Expression/bdshape2.cc        |   26 +++++++++++++-------------
 tests/Concrete_Expression/octagonalshape1.cc |   12 ++++++------
 tests/Concrete_Expression/octagonalshape2.cc |   26 +++++++++++++-------------
 tests/Concrete_Expression/polyhedron2.cc     |    6 +++---
 6 files changed, 43 insertions(+), 41 deletions(-)

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