January 2003 - PURRS-devel - BUGSENG Mailman

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

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-31 20:25:55 Modified files: src : rr_classifier.cc Log message: Fixed a bug in the function `classification_summand()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Expr.cc
by Tatiana Zolo 31 Jan '03

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-31 20:25:16 Modified files: src : Expr.cc Log message: Added a simplification for the symbolic sums. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs configure.ac
by Roberto Bagnara 31 Jan '03

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-31 17:07:47 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 31 Jan '03

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-31 17:06:52 Modified files: tests : rrs_driver.cc Log message: New option `-V' (`--version') to help identifying the program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 31 Jan '03

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-31 16:11:50 Modified files: tests : rrs_driver.cc Log message: All lower-case letters apart from "e", "n" and "x" now denote a parameter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests heap
by Roberto Bagnara 31 Jan '03

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-31 16:10:27 Modified files: tests : heap Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs src/rr_classifier.cc tests/heap
by Tatiana Zolo 31 Jan '03

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-31 12:20:13 Modified files: src : rr_classifier.cc tests : heap Log message: Fixed `rewrite_non_linear_recurrence()': for the moment we accept only non linear recurrences where if there is a power with in the base the `x' function `x(n-k)' or `x(n/k)' then the exponent must be a positive integer. Patches: 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/heap.diff?cvsroot=pur…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 31 Jan '03

31 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-31 11:30:35 Modified files: src : compute_bounds.cc Log message: Fixed `approximate_functional_equation()' considering also the case of non linear recurrences transformed in functional equations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Roberto Bagnara 30 Jan '03

30 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-30 21:40:08 Modified files: tests : heap Log message: 33 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Expr.cc Expr.defs.hh rr_classifier.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 17:39:32 Modified files: src : Expr.cc Expr.defs.hh rr_classifier.cc Log message: Renamed `has_floating_point_numbers()' in `has_non_rational_numbers()'. Removed some useless explicit calls to the constructor of the class Expr. Added `#define Nepero exp(Expr(1))'. 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/rr_classifier.cc.diff?c…

1 0