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

Author: Roberto Amadini r.amadini@virgilio.it Date: Mon Oct 5 17:06:17 2009 +0200

Fixed Polyhedron::refine_with_linear_form_inequality. Adapted tests on polyhedra.

---

src/Polyhedron.templates.hh | 24 ++++++------ tests/Floating_Point_Expression/digitalfilters1.cc | 8 ++-- tests/Floating_Point_Expression/polyhedron1.cc | 42 ++++++++++---------- tests/Floating_Point_Expression/polyhedron2.cc | 32 +++++++------- 4 files changed, 53 insertions(+), 53 deletions(-)

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