February 2003 - PURRS-devel

purrs/src simplify.cc
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 13:21:02 Modified files: src : simplify.cc Log message: Improved the function `prepare_change_base_logarithm()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests heap
by Tatiana Zolo 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 18:20:10 Modified files: tests : heap Log message: Removed the marks `U' and `L'. Changed the mark of several recurrences from `ul' to `ulv'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 18:17:57 Modified files: tests : rrs_driver.cc Log message: In the regress test added the calls to the method `verify_bound()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh Recurrence.cc
by Tatiana Zolo 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 18:15:54 Modified files: src : Recurrence.defs.hh Recurrence.cc Log message: Added the method `verify_bound()' (the implementation of this method is not yet complete). Removed an useless call to the simplification's function in `verify_solution()'. 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.cc.diff?cvsr…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 18:07:56 Modified files: src : compute_bounds.cc Log message: Fixed a problem about the initial condition for the functional equations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs configure.ac
by Roberto Bagnara 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-02-06 18:07:36 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 simpl_tests
by Tatiana Zolo 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 12:49:53 Modified files: tests : simpl_tests Log message: Added some expressions. 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 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 12:49:13 Modified files: src : simplify.cc Log message: Implemented the logarithms' properties: log(a * b) = log(a) + log(b) log(a / b) = log(a) - log(b). Others minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src util.cc
by Tatiana Zolo 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-06 12:43:55 Modified files: src : util.cc Log message: Fixed a bug in the function `partial_factor()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/tests heap rrs_driver.cc
by Roberto Bagnara 06 Feb '03

06 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-02-06 11:46:56 Modified files: tests : heap rrs_driver.cc Log message: New symbol `B' for marking recurrences: it means "bizarre: even assuming it makes sense, we have no plans to deal with it". It is treated exactly as `n' ("expected not to be solved"), but it is useful to discriminate between our own weaknesses and the depravity of our users. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0