February 2003 - PURRS-devel

purrs/demos purrs_rrs_cgi.cc
by Tatiana Zolo 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 11:45:41 Modified files: demos : purrs_rrs_cgi.cc Log message: Updated adding the cases of indeterminate recurrence and malformed recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

purrs/tests heap
by Alessandro Zaccagnini 05 Feb '03

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2003-02-05 16:19:27 Modified files: tests : heap Log message: Tiny change in wording. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

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

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 15:47:30 Modified files: tests : rrs_driver.cc Log message: Minor changes. 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 05 Feb '03

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 15:46:45 Modified files: tests : heap Log message: Changed the mark of a recurrence from `E' to `n'. 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 05 Feb '03

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 15:46:01 Modified files: src : rr_classifier.cc Log message: Added the function `has_constant_decrement()' and fixed the function `eliminate_null_decrements()'. 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 05 Feb '03

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 12:06:16 Modified files: tests : heap Log message: Marked with `ul' some recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

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

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 12:05:16 Modified files: src : compute_bounds.cc functional_equation.cc functional_equation.hh Log message: Added the functions that return sharper bounds for special mathematical functions. Improved `approximate_functional_equation()' and `is_non_negative_non_decreasing(()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.hh.…

1 0

purrs/src ep_decomp.cc
by Tatiana Zolo 05 Feb '03

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 12:01:14 Modified files: src : ep_decomp.cc Log message: Added the calls to the functions `simplify_ex_for_input()' and `simplify_logarithm()' at the beginning of the function `exp_poly_decomposition()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.cc.diff?cvsro…

1 0

purrs/src compute_exact_solution.cc
by Tatiana Zolo 05 Feb '03

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 11:55:35 Modified files: src : compute_exact_solution.cc Log message: Removed the useless inclusion #include "sum_poly.hh" Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 05 Feb '03

05 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-05 11:48:07 Modified files: tests : simpl_tests Log message: Added an expression to simplify. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0