January 2003 - PURRS-devel - BUGSENG Mailman

purrs/tests simpl_tests simplify_driver.cc
by Tatiana Zolo 12 Jan '03

12 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-12 19:54:38 Modified files: tests : simpl_tests simplify_driver.cc Log message: Added the simplifications about loagarithms and added in `simpl_test' some expressions. 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/tests/simplify_driver.cc.di…

1 0

purrs/src simplify.cc
by Tatiana Zolo 12 Jan '03

12 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-12 19:51:22 Modified files: src : simplify.cc Log message: Added a simplification in `simplify_logarithm()': `log(a^b) = b log(a)'. Other minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src rr_solver.cc util.cc util.hh
by Tatiana Zolo 11 Jan '03

11 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-11 19:35:28 Modified files: src : rr_solver.cc util.cc util.hh Log message: Renamed `biggest_positive_int_zero()' in `largest_positive_int_zero()' and fixed a bug in this function. 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/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs demos/purrs_rrs_cgi.cc tests/rrs_driver.cc
by Tatiana Zolo 11 Jan '03

11 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-11 16:34:59 Modified files: demos : purrs_rrs_cgi.cc tests : rrs_driver.cc Log message: Added the expectations `u' and `l'. Changed the call to `exact_solution()' and added the calls to `lower_bound_solution()' and `upper_bound_solution()'. 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/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests heap
by Tatiana Zolo 11 Jan '03

11 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-11 16:29:22 Modified files: tests : heap Log message: Changed the marks `U' and `u' into `K' and `k'. Substituted the marks `A' and `a' with U expected to find upper bound with a provably correct result u expected to find upper bound with a provably correct result L expected to find lower bound l expected to find lower bound Changed mark `n' with mark `ul' to several recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 11 Jan '03

11 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-11 16:28:41 Modified files: src : rr_solver.cc Log message: Implemented the function `approximate_functional_equation()' adding the static function `is_non_negative_non_decreasing()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

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

11 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-11 16:27:09 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the private data mutable Expr lower_bound; mutable Expr upper_bound; and the public methods Expr lower_bound_solution() const; Expr upper_bound_solution() const; Modified `Expr exact_solution()' into `bool exact_solution(Expr& exact_sol)'. 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 config.guess config.sub
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-10 21:15:28 Modified files: . : config.guess config.sub Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/config.guess.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/config.sub.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 10 Jan '03

10 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-10 19:22:42 Modified files: tests : heap Log message: New recurrence (MuPAD solves it, we do not). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Tatiana Zolo 09 Jan '03

09 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-09 16:54:58 Modified files: tests : heap Log message: Added a recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0