January 2004 - PURRS-devel - BUGSENG Mailman

purrs/tests heap
by Tatiana Zolo 27 Jan '04

27 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-27 12:33:00 Modified files: tests : heap Log message: Changed the mark from `yv' to `yp' to the linear finite order recurrences solved with the order reduction method. Marked with `yp' also the non-linear recurrences for which the system is not able to verify the solution but is able to verify the solution of the associated linear recurrence. 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 27 Jan '04

27 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-27 12:28:47 Modified files: tests : rrs_driver.cc Log message: Improvements regarding the use of the new status PARTIAL_PROVABLY_CORRECT. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh verify.cc
by Tatiana Zolo 27 Jan '04

27 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-27 12:27:36 Modified files: src : Recurrence.defs.hh verify.cc Log message: Added the status PARTIAL_PROVABLY_CORRECT to the enumerate `Verify_Status'. Improved the methods `verify_exact_solution()' and `verify_finite_order()': now they return also the status PARTIAL_PROVABLY_CORRECT. 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/verify.cc.diff?cvsroot=…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 26 Jan '04

26 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-26 18:39:57 Modified files: src : Recurrence.cc Log message: In the method `dump()' added the print of `first_valid_index' and `first_valid_index_for_solution'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 26 Jan '04

26 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-26 18:23:48 Modified files: src : Recurrence.cc Log message: Fixed a bug in the method `compute_solution_non_linear_finite_order_on_i_c()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.defs.hh Recurrence.cc
by Tatiana Zolo 26 Jan '04

26 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-26 18:08:25 Modified files: src : Recurrence.defs.hh Recurrence.cc Log message: Renamed the method `compute_solution_or_bound_on_i_c()' in `compute_solution_or_bound_on_i_c()'. Several improvements in the aforesaid method so that it is possible to compute the solution evaluated on initial conditions also with initial conditions with index bigger than the `first_valid_index'. 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.cc.diff?cvsr…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 26 Jan '04

26 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-26 18:08:06 Modified files: src : rr_classifier.cc Log message: Improved the method `rewrite_non_linear_recurrence()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Non_Linear_Info.defs.hh
by Tatiana Zolo 26 Jan '04

26 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-26 17:57:48 Modified files: src : Non_Linear_Info.defs.hh Log message: Minor changes in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.defs.hh…

1 0

purrs/demos purrs_rrs_cgi.cc
by Tatiana Zolo 26 Jan '04

26 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-26 12:16:06 Modified files: demos : purrs_rrs_cgi.cc Log message: Printed the condition `x(Sc(n,b)) >= 0', condition for which the lower bound and the upper bound are right. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 26 Jan '04

26 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-26 12:13:29 Modified files: src : Recurrence.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0