March 2005 - PURRS-devel - BUGSENG Mailman

w3purrs/htdocs/Credits Credits.raw
by Roberto Bagnara 29 Mar '05

29 Mar '05

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2005-03-29 17:36:50 Modified files: htdocs/Credits : Credits.raw Log message: Added a link to Andrea's web page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Credits/Credits.ra…

1 0

w3purrs/htdocs purrs.raw
by Roberto Bagnara 29 Mar '05

29 Mar '05

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2005-03-29 17:34:22 Modified files: htdocs : purrs.raw Log message: CPU clock of the system running the demo updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

purrs/tests rrs_driver.cc
by Andrea Pescetti 28 Mar '05

28 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-29 00:19:07 Modified files: tests : rrs_driver.cc Log message: Show verification failures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

w3purrs/htdocs details.raw purrs.raw Links/Lin ...
by Andrea Pescetti 28 Mar '05

28 Mar '05

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: pescetti(a)cs.unipr.it 2005-03-29 00:04:20 Modified files: htdocs : details.raw purrs.raw htdocs/Links : Links.raw Log message: Update PURRS capabilities. Describe infinite-order and multivariate recurrences. Link to Vasconcelos and Hume. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Links/Links.raw.di…

1 0

purrs/src compute_exact_solution.cc
by Andrea Pescetti 28 Mar '05

28 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-28 18:30:49 Modified files: src : compute_exact_solution.cc Log message: Manipulate the solution to ease verification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src simplify.cc
by Andrea Pescetti 28 Mar '05

28 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-28 15:24:32 Modified files: src : simplify.cc Log message: Better simplification for nested powers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src compute_exact_solution.cc
by Andrea Pescetti 27 Mar '05

27 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-28 01:50:24 Modified files: src : compute_exact_solution.cc Log message: Use the old method as a fallback when the new method would give up. This is temporary as the new method will eventually incorporate all the features of the old one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src compute_exact_solution.cc
by Andrea Pescetti 27 Mar '05

27 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-27 18:33:38 Modified files: src : compute_exact_solution.cc Log message: Retrieve Blackboard contents also when looking for multiple roots. This fixes a regression spotted by Alessandro. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/src compute_exact_solution.cc
by Andrea Pescetti 27 Mar '05

27 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2005-03-27 12:31:12 Modified files: src : compute_exact_solution.cc Log message: Store irrational roots in the Blackboard while computing the solution. This dramatically improves the time needed to find the solution, but verification can still be hard. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…

1 0

purrs/tests heap
by Roberto Bagnara 26 Mar '05

26 Mar '05

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2005-03-26 23:44:34 Modified files: tests : heap Log message: 290 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0