June 2003 - PURRS-devel - BUGSENG Mailman

purrs/src rr_classifier.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 09:59:39 Modified files: src : rr_classifier.cc Log message: Set up to "true" the flag `is_classified' at the end of the function `classify()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
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 09:54:39 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the private data `is_classified' to the class Recurrence so that the classification of the recurrence is not repeated if already it has been made. 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.inlines.hh.d…

1 0

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

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-05 20:24:52 Modified files: src : Recurrence.cc Log message: Added to the methods `compute_exact_solution()', `compute_lower_bound()' and `compute_upper_bound()' the case of linear recurrences of infinite order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 05 Jun '03

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-05 20:24:35 Modified files: src : rr_classifier.cc Log message: Modified the classifier so that it return `SUCCESS' also in the case of the linear recurrence of infinite order that we can transform in a recurrence of the first order with variable coefficient. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

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

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-05 19:03:57 Modified files: src : compute_exact_solution.cc Log message: Added a print. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src Recurrence.defs.hh Recurrence.inline ...
by Tatiana Zolo 05 Jun '03

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-05 19:02:27 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh Log message: Several modifications to the methods of the class `Infinite_Order_Info' and, consequently, to the methods of `Recurrence'. 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.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Infinite_Order_Info.inl…

1 0

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

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-05 15:34:12 Modified files: src : Expr.inlines.hh Log message: Added assertions in several methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 05 Jun '03

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-05 15:31:20 Modified files: src : Expr.defs.hh Expr.cc Log message: Added the method `is_multivariate_polynomial()'. 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.cc.diff?cvsroot=pu…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Roberto Bagnara 05 Jun '03

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-06-05 11:57:43 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: The macro UNSAFE_ARG is now used to enable/disable the unsafe and efficient implementation of Expr::arg(). 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/src factorize.cc
by Tatiana Zolo 05 Jun '03

05 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-05 10:56:27 Modified files: src : factorize.cc Log message: Minor change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsro…

1 0