June 2003 - PURRS-devel - BUGSENG Mailman

purrs src/gosper.cc tests/gosper_driver.cc
by Tatiana Zolo 09 Jun '03

09 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-09 16:43:28 Modified files: src : gosper.cc tests : gosper_driver.cc Log message: Minor changes. Patches: 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/tests/gosper_driver.cc.diff…

1 0

purrs/tests heap
by Tatiana Zolo 09 Jun '03

09 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-09 11:11:09 Modified files: tests : heap Log message: Added two new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src compute_exact_solution.cc
by Tatiana Zolo 09 Jun '03

09 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-09 10:04:21 Modified files: src : compute_exact_solution.cc Log message: Called the function `simplify_factorials_and_exponentials()' on the solution of the recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 09 Jun '03

09 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-09 10:03:04 Modified files: tests : simpl_tests Log message: Minor change. 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 09 Jun '03

09 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-09 10:02:45 Modified files: src : simplify.cc Log message: Generalized the simplifications on factorials to all symbols (not only to the symbol `Recurrence::n'). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 09 Jun '03

09 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-09 10:00:24 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added the method `bool is_a_symbol(Symbol& s) const'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

purrs/tests heap
by Tatiana Zolo 06 Jun '03

06 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-06 11:44:47 Modified files: tests : heap Log message: Changed the mark to 2 recurrences from `y' to `yv'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 06 Jun '03

06 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-06-06 11:22:33 Modified files: tests : heap Log message: 108 new 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 06 Jun '03

06 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-06 11:04:54 Modified files: src : Recurrence.cc Log message: In the case of the non-linear recurrence, copied the blackboard of the associated linear recurrence in that one of the non-linear recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 06 Jun '03

06 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-06 10:01:05 Modified files: src : Recurrence.cc Log message: Tested the flag `is_classified' before to do the classification on the recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0