November 2002 - PURRS-devel

purrs/tests heap
by Tatiana Zolo 27 Nov '02

27 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-27 14:42:29 Modified files: tests : heap Log message: Added two recurrences that we not solve because we are not able to compute the roots of the relative characteristic equations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_solver.cc util.cc util.hh
by Tatiana Zolo 27 Nov '02

27 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-27 11:06:22 Modified files: src : rr_solver.cc util.cc util.hh Log message: Moved the function `bool vector_not_all_zero(const std::vector<Expr>& v)' from rr_solver.cc to util.{hh, cc}. 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/src Recurrence.defs.hh rr_solver.cc
by Tatiana Zolo 27 Nov '02

27 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-27 10:19:23 Modified files: src : Recurrence.defs.hh rr_solver.cc Log message: Improved the function `classification_summand()' and `compute_order()'. 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/rr_solver.cc.diff?cvsro…

1 0

purrs/src Recurrence.defs.hh rr_solver.cc
by Tatiana Zolo 27 Nov '02

27 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-27 09:30:14 Modified files: src : Recurrence.defs.hh rr_solver.cc Log message: Used the symbol `n' in the unique copy. 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/rr_solver.cc.diff?cvsro…

1 0

purrs/tests heap
by Tatiana Zolo 26 Nov '02

26 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-26 18:56:07 Modified files: tests : heap Log message: Marked with `y' some recurrences before marked with `E'. Added new recurrences with high order. 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 26 Nov '02

26 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-26 18:46:16 Modified files: src : rr_solver.cc Log message: Finished the order reduction with the add the function `mod()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src approximate_impl.hh
by Tatiana Zolo 26 Nov '02

26 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-26 18:42:35 Modified files: src : approximate_impl.hh Log message: Considered the binary function `mod()' in the approximations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/approximate_impl.hh.dif…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh Expr.cc
by Tatiana Zolo 26 Nov '02

26 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-26 18:40:52 Modified files: src : Expr.defs.hh Expr.inlines.hh Expr.cc Log message: Added the symbolic binary function `mod(x, y)'. 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.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src Recurrence.defs.hh rr_solver.cc
by Tatiana Zolo 26 Nov '02

26 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-26 18:36:39 Modified files: src : Recurrence.defs.hh rr_solver.cc Log message: Used the symbol `n' defined in the class Recurrence. 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/rr_solver.cc.diff?cvsro…

1 0

purrs/src simplify.cc
by Tatiana Zolo 26 Nov '02

26 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-26 12:54:01 Modified files: src : simplify.cc Log message: Fixed two bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0