- PURRS-devel - BUGSENG Mailman

purrs/tests heap
by Tatiana Zolo 07 Feb '03

07 Feb '03

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

1 0

purrs/src Recurrence.defs.hh compute_bounds.cc ...
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 13:35:06 Modified files: src : Recurrence.defs.hh compute_bounds.cc rr_classifier.cc Log message: Improved `get_constant_divisor()': now returns true if the expression in input is of the form `n / d' with `d' a positive rational (it before returned true only if `d' were a positive integer). Expanded `approximate_functional_equation()' so that are approximated also functional equations of the form `a x(n/b) + p(n)' with `b' rational bigger than 1. Fixed a bug in the computation of the initial condition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… 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/rr_classifier.cc.diff?c…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 07 Feb '03

07 Feb '03

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

1 0

purrs/src simplify.cc
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 13:21:02 Modified files: src : simplify.cc Log message: Improved the function `prepare_change_base_logarithm()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests heap
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 18:20:10 Modified files: tests : heap Log message: Removed the marks `U' and `L'. Changed the mark of several recurrences from `ul' to `ulv'. 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 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 18:17:57 Modified files: tests : rrs_driver.cc Log message: In the regress test added the calls to the method `verify_bound()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh Recurrence.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 18:15:54 Modified files: src : Recurrence.defs.hh Recurrence.cc Log message: Added the method `verify_bound()' (the implementation of this method is not yet complete). Removed an useless call to the simplification's function in `verify_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src compute_bounds.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 18:07:56 Modified files: src : compute_bounds.cc Log message: Fixed a problem about the initial condition for the functional equations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs configure.ac
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 18:07:36 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p…

1 0

purrs/tests simpl_tests
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:53 Modified files: tests : simpl_tests Log message: Added some expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0