June 2003 - PURRS-devel - BUGSENG Mailman

w3purrs/htdocs news.raw purrs.raw
by Roberto Bagnara 26 Jun '03

26 Jun '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-06-26 16:20:37 Modified files: htdocs : news.raw purrs.raw Log message: Announce the new demo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/news.raw.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

purrs/tests heap
by Roberto Bagnara 26 Jun '03

26 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-06-26 16:07:22 Modified files: tests : heap Log message: 14 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Tatiana Zolo 26 Jun '03

26 Jun '03

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

1 0

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

26 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-26 12:55:18 Modified files: src : Recurrence.cc rr_classifier.cc Log message: Fixed a bug in the computation of the recurrences of infiinte order Several improvements. 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…

1 0

purrs/src Infinite_Order_Info.defs.hh Infinite ...
by Tatiana Zolo 26 Jun '03

26 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-26 12:53:39 Modified files: src : Infinite_Order_Info.defs.hh Infinite_Order_Info.inlines.hh Recurrence.defs.hh Recurrence.inlines.hh Log message: Removed the useless private data `value_of_first_element_' from the class `Infinite_Order_Info' and the relative methods in this class and in the class `Recurrence' in order to access him. Added the private data `weight_inf_order_' and the relative methods. 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…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 26 Jun '03

26 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-26 09:46:48 Modified files: src : compute_bounds.cc Log message: Several improvements in the computation of lower bounds and upper bounds: beyond to the division between polynomial part and non-polynomial part of the non homogeneous term, now these two part are ulteriorly divided in many parts how many are their addends, so that is more probable to apply the sharper bounds. Fixed some little errors. Added comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 25 Jun '03

25 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-25 10:35:21 Modified files: tests : heap Log message: Added a recurrence of infinite order. 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 25 Jun '03

25 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-25 10:35:03 Modified files: src : rr_classifier.cc Log message: Fixed a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src simplify.cc
by Tatiana Zolo 25 Jun '03

25 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-25 10:34:37 Modified files: src : simplify.cc Log message: Extended the function `simplify_sum()': now splits the sum in many sums how many are the addends of the sum. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 24 Jun '03

24 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-24 18:51:29 Modified files: src : compute_bounds.cc Log message: Added the call to the function `simplify_ex_for_output()' in the function `add_term_with_initial_condition()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0