CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2002-12-21 16:29:05 Modified files: src : rr_solver.cc Log message: Improved the functions `eliminate_null_decrements()' and `eliminate_negative_decrements()' not using more the method `Expr::match()'. Fixed a bug in the function `eliminate_negative_decrements()'. In the cases HAS_NEGATIVE_DECREMENT and HAS_NULL_DECREMENT of the function `solve_try_hard()' called recursively the function `solve_try_hard()' (and not `solve_easy_cases()' because in a recurrence could be at the same time cases of null decrement and cases of negative decrement). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsroo...