Module: ppl/ppl Branch: products Commit: d1cde86de0626030ebb6fa6cae49e3111074a7ee URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1cde86de0626...
Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Sat May 2 11:00:24 2009 +0100
Reduction methods (Constraints and Shrink_Using_Congruences) improved.
Tests specific to the Constraints_Reduction added.
---
src/Partially_Reduced_Product.templates.hh | 25 ++- tests/Partially_Reduced_Product/Makefile.am | 3 + .../constraintsproduct1.cc | 307 ++++++++++++++++++++ .../shrinkusingcongruences1.cc | 28 ++- 4 files changed, 351 insertions(+), 12 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d1cde86de...