September 2002 - PURRS-devel

purrs/src rr_solver.cc simplify.cc simplify.hh
by Tatiana Zolo 06 Sep '02

06 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-06 11:56:30 Modified files: src : rr_solver.cc simplify.cc simplify.hh Log message: Added in the file simplify.{hh, cc} the function 'simplify_numer_denom()' and added calls to this function in 'verify_solution()': now all recurrences in the file 'recurrences' are verified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 05 Sep '02

05 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-05 22:27:12 Modified files: src : rr_solver.cc Log message: Improved the function 'print_bad_exp()' and other little changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src simplify.cc
by Tatiana Zolo 05 Sep '02

05 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-05 22:07:22 Modified files: src : simplify.cc Log message: Fixed a bug in the function 'collect_same_base()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests recurrences
by Tatiana Zolo 05 Sep '02

05 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-05 11:51:43 Modified files: tests : recurrences Log message: Added the label 'BAD_EXPRESSION' to the recurrence relations that fail with verify_solution(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 05 Sep '02

05 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-05 11:49:30 Modified files: src : rr_solver.cc Log message: Improved the function 'verify_solution()': now first checks that are verified the initial conditions and then computes the difference 'diff'. Added also the function 'print_bad_exp()': writes in the file 'not_verified.out' the expression that fail with 'verify_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs TODO.tex
by Tatiana Zolo 04 Sep '02

04 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-04 18:39:15 Added files: . : TODO.tex Log message: Added a first version of file containing the next things to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…

1 0

purrs/src simplify.cc
by Tatiana Zolo 04 Sep '02

04 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-04 18:36:03 Modified files: src : simplify.cc Log message: Fixed a bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src rr_solver.cc
by Alessandro Zaccagnini 04 Sep '02

04 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-09-04 11:00:13 Modified files: src : rr_solver.cc Log message: Fixed a couple of comments Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/doc Makefile.am devref-browse.doxyconf-l ...
by Roberto Bagnara 04 Sep '02

04 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-09-04 09:54:21 Modified files: doc : Makefile.am 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: Reference to inexistent file removed. Upgraded for the latest revision of Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/Makefile.am.diff?cvsroo… 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/src rr_solver.cc
by Roberto Bagnara 04 Sep '02

04 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-09-04 09:46:02 Modified files: src : rr_solver.cc Log message: Small bug fixed in the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0