- PURRS-devel - BUGSENG Mailman

purrs/tests rrs_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 21:12:29 Modified files: tests : rrs_driver.cc Log message: Store and show line numbers of recurrences having unexpected behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

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 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