- PURRS-devel - BUGSENG Mailman

purrs tests/simpl_tests src/simplify.cc
by Tatiana Zolo 30 Jan '03

30 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-30 16:37:45 Modified files: tests : simpl_tests src : simplify.cc Log message: Improved the simplifications for the logarithms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests heap
by Tatiana Zolo 30 Jan '03

30 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-30 13:17:11 Modified files: tests : heap Log message: Marked with `yv' two non linear recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 30 Jan '03

30 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-30 13:16:37 Modified files: src : Recurrence.cc Log message: Removed the function `find_term_without_function_x(()' and used the method `has_x_function()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Expr.defs.hh Expr.cc compute_exact_s ...
by Tatiana Zolo 30 Jan '03

30 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-30 13:14:44 Modified files: src : Expr.defs.hh Expr.cc compute_exact_solution.cc rr_classifier.cc Log message: Added the method `has_x_function()' and removed similar functions from compute_exact_solution.cc and src/rr_classifier.cc. Temporary suspended the sustitution of defined initial conditions in the non linear recurrences. Patches: 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/Expr.cc.diff?cvsroot=pu… 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 29 Jan '03

29 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-29 21:01:18 Modified files: tests : heap Log message: Marked with `y' some non linear recurrences. Added other non linear recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 29 Jan '03

29 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-29 21:00:18 Modified files: src : rr_classifier.cc Log message: Fixed a bug in `classify()' calling the method `set_unknown()' when the recurrence is non linear and is transformed in linear. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 29 Jan '03

29 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-29 19:14:03 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the method `set_unknown()'. 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/tests heap
by Tatiana Zolo 29 Jan '03

29 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-29 18:49:50 Modified files: tests : heap Log message: Marked with `yv' some non linear recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc compute_exact_solution ...
by Tatiana Zolo 29 Jan '03

29 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-29 18:48:46 Modified files: src : Recurrence.cc compute_exact_solution.cc rr_classifier.cc Log message: `find_non_linear_recurrence()' has become static of `rr_classifier.cc' and it has been improved. Added the function `rewrite_non_linear_recurrence()' and considerated the non linear recurrences. 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/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 29 Jan '03

29 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-29 18:46:47 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the pointer to the class `Non_Linear_Info' and the methods in order to access to the private data of the class. 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