- PURRS-devel - BUGSENG Mailman

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

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 15:04:23 Modified files: demos : purrs_rrs_cgi.cc Log message: Enable verification of the solutions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

w3purrs/htdocs purrs.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 15:03:37 Modified files: htdocs : purrs.raw Log message: Make verification available in the web demo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

w3purrs/htdocs/images verified.gif
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 15:03:02 Added files: htdocs/images : verified.gif Log message: An icon to mark verified solutions in the web demo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/images/verified.gi…

1 0

purrs/tests heap
by Roberto Bagnara 28 Dec '03

28 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-28 17:40:03 Modified files: tests : heap Log message: Added a new recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 25 Dec '03

25 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-25 00:18:33 Modified files: tests : heap Log message: 8 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 25 Dec '03

25 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-25 00:16:50 Modified files: tests : heap Log message: 113 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc
by Roberto Bagnara 24 Dec '03

24 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-24 22:22:49 Modified files: src : Recurrence.cc Log message: Reactivated step 3 of the verification procedure. Patches: 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 24 Dec '03

24 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-12-24 17:30:47 Modified files: tests : rrs_driver.cc Log message: Conditionally print the time spent in Recurrence::verify_exact_solution(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0