January 2003 - PURRS-devel - BUGSENG Mailman

purrs/tests rrs_driver.cc
by Tatiana Zolo 23 Jan '03

23 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-23 11:13:28 Modified files: tests : rrs_driver.cc Log message: Progresses in the production mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh Recurrence.inline ...
by Tatiana Zolo 22 Jan '03

22 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-22 19:17:01 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh compute_exact_solution.cc Recurrence.cc Log message: Added the public method `void replace_initial_condition()' and the private method `get_initial_condition()'. Improved the method `dump()'. 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/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 22 Jan '03

22 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-22 18:46:15 Modified files: tests : rrs_driver.cc Log message: Started the handling of initial conditions in production mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests rrs_driver.cc
by Enea Zaffanella 22 Jan '03

22 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2003-01-22 17:16:32 Modified files: tests : rrs_driver.cc Log message: Added framework to handle options for production mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests rrs_driver.cc
by Tatiana Zolo 22 Jan '03

22 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-22 16:55:18 Modified files: tests : rrs_driver.cc Log message: Removed the dirty trick to get around the bug in GiNaC's parser. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/infrastructure README
by Enea Zaffanella 22 Jan '03

22 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2003-01-22 09:34:27 Modified files: infrastructure : README Log message: Added details on how to obtain anonymous CVS access, as well as setting the CVS_RSH environment variable. Added a note on the possible problem of the missing GiNaC namespace qualification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

w3purrs/htdocs purrs.raw details.raw
by Roberto Bagnara 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-01-21 21:29:12 Modified files: htdocs : purrs.raw Added files: htdocs : details.raw Log message: Expository material reorganized and improved. New demo announced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

w3purrs/htdocs purrs.raw
by Alessandro Zaccagnini 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2003-01-21 19:22:52 Modified files: htdocs : purrs.raw Log message: First attempt at stating exactly on the web pages the rules of the game. Brief description of each class of recurrences that PURRS currently solves (constant coefficients of any order, variable coefficients of order 1, generalized recurrences of the divide-et-impera type) with some general remarks and some that are appropriate only for the single classes. Some remarks on the implementation added. Statement of some input rules. The comments on the output have to be reviewed accurately. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

GiNaC/ginac tostring.h
by Roberto Bagnara 21 Jan '03

21 Jan '03

CVSROOT: /cvs/GiNaC Module name: GiNaC Changes by: roberto(a)cs.unipr.it 2003-01-21 17:25:04 Modified files: ginac : tostring.h Log message: Omit useless (and wrong) string termination. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/GiNaC/ginac/tostring.h.diff?cvsro…

1 0

[Fwd: Re: Problem with symbol's default constructor?]
by Roberto Bagnara 21 Jan '03

21 Jan '03

-------- Original Message -------- Subject: Re: Problem with symbol's default constructor? Date: Tue, 21 Jan 2003 15:49:53 +0100 From: Christian Bauer <cbauer(a)zino.physik.uni-mainz.de> Reply-To: ginac-list(a)zino.physik.uni-mainz.de To: ginac-list(a)zino.physik.uni-mainz.de References: <3E2D3EE2.6050007(a)cs.unipr.it> Hi! On Tue, Jan 21, 2003 at 01:36:50PM +0100, Roberto Bagnara wrote: > that is, a NUL (ASCII 0) character is printed just > after "symbol0". Yes, I had fixed this in CVS a while ago. Maybe it's time for a new release... Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0