August 2003 - PURRS-devel - BUGSENG Mailman

w3purrs/htdocs/Documentation purrs.bib
by Enea Zaffanella 13 Aug '03

13 Aug '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaffanella(a)cs.unipr.it 2003-08-13 11:26:10 Modified files: htdocs/Documentation: purrs.bib Log message: Corrected list of authors for the TR's about PURRS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

purrs/src Recurrence.cc rr_classifier.cc simpl ...
by Tatiana Zolo 12 Aug '03

12 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-12 21:55:32 Modified files: src : Recurrence.cc rr_classifier.cc simplify.cc Log message: Substituted some calls to the old version of the method `Expr::has_x_function()' with the method `Expr::has_x_function_only_ic()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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.cc.diff?cvsroo…

1 0

purrs/src finite_order.cc finite_order.hh
by Tatiana Zolo 12 Aug '03

12 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-12 21:54:28 Modified files: src : finite_order.cc finite_order.hh Log message: Renamed the function `rewrite_expanded_solution()' in `write_expanded_solution()'. Some improvements. Patches: 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/finite_order.hh.diff?cv…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 12 Aug '03

12 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-12 21:52:56 Modified files: src : Expr.defs.hh Expr.cc Log message: Improved and simplified the method `Expr::has_x_function()'. 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 Recurrence.inlines.hh
by Tatiana Zolo 12 Aug '03

12 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-12 17:15:53 Modified files: src : Recurrence.inlines.hh Log message: Added an assertion in the methods of the class Recurrence that return the exact solution or the bounds: solutions and bounds do not have to contain function `x()' that are not initial conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

purrs/tests heap
by Tatiana Zolo 12 Aug '03

12 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-12 17:11:25 Modified files: tests : heap Log message: Changed the mark to the two following recurrences x(n) = mod(2*x(n-1),143) x(n) = mod(2*x(n-1),m) from `yv' to `n'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 12 Aug '03

12 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-12 17:07:43 Modified files: src : rr_classifier.cc Log message: Fixed a bug in the function `x_function_in_powers_or_functions()'. It checks if there are nested functions (like `mod(x(n-1), k)') and there was a call to the method `Expr::is_the_x_function()' instead of `Expr::has_x_function()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 12 Aug '03

12 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-12 17:01:32 Modified files: src : Expr.defs.hh Expr.cc Log message: Added the method `Expr:: has_x_function_only_ic()': it returns `true' if and only if the functions `x()' of `*this' are all initial conditions, returns `false' otherwise, i.e., if there is at least one function `x()' that is not an initial condition. 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 Recurrence.cc
by Tatiana Zolo 11 Aug '03

11 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-11 17:19:56 Modified files: src : Recurrence.cc Log message: Improved the function `verify_exact_solution()' in the part about recurrences of infinite order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Infinite_Order_Info.defs.hh Infinite ...
by Tatiana Zolo 11 Aug '03

11 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-11 17:18:41 Modified files: src : Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc Log message: Added the private data `lower_bound_sum' to the class `Infinite_Order_Info' and the relative methods in order to access it. Patches: 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… 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/rr_classifier.cc.diff?c…

1 0