- PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.cc
by Tatiana Zolo 23 Jan '04

23 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-23 09:07:16 Modified files: src : Recurrence.cc Log message: Improved the exception's messages in the method `set_initial_conditions()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Tatiana Zolo 22 Jan '04

22 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 16:22:57 Modified files: tests : heap Log message: Set to `M' the mark of recurrences with the right-hand side containing symbolic initial conditions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.defs.hh rr_classifier.cc
by Tatiana Zolo 22 Jan '04

22 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 16:22:31 Modified files: src : Recurrence.defs.hh rr_classifier.cc Log message: The recurrences with the right-hand side containing symbolic initial conditions are now marked as malformed. 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/rr_classifier.cc.diff?c…

1 0

w3purrs/htdocs details.raw
by Tatiana Zolo 22 Jan '04

22 Jan '04

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 15:48:41 Modified files: htdocs : details.raw Log message: Removed an old remark. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0

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

22 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 14:14:43 Modified files: src : verify.cc Log message: Minor improvement in the method `verify_finite_order()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=…

1 0

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

22 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 12:24:32 Modified files: src : Recurrence.defs.hh verify.cc Log message: Improved the methods `validate_initial_conditions()' and `verify_finite_order()' so that also not symbolic solutions are verified. 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

w3purrs/htdocs purrs.raw
by Tatiana Zolo 22 Jan '04

22 Jan '04

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 10:15:27 Modified files: htdocs : purrs.raw Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 22 Jan '04

22 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 09:54:48 Modified files: src : Recurrence.cc Log message: Fixed a bug in the method `set_first_valid_index_for_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src compute_bounds.cc
by Tatiana Zolo 22 Jan '04

22 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2004-01-22 09:16:37 Modified files: src : compute_bounds.cc Log message: Improved `compute_bounds_for_power_of_n()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?…

1 0

purrs/demos purrs_rrs_cgi.cc
by Roberto Bagnara 21 Jan '04

21 Jan '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2004-01-21 19:46:12 Modified files: demos : purrs_rrs_cgi.cc Log message: Measure CPU time in milliseconds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0