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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Mar 23 19:22:14 2010 +0100

Added implementations for the original PR termination tests. These are activated when the preprocessor flag USE_ORIGINAL_PR_METHOD is set. The flag is now active.

---

src/termination.cc | 227 +++++++++++++++++++++++++++++++++++++++++- src/termination.templates.hh | 34 ++++++ 2 files changed, 259 insertions(+), 2 deletions(-)

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