December 2003 - PURRS-devel

purrs/demos purrs_rrs_cgi.cc
by Roberto Bagnara 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-29 18:07:27 Modified files: demos : purrs_rrs_cgi.cc Log message: Timing computation generalized. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

w3purrs/htdocs details.raw
by Alessandro Zaccagnini 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2003-12-29 17:41:49 Modified files: htdocs : details.raw Log message: Added a link on the top of the page to the section on verification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0

purrs demos/Makefile.am demos/purrs_rrs_cgi.cc ...
by Roberto Bagnara 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-29 17:19:06 Modified files: demos : Makefile.am purrs_rrs_cgi.cc tests : Makefile.am Added files: src : tsc.hh Removed files: tests : tsc.hh Log message: Header file tsc.hh moved to the src directory. Color change in purrs_rrs_cgi.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/Makefile.am.diff?cvsr… 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/tsc.hh?cvsroot=purrs&re… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/tsc.hh.diff?cvsroot=p…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh
by Tatiana Zolo 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-29 17:04:46 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Improved `verify_finite_order()' using the method explained in the paper "Checking and Confining the Solutions of Recurrence Relations" also in order to verify the homogeneous part of the recurrence. 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/src/Recurrence.defs.hh.diff…

1 0

purrs/demos purrs_rrs_cgi.cc
by Roberto Bagnara 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-29 16:52:25 Modified files: demos : purrs_rrs_cgi.cc Log message: Wrong URI fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

purrs/demos purrs_rrs_cgi.cc
by Roberto Bagnara 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-29 16:49:14 Modified files: demos : purrs_rrs_cgi.cc Log message: Fixed two minor glitches. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

w3purrs/htdocs details.raw
by Alessandro Zaccagnini 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2003-12-29 16:45:35 Modified files: htdocs : details.raw Log message: Moved the paragraphs on the verification to their appropriate place. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0

w3purrs/htdocs details.raw
by Alessandro Zaccagnini 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2003-12-29 16:42:31 Modified files: htdocs : details.raw Log message: Added a few sentences on the possibility of checking the solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0

w3purrs/htdocs details.raw
by Roberto Bagnara 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-12-29 16:39:01 Modified files: htdocs : details.raw Log message: New, yet to be written section explaining the verification of solutions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0

purrs/demos purrs_rrs_cgi.cc
by Roberto Bagnara 29 Dec '03

29 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-29 16:38:31 Modified files: demos : purrs_rrs_cgi.cc Log message: Emphasize when the solution has been verified. Link the "verified icon" to an explanation in the details' page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0