December 2002 - PURRS-devel

purrs/src Makefile.am Intervals/Makefile.am Bo ...
by Roberto Bagnara 16 Dec '02

16 Dec '02

1 0

purrs/tests heap
by Tatiana Zolo 16 Dec '02

16 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-16 15:45:22 Modified files: tests : heap Log message: Marked with `v' some recurrences. Added a new recurrence. 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 16 Dec '02

16 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-16 15:43:20 Modified files: src : rr_solver.cc Log message: Improved the function `solve_variable_coeff_order_1()' and fixed a bug. For the recurrences with constant coefficient the initial conditions are now added at the end of the function `solve_easy_cases()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests heap
by Tatiana Zolo 15 Dec '02

15 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-15 19:53:18 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 Expr.cc
by Tatiana Zolo 15 Dec '02

15 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-15 19:52:37 Modified files: src : Expr.cc Log message: Improved the object `sum' and `prod' implementing in `sum_eval()' and `prod_eval()' the following properties: \sum_{k = a}^b \alpha f(k) = \alpha \sum_{k = a}^b f(k), \prod_{k = a}^b \alpha f(k) = \alpha \prod_{k = a}^b f(k), where \alpha does not depend from k. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/interfaces/Prolog/SICStus
by Roberto Bagnara 15 Dec '02

15 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-12-15 19:51:34 purrs/interfaces/Prolog/SICStus Update of /cvs/purrs/purrs/interfaces/Prolog/SICStus In directory spartacus.cs.unipr.it:/tmp/cvs-serv1546/SICStus Log Message: Directory /cvs/purrs/purrs/interfaces/Prolog/SICStus added to the repository

1 0

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

15 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-15 18:22:36 Modified files: src : Expr.cc Log message: No longer use Expr::match() in `sum_eval()' and `prod_eval()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 15 Dec '02

15 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-15 18:03:20 Modified files: src : rr_solver.cc Log message: Fixed two bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests heap
by Tatiana Zolo 15 Dec '02

15 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-15 16:25:47 Modified files: tests : heap Log message: Marked some recurrences with `v'. Changed a mark of a recurrence from `v' to `d'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

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

15 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-15 16:24:10 Modified files: src : Recurrence.cc rr_solver.cc Log message: Improved the functions `verify_solution()' and `solve_variable_coeff_order_1()' adding some simplifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0