January 2004 - PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 18:32:35 Modified files: src : Recurrence.cc Log message: Minor changes in the method `dump()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 16:20:46 Modified files: tests : rrs_driver.cc Log message: Fixed a bug in the function `prepare_for_the_output()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 16:19:09 Modified files: src : Recurrence.cc Log message: Fixed a problem in the methods `lower_bound()' and `upper_bound()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 15:50:19 Modified files: tests : rrs_driver.cc Log message: Added the option `-C' (--check-solution). Some improvements in the function `do_production_mode()' for the introduction of the new option -C. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 30 Jan '04

30 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-30 13:08:21 Modified files: tests : rrs_driver.cc Log message: Added the option `-P' (--prolog-term): it allows to have the solution or the approximation in the form of prolog term. Several improvements in the function `do_production_mode()' for the introduction of the new option -P. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src compute_exact_solution.cc
by Tatiana Zolo 29 Jan '04

29 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-29 17:59:56 Modified files: src : compute_exact_solution.cc Log message: Added (commented) code to the method `solve_constant_coeff_order_2()' that could be useful in order to obtain more simplified solutions for the recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src Expr.cc Recurrence.defs.hh finite_or ...
by Tatiana Zolo 29 Jan '04

29 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-29 11:55:48 Modified files: src : Expr.cc Recurrence.defs.hh finite_order.cc verify.cc Log message: Fixed some bugs in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu… 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/finite_order.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 28 Jan '04

28 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-28 18:15:28 Modified files: src : finite_order.cc Log message: Fixed a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/src Expr.cc
by Tatiana Zolo 28 Jan '04

28 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-28 18:14:44 Modified files: src : Expr.cc Log message: Removed a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src compute_bounds.cc compute_exact_solu ...
by Tatiana Zolo 28 Jan '04

28 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-28 17:16:38 Modified files: src : compute_bounds.cc compute_exact_solution.cc compute_prod.cc finite_order.cc gosper.cc simplify.cc Log message: In the definitions of symbols removed the name for the symbols. 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/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0