Module: ppl/ppl Branch: master Commit: f73f6b6af1deb322d9ad299612e99e673b202860 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f73f6b6af1deb...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Apr 1 13:27:14 2009 +0100
Revised the implementation for Box<ITV>::limited_cc76_extrapolation_assign() so as to use the limiting constraint system to limit the widened box. The FIXME(0.10.1) there is now removed.
---
src/Box.defs.hh | 7 + src/Box.templates.hh | 73 +++++++- tests/Box/Makefile.am | 3 + tests/Box/limitedcc76extrapolation1.cc | 316 ++++++++++++++++++++++++++++++++ 4 files changed, 397 insertions(+), 2 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=f73f6b6af...