- PURRS-devel - BUGSENG Mailman

purrs/src approximate_impl.hh
by Tatiana Zolo 08 Jan '04

08 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-08 11:26:32 Modified files: src : approximate_impl.hh Log message: Put `std::' before `floor()'. 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 08 Jan '04

08 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-08 11:26:05 Modified files: src : Expr.defs.hh Expr.inlines.hh Expr.cc Log message: Add the symbolic function `floor()'. 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.cc
by Tatiana Zolo 07 Jan '04

07 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-07 17:53:30 Modified files: src : Recurrence.cc Log message: Improved the method `compute_non_linear_recurrence()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src verify.cc
by Tatiana Zolo 07 Jan '04

07 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-07 15:41:11 Modified files: src : verify.cc Log message: Fixed a bug in the function `verify_finite_order()' regarding the non-linear recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0

purrs/tests heap
by Roberto Bagnara 06 Jan '04

06 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-01-06 21:51:24 Modified files: tests : heap Log message: 18 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 06 Jan '04

06 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-01-06 21:47:14 Modified files: tests : heap Log message: Two recurrences now marked with `yv'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.defs.hh verify.cc
by Tatiana Zolo 06 Jan '04

06 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-06 00:22:44 Modified files: src : Recurrence.defs.hh verify.cc Log message: Improved the function `validate_initial_conditions()'. Other minor changes. Several things again to fix and to improve. 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/verify.cc.diff?cvsroot=…

1 0

purrs demos/purrs_rrs_cgi.cc tests/rrs_driver. ...
by Roberto Bagnara 05 Jan '04

05 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-01-05 19:35:17 Modified files: demos : purrs_rrs_cgi.cc tests : rrs_driver.cc Added files: src : timings.hh Log message: Use a common infrastructure to measure CPU time. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/timings.hh?cvsroot=purr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src verify.cc
by Tatiana Zolo 02 Jan '04

02 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-02 14:13:32 Modified files: src : verify.cc Log message: Added a call to the function `simplify_all()' in the method `validate_initial_conditions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0

purrs/src verify.cc
by Tatiana Zolo 02 Jan '04

02 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-02 11:22:15 Modified files: src : verify.cc Log message: Added the end `*/' to a doxygen comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0