- PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.cc Recurrence.defs.hh
by Tatiana Zolo 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-10 11:41:00 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: In the method `compute_exact_solution()' substituted the chain of `if-else' with a `switch' on 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 demos/purrs_rrs_cgi.cc src/Recurrence.cc ...
by Tatiana Zolo 10 Nov '03

10 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-10 09:53:34 Modified files: demos : purrs_rrs_cgi.cc src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh compute_exact_solution.cc rr_classifier.cc tests : rrs_driver.cc Log message: Several changes in the structure of the Recurrence. Now the enumerate Solver_Status has only three values: enum Solver_Status { SUCCESS, TOO_COMPLEX, CLASSIFICATION_FAIL }; All the other cases are stored in the enumerate Classifier_Status: enum Classifier_Status { CLASSIFICATION_OK, INDETERMINATE_RECURRENCE, HAS_NON_INTEGER_DECREMENT, HAS_NEGATIVE_DECREMENT, HAS_HUGE_DECREMENT, HAS_NULL_DECREMENT, UNSOLVABLE_RECURRENCE, MALFORMED_RECURRENCE, DOMAIN_ERROR, CLASSIFICATION_COMPLEX, NOT_CLASSIFIED_YET }; Changes in several files in according with the new enumerate types. These changes show a serious problem with the recurrence 1060 in heap. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… 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_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Expr.cc Expr.defs.hh Recurrence.cc R ...
by Tatiana Zolo 06 Nov '03

06 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-06 11:14:57 Modified files: src : Expr.cc Expr.defs.hh Recurrence.cc Recurrence.inlines.hh finite_order.cc Log message: Renamed `has_x_function_only_ic()' in `has_symbolic_initial_conditions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… 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.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 06 Nov '03

06 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-06 10:32:27 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Improved the documentation and added some comments. 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/doc definitions.dox
by Tatiana Zolo 05 Nov '03

05 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-05 11:17:18 Modified files: doc : definitions.dox Log message: Added two definitions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cv…

1 0

purrs/src Recurrence.defs.hh
by Tatiana Zolo 05 Nov '03

05 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-05 11:16:57 Modified files: src : Recurrence.defs.hh Log message: Added several comments in the class Recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/doc devref-browse.doxyconf-latex.in devr ...
by Tatiana Zolo 04 Nov '03

04 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-04 17:05:20 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: Setted `REPEAT_BRIEF' to YES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref-browse.doxyconf-… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref-print.doxyconf-l… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.doxyconf-html.in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.doxyconf-html.in.d…

1 0

purrs doc/definitions.dox src/Expr.defs.hh src ...
by Tatiana Zolo 04 Nov '03

04 Nov '03

1 0

purrs/doc devref.tex gpl.dox user.tex
by Tatiana Zolo 04 Nov '03

04 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-04 11:26:08 Modified files: doc : devref.tex gpl.dox user.tex Log message: Substituted every occurrence of `ppl' or `Parma Polyhedra Library' with `purrs' or `Parma University's Recurrence Relation Solver'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.tex.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/gpl.dox.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.tex.diff?cvsroot=p…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh
by Tatiana Zolo 04 Nov '03

04 Nov '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-11-04 11:23:55 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: `validation_initial_conditions()' renamed in `validate_initial_conditions()'. 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