August 2003 - PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.cc
by Tatiana Zolo 08 Aug '03

08 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-08 12:46:16 Modified files: src : Recurrence.cc Log message: Fixed a problem in the validation of recurrences of infinite order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Tatiana Zolo 08 Aug '03

08 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-08 11:25:16 Modified files: tests : heap Log message: Changed the mark to 10 recurrences of infinite order from `y' to `yv'. Added another recurrence of infinite order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.inlines.hh Recurrence.cc
by Tatiana Zolo 08 Aug '03

08 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-08 11:23:10 Modified files: src : Recurrence.inlines.hh Recurrence.cc Log message: Added the validation for recurrences of infinite order. Patches: 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/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.defs.hh rr_classifier.cc
by Tatiana Zolo 08 Aug '03

08 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-08 11:21:18 Modified files: src : Recurrence.defs.hh rr_classifier.cc Log message: Added the right hand side of the recurrence among the arguments of the function `classification_summand()': it was wrong to use the date `recurrenec_rhs' of the class `Recurrence' because a simplification modifies it. 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/rr_classifier.cc.diff?c…

1 0

purrs/src simplify.cc simplify.hh
by Tatiana Zolo 08 Aug '03

08 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-08 11:04:56 Modified files: src : simplify.cc simplify.hh Log message: Renamed the boolean `only_verification' in `try_to_compute_sum'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo…

1 0

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

07 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-07 16:02:55 Modified files: src : finite_order.cc Log message: Fixed a bug in the function `write_expanded_solution()'. Several improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/tests heap
by Tatiana Zolo 05 Aug '03

05 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-05 12:48:55 Modified files: tests : heap Log message: Added a recurrence of infinite order marked with `D' (domain error). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 05 Aug '03

05 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-05 12:46:48 Modified files: tests : rrs_driver.cc Log message: Added the case of recurrence containing a domain error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

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

05 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-05 12:46:17 Modified files: src : rr_classifier.cc Log message: Some modifications in the functions `known_class_of_infinite_order()' and `classification_summand()' so that the infinite order recurrences containing a domain error are recognised. 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 05 Aug '03

05 Aug '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-08-05 12:45:38 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the private methods in order to access to new data of the class `Infinite_Order_Info'. Introduced a new element in the enumerate `Solver_Status': `DOMAIN_ERROR'. 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