May 2003 - PURRS-devel - BUGSENG Mailman

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

30 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-31 01:17:01 Modified files: src : Recurrence.cc Log message: Added a call to the function `simplify_sum()' in the functions for the verification of the exact solution and the bounds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src simplify.hh simplify.cc
by Tatiana Zolo 30 May '03

30 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-31 01:16:08 Modified files: src : simplify.hh simplify.cc Log message: Added a new function `simplify_sum()' for a simplification about the upper bound of the function `sum'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

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

30 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-31 01:15:05 Modified files: src : Expr.defs.hh Expr.cc Log message: Removed a simplification from the function `sum_eval()' about the upper bound of the function `sum'. Fixed a comment. 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…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 30 May '03

30 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-31 01:09:24 Modified files: src : rr_classifier.cc Log message: Minor changes in the recognition of infinite order recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/infrastructure README
by Roberto Bagnara 30 May '03

30 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-05-30 14:48:15 Modified files: infrastructure : README Log message: Fixed a couple of imprecisions spotted by Pat Hill. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

purrs/doc devref-browse.doxyconf-latex.in devr ...
by Roberto Bagnara 29 May '03

29 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-05-29 21:19:21 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Silly relative paths fixed. 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…

1 0

purrs/tests gosper_driver.cc
by Tatiana Zolo 29 May '03

29 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-29 18:28:24 Modified files: tests : gosper_driver.cc Log message: Fixed a problem with the symbol `Recurrence::n'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/gosper_driver.cc.diff…

1 0

purrs/tests heap
by Tatiana Zolo 29 May '03

29 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-29 18:27:39 Modified files: tests : heap Log message: Added 3 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 29 May '03

29 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-29 18:27:02 Modified files: tests : simpl_tests Log message: Added an expression to simplify. Modified the result of other simplifications ike consequence of the last change made in the file `simplify.cc'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src simplify.cc
by Tatiana Zolo 29 May '03

29 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-29 18:23:25 Modified files: src : simplify.cc Log message: Increased the power of the simplifier so that the system is able to compute a larger set of sums. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0