July 2003 - PURRS-devel - BUGSENG Mailman

purrs/src Blackboard.defs.hh Blackboard.inlines.hh
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 13:00:42 Modified files: src : Blackboard.defs.hh Blackboard.inlines.hh Log message: Added `Symbol::NameCompare' in the definition of the map `index' and removed the `operator<' between symbols. Added the method `Blackboard::substitute()' that substitutes the left-hand side `bad' of the auxiliary equation `bad = e' with the symbol `good'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.inlines.hh.d…

1 0

purrs/src Symbol.defs.hh Symbol.inlines.hh Sym ...
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 12:59:51 Modified files: src : Symbol.defs.hh Symbol.inlines.hh Symbol.cc Log message: Added the method `Symbol::is_a_bad_symbol()'. Added the binary predicate defining the total ordering on the names of symbols. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.cc.diff?cvsroot=…

1 0

purrs/src Expr.defs.hh Expr.cc
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 12:59:19 Modified files: src : Expr.defs.hh Expr.cc Log message: Added the method `Expr::collect_symbols()': it collects all symbols contained in `*this' in two sets dividing `bad' symbols (i.e., symbols with the name of the shape "symbol" followed by a number) form `good' symbols. 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/tests heap
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 12:08:16 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

purrs/src compute_bounds.cc
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 10:09:56 Modified files: src : compute_bounds.cc Log message: Fixed a bug in the function `sharper_bounds_for_no_polynomial_function()': I had forgotten to test some booleans. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 17:56:46 Modified files: src : compute_bounds.cc Log message: Removed useless exceptions: when the function `compare()' fails the system compute the bounds with the theorem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/tests heap
by Tatiana Zolo 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 17:27:51 Modified files: tests : heap Log message: Changed the mark to 2 functional equations from `ulv' to `ul'. Patches: 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 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 17:27:11 Modified files: src : compute_bounds.cc Log message: Temporarily commented the sharp lower bounds in the cases `g(n) = n^k' or `g(n) = n^k log(n)': now is directly used the theorem in order to compute the lower bounds in the aforesaid cases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src functional_equation.cc
by Tatiana Zolo 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 17:23:03 Modified files: src : functional_equation.cc Log message: Improved the function `is_non_decreasing_poly()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 02 Jul '03

02 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-02 15:17:22 Modified files: src : compute_bounds.cc Log message: Some improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0