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 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 24 Dec '03

24 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 24 Dec '03

24 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

purrs/tests tsc.hh
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:29:35 Added files: tests : tsc.hh Log message: A first attempt at realizing performance monitoring using the TSC register. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/tsc.hh?cvsroot=purrs&…

1 0

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

23 Dec '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-12-23 18:24:57 Modified files: src : Recurrence.defs.hh Recurrence.cc Log message: Renamed `verify_new_method_exp_poly()' in `verify_new_method_const_coeff()'. Added the method `verify_new_method_var_coeff()' (it is still commented because not finished). 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.cc.diff?cvsr…

1 0