December 2002 - PURRS-devel

purrs/src Recurrence.cc
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 19:06:14 Modified files: src : Recurrence.cc Log message: Fixed a problem in the first step of the verification of the recurrence's solution, i. e., in the validation of initial conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Expr.cc
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 19:04:02 Modified files: src : Expr.cc Log message: Improved `mod_eval()' with the property: mod(x - h y, y) = mod(x, y), when y and h are integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/tests heap
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 16:52:39 Modified files: tests : heap Log message: Marked with `v' other 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 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 16:52:14 Modified files: src : rr_solver.cc Log message: Improved the part that execute the order reduction: now the substitution of the simbolic function `mod(x, y)' is made as late as possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Recurrence.defs.hh
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 12:16:14 Modified files: src : Recurrence.defs.hh Log message: Improved comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/tests heap
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 12:05:36 Modified files: tests : heap Log message: Marked with `v' some recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 12:05:05 Modified files: src : Recurrence.cc Log message: Improved `verify_solution()' so that it is possible to verify the solution of recurrences solved applying the order reduction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.defs.hh Recurrence.inline ...
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 12:02:09 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh rr_solver.cc Log message: Added two private data that are necessary in the case of order reduction. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Expr.cc
by Tatiana Zolo 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-17 11:30:07 Modified files: src : Expr.cc Log message: Implemented the property of the symbolic function `mod': mod(x - y, y) = mod(x, y), where y is integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src Recurrence.defs.hh
by Roberto Bagnara 17 Dec '02

17 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-12-17 11:23:00 Modified files: src : Recurrence.defs.hh Log message: Added declaration and documentation for bool Recurrence::is_real() const. Added declaration and tentative, partial documentation for bool less_than(const Recurrence&, const Recurrence&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0