January 2003 - PURRS-devel - BUGSENG Mailman

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

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-24 12:39:09 Modified files: tests : rrs_driver.cc Log message: Print messages only if in the interactive 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 Roberto Bagnara 24 Jan '03

24 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-24 12:09:57 Modified files: tests : rrs_driver.cc Log message: In production-mode the output is made of Prolog terms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests heap
by Roberto Bagnara 23 Jan '03

23 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-23 22:01:41 Modified files: tests : heap Log message: 40 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

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

23 Jan '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-01-23 20:36:35 Modified files: htdocs : purrs.raw Log message: Some little improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

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

23 Jan '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2003-01-23 19:40:19 Modified files: htdocs : details.raw purrs.raw Log message: Added a missing '*' sign in file details.raw. A more complete description of the syntax of the input expressions given in file purrs.raw. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

purrs src/Expr.inlines.hh src/Number.defs.hh s ...
by Tatiana Zolo 23 Jan '03

23 Jan '03

1 0

purrs src/Recurrence.cc 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 15:53:31 Modified files: src : Recurrence.cc tests : rrs_driver.cc Log message: Some little improvements. 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/tests/rrs_driver.cc.diff?cv…

1 0

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 15:07:19 Modified files: tests : rrs_driver.cc Log message: Improved the production mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src compute_bounds.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 12:43:32 Modified files: src : compute_bounds.cc Log message: Added the call to the method `get_initial_condition()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/src Recurrence.defs.hh Recurrence.inline ...
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 12:21:01 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Recurrence.cc Log message: Added the private data of the class Recurrence `bool test_exact_solution' that indicates if we have already tried to compute the exact solution. Improved `compute_lower_bound()' and `compute_upper_bound()' so that they return the approximation even if they have been call on one recurrence with exact solution. 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/Recurrence.cc.diff?cvsr…

1 0