February 2003 - PURRS-devel

purrs/src compute_bounds.cc compute_exact_solu ...
by Tatiana Zolo 18 Feb '03

18 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-18 12:11:13 Modified files: src : compute_bounds.cc compute_exact_solution.cc functional_equation.cc functional_equation.hh util.cc util.hh Log message: Several improvements and fixed some bug in the functions `is_non_negative()', `is_non_negative_non_decreasing()' and `largest_positive_int_zero()'. Patches: 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.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs/tests heap
by Tatiana Zolo 16 Feb '03

16 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-16 20:03:03 Modified files: tests : heap Log message: Added the mark `v' to some non-linear recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 16 Feb '03

16 Feb '03

1 0

purrs/tests heap
by Roberto Bagnara 16 Feb '03

16 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-02-16 19:01:20 Modified files: tests : heap Log message: New recurrence (witnessing a bug). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Tatiana Zolo 16 Feb '03

16 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-16 18:05:24 Modified files: tests : heap Log message: Removed a duplicate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh
by Tatiana Zolo 16 Feb '03

16 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-16 18:04:55 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Fixed a bug in the computation of the bounds of non-linear recurrences that are transformed in functional equations. 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/Recurrence.defs.hh.diff…

1 0

purrs/tests heap
by Roberto Bagnara 16 Feb '03

16 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-02-16 07:46:27 Modified files: tests : heap Log message: 65 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 14 Feb '03

14 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-14 13:28:29 Modified files: tests : heap Log message: Temporarily removed the mark `v' from the non linear recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Non_Linear_Info.defs.hh Non_Linear_I ...
by Tatiana Zolo 14 Feb '03

14 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-14 13:27:23 Modified files: src : Non_Linear_Info.defs.hh Non_Linear_Info.inlines.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh compute_bounds.cc compute_exact_solution.cc rr_classifier.cc Log message: Reorganisation of the case of non-linear recurrences. Now the function that classify the recurrence can returns `SUCCESS' in three cases: linear of finite order, functional equation and non linear of finite order. In the case of non linear we create another object `Recurrence' that contains a linear recurrence obtained from that non linear with a transformation; we compute the solution for the linear recurrence; we come back to the solution of the non linear recurrence with another transformation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.inlines… 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/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/compute_bounds.cc.diff?… 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/rr_classifier.cc.diff?c…

1 0

purrs/tests heap
by Tatiana Zolo 13 Feb '03

13 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-13 12:22:44 Modified files: tests : heap Log message: Removed a duplicate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0