December 2002 - PURRS-devel

purrs/src util.cc util.hh
by Tatiana Zolo 21 Dec '02

21 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-21 16:31:55 Modified files: src : util.cc util.hh Log message: Removed the function `get_binding()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 21 Dec '02

21 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-21 16:29:05 Modified files: src : rr_solver.cc Log message: Improved the functions `eliminate_null_decrements()' and `eliminate_negative_decrements()' not using more the method `Expr::match()'. Fixed a bug in the function `eliminate_negative_decrements()'. In the cases HAS_NEGATIVE_DECREMENT and HAS_NULL_DECREMENT of the function `solve_try_hard()' called recursively the function `solve_try_hard()' (and not `solve_easy_cases()' because in a recurrence could be at the same time cases of null decrement and cases of negative decrement). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests heap
by Tatiana Zolo 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 18:05:54 Modified files: tests : heap Log message: Marked with `v' two recurrences and added other recurrences of high order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 17:40:47 Modified files: src : rr_solver.cc Log message: Fixed a bug in the function `find_g_n()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src simplify.cc
by Tatiana Zolo 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 17:39:41 Modified files: src : simplify.cc Log message: Fixed some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests heap
by Tatiana Zolo 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 13:18:19 Modified files: tests : heap Log message: Marked with `v' some recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src simplify.cc
by Tatiana Zolo 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 13:08:58 Modified files: src : simplify.cc Log message: Fixed a bug adding `&' to two argument of the function `find_bases_and_exponents()' Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 12:17:43 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 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 12:17:19 Modified files: src : simplify.cc Log message: Improved the functions `collect_same_base()', `collect_same_exponents()' and `collect_base_exponent()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src sum_poly.cc
by Tatiana Zolo 19 Dec '02

19 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-19 09:34:48 Modified files: src : sum_poly.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.cc.diff?cvsroo…

1 0