February 2003 - PURRS-devel

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 13 Feb '03

13 Feb '03

1 0

purrs/src factorize.hh rr_classifier.cc simpli ...
by Tatiana Zolo 11 Feb '03

11 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-11 15:45:05 Modified files: src : factorize.hh rr_classifier.cc simplify.hh Log message: Removed useless inclusions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo…

1 0

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

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 19:52:39 Modified files: src : rr_classifier.cc Log message: Minor changes. 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 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 19:52:03 Modified files: tests : heap Log message: Added the mark `v' to some non-linear recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 19:49:40 Modified files: src : Recurrence.cc Log message: In `verify_solution()' substitute `simplify_numer_denom()' with the more powerful function `simplify_all()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 19:46:09 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

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

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 19:45:38 Modified files: src : simplify.cc Log message: Improved the simplification for the logarithms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests heap
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 18:06:44 Modified files: tests : heap Log message: Added one recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Non_Linear_Info.defs.hh Non_Linear_I ...
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 18:05:54 Modified files: src : Non_Linear_Info.defs.hh Non_Linear_Info.inlines.hh Recurrence.defs.hh Recurrence.inlines.hh compute_bounds.cc compute_exact_solution.cc rr_classifier.cc Log message: In the case of non-linear recurrences considered the case of `log(n)' with `n' negative number introducing auxiliary symbols. Several comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.inlines… 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.inlines.hh.d… 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/rr_classifier.cc.diff?c…

1 0

purrs/src Order_Reduction_Info.defs.hh
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 17:31:39 Modified files: src : Order_Reduction_Info.defs.hh Log message: Several comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Order_Reduction_Info.de…

1 0