February 2003 - PURRS-devel

w3purrs/htdocs/About About.raw
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-02-21 08:07:36 Modified files: htdocs/About : About.raw Log message: Link for WPP updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/About/About.raw.di…

1 0

purrs/tests heap
by Tatiana Zolo 19 Feb '03

19 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-19 17:59:15 Modified files: tests : heap Log message: Removed the mark `v' from one functional equation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 19 Feb '03

19 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-19 17:58:36 Modified files: src : compute_bounds.cc Log message: Fixed a bug and improved lower bound in the case of functional equation with only polynomials in the inhomogeneous term. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 19 Feb '03

19 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-19 09:05:58 Modified files: src : compute_bounds.cc Log message: Fixed a bug in the computation of the upper bound in the function `bounds_for_exp_function()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 18 Feb '03

18 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-18 16:24:01 Modified files: tests : heap Log message: Marked with `n' two non-linear recurrences for which the system is not able to find the solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 18 Feb '03

18 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-18 16:22:00 Modified files: src : rr_classifier.cc Log message: Fixed a bug in the function `x_function_in_powers_or_functions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/tests heap
by Tatiana Zolo 18 Feb '03

18 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-18 16:00:04 Modified files: tests : heap Log message: Chaged the mark to x(x(n-1)) and x(x(n-1))+x(x(n-2)) from `n' to `M'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 18 Feb '03

18 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-18 15:59:09 Modified files: src : rr_classifier.cc Log message: Considered the recurrences with nested `x' functions (and with the argument containing `n') like malformed recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 18 Feb '03

18 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-18 12:50:07 Modified files: tests : rrs_driver.cc Log message: In the regress test improved messages about the result of the verifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests heap
by Tatiana Zolo 18 Feb '03

18 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-18 12:11:53 Modified files: tests : heap Log message: Marked with `n' a functional equation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0