- PURRS-devel - BUGSENG Mailman

purrs/src rr_classifier.cc
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 15:59:09 Modified files: src : rr_classifier.cc Log message: Considered the recurrences with nested `x' functions (and with the argument containing `n') like malformed recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/tests rrs_driver.cc
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:50:07 Modified files: tests : rrs_driver.cc Log message: In the regress test improved messages about the result of the verifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests heap
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:53 Modified files: tests : heap Log message: Marked with `n' a functional equation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

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