October 2004 - PURRS-devel - BUGSENG Mailman

purrs/tests zeilberger_driver.cc
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-14 19:48:38 Modified files: tests : zeilberger_driver.cc Log message: Fix compilation warning in #include's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/zeilberger_driver.cc.…

1 0

purrs/tests zeilberger_driver.cc
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-14 18:55:18 Modified files: tests : zeilberger_driver.cc Log message: Code clean-up. Support user input. Show the computed solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/zeilberger_driver.cc.…

1 0

purrs/src zeilberger.cc zeilberger.hh
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-14 18:55:05 Modified files: src : zeilberger.cc zeilberger.hh Log message: Return the solution instead of just showing it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.hh.diff?cvsr…

1 0

purrs/tests Makefile.am zeilberger_driver.cc
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-14 18:39:15 Modified files: tests : Makefile.am Added files: tests : zeilberger_driver.cc Log message: New Zeilberger driver. Makefile adapted accordingly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/zeilberger_driver.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr…

1 0

purrs/src zeilberger.cc
by Andrea Pescetti 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-10-14 17:01:37 Modified files: src : zeilberger.cc Log message: Zeilberger with rough edges. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsr…

1 0

purrs/tests heap
by Roberto Bagnara 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-10-14 16:42:58 Modified files: tests : heap Log message: 18 duplicate recurrences removed. Changed the annotation of 26 recurrences from `y' to `yp'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-10-14 16:25:22 Modified files: tests : heap Log message: 383 new recurrences (one of which shows a definite bug in the solver). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-10-14 12:21:32 Modified files: tests : heap Log message: The recurrence `x(n) = x(n)^2-2*x(n)' is now marked `byv'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-10-14 12:20:41 Modified files: tests : rrs_driver.cc Log message: New expectation `b' supported. It allows to express that a given recurrence triggers a bug in the solver. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Expr.cc Expr.defs.hh Expr.inlines.hh ...
by Nadia Toledi 14 Oct '04

14 Oct '04

CVSROOT: /cvs/purrs Module name: purrs Branch: plotter Changes by: toledi(a)cs.unipr.it 2004-10-14 10:53:25 Modified files: src : Expr.cc Expr.defs.hh Expr.inlines.hh Recurrence.cc Recurrence.inlines.hh complint.cc Log message: Modified the function 'PURRS::Recurrence::evaluate_rhs(const Number& k) const' in cases: case LINEAR_FINITE_ORDER_CONST_COEFF: case LINEAR_FINITE_ORDER_VAR_COEFF Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu… 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/Recurrence.cc.diff?cvsr… 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/complint.cc.diff?cvsroo…

1 0