- PURRS-devel - BUGSENG Mailman

purrs/src simplify.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 12:49:13 Modified files: src : simplify.cc Log message: Implemented the logarithms' properties: log(a * b) = log(a) + log(b) log(a / b) = log(a) - log(b). Others minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src util.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 12:43:55 Modified files: src : util.cc Log message: Fixed a bug in the function `partial_factor()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/tests heap rrs_driver.cc
by Roberto Bagnara 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-02-06 11:46:56 Modified files: tests : heap rrs_driver.cc Log message: New symbol `B' for marking recurrences: it means "bizarre: even assuming it makes sense, we have no plans to deal with it". It is treated exactly as `n' ("expected not to be solved"), but it is useful to discriminate between our own weaknesses and the depravity of our users. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

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