CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-01-24 18:30:18 Modified files: src : Recurrence.defs.hh rr_classifier.cc tests : heap rrs_driver.cc Log message: Added the enumerate INDETERMINATE_RECURRENCE to `enum Solver_Status' and added the expectation `I': % I indeterminate: the recurrence has infinite solution. Improved `eliminate_null_decrements()' so it can catch also indeterminate recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff?cvsroot=purrs&r1=1.52&r2=1.53 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cvsroot=purrs&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=purrs&r1=1.69&r2=1.70 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvsroot=purrs&r1=1.48&r2=1.49