[PPL-devel] Recent changes to the main trunk

[Roberto Bagnara]

Dear all,

I just wanted to share with you the satisfaction
for the speedup achieved thanks to the recent
changes to the (CVS mainline version of the) library.
The analysis of Prolog interargument size (polyhedral)
relations with China over its entire testsuite passed
from a total of 255 seconds of CPU time to just 169.
This amounts to an average speedup of 34%.
Keep up the good work.
Cheers,

     Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it