- PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.cc Recurrence.defs.hh
by Tatiana Zolo 08 Apr '03

08 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-08 09:26:24 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Setted the flag `recurrence_rhs_rewritten' to true in the cases of order reduction and non linear recurrence. 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/src compute_prod.cc
by Tatiana Zolo 03 Apr '03

03 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-03 18:45:00 Modified files: src : compute_prod.cc Log message: Fixed a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs/src compute_prod.cc
by Tatiana Zolo 03 Apr '03

03 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-03 18:12:29 Modified files: src : compute_prod.cc Log message: Fixed a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs/src compute_exact_solution.cc compute_pr ...
by Tatiana Zolo 03 Apr '03

03 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-03 14:50:20 Modified files: src : compute_exact_solution.cc compute_prod.cc compute_prod.hh Log message: Fixed a bug in the computation of the products. Several improvements. 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/compute_prod.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.hh.diff?cv…

1 0

purrs TODO.tex
by Tatiana Zolo 03 Apr '03

03 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-03 08:54:26 Modified files: . : TODO.tex Log message: Added a thing to do on the sums and the products. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…

1 0

purrs/src compute_prod.cc
by Tatiana Zolo 02 Apr '03

02 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-02 19:07:51 Modified files: src : compute_prod.cc Log message: Fixed a bug in the computation of the products. Improved some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 02 Apr '03

02 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-02 14:19:36 Modified files: src : Recurrence.cc Log message: Fixed some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 01 Apr '03

01 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-01 16:26:27 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: The methods in order to verify the solution or the bounds for it are now `const'. 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.inlines.hh.d…

1 0

purrs src/Recurrence.cc src/Recurrence.defs.hh ...
by Tatiana Zolo 01 Apr '03

01 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-01 15:49:34 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh tests : rrs_driver.cc Log message: Reorganization of the public methods in order to verify the solution or the bounds for it. Now there are three different methods: Verify_Status verify_exact_solution(); Verify_Status verify_lower_bound(); Verify_Status verify_upper_bound(); (like for the computation of the solution or the bounds). 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… 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/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 01 Apr '03

01 Apr '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-04-01 15:45:09 Modified files: src : compute_bounds.cc Log message: If the system finds both bounds (lower and upper) and they are equal, then we set also the exact solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0