July 2003 - PURRS-devel - BUGSENG Mailman

purrs/src finite_order.hh finite_order.cc
by Tatiana Zolo 15 Jul '03

15 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-15 18:19:24 Modified files: src : finite_order.hh finite_order.cc Log message: Added the argument `lower_bound_sum' to the function `compute_symbolic_sum()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/src bug.cc
by Tatiana Zolo 12 Jul '03

12 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-12 22:21:30 Removed files: src : bug.cc Log message: Removed an old and useless file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/bug.cc.diff?cvsroot=pur…

1 0

purrs/src Recurrence.defs.hh compute_bounds.cc ...
by Tatiana Zolo 11 Jul '03

11 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-11 11:17:33 Modified files: src : Recurrence.defs.hh compute_bounds.cc compute_exact_solution.cc Log message: Added and fixed several comments. Added several assertions. Removed the method `Recurrence::add_term_with_initial_conditions()' that now is a static function of `compute_exact_solution.cc'. Removed the method `Recurrence::add_term_with_initial_condition()' that now is a static function of `compute_bounds.cc'. 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/compute_bounds.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 11 Jul '03

11 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-11 11:16:56 Modified files: src : rr_classifier.cc Log message: Added and fixed several comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.cc
by Roberto Bagnara 10 Jul '03

10 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-07-10 17:31:57 Modified files: src : Recurrence.cc Log message: Very draft version of the new verification procedure (commented out). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Tatiana Zolo 10 Jul '03

10 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-10 14:38:00 Modified files: tests : heap Log message: Added some 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 finite_ord ...
by Tatiana Zolo 10 Jul '03

10 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-10 14:37:38 Modified files: src : compute_exact_solution.cc finite_order.cc Log message: Fixed a bug in the function `add_term_with_initial_conditions()' and in all parts of the code about symbolic sums. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/src util.cc
by Tatiana Zolo 10 Jul '03

10 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-10 14:36:47 Modified files: src : util.cc Log message: Fixed a problem in the case of logarithm function in the function `largest_positive_int_zero_on_expanded_ex()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/tests heap
by Tatiana Zolo 10 Jul '03

10 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-10 10:15:38 Modified files: tests : heap Log message: Added a recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src finite_order.cc
by Tatiana Zolo 10 Jul '03

10 Jul '03

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

1 0