search for: r50182

...4.431s real 1m34.440s real 1m34.585s real 1m34.839s real 1m35.481s real 1m37.998s real 1m38.184s real 1m38.653s real 1m38.906s real 1m43.415s real 1m43.490s As you can see, the use-diet changes actually lower the build time of kimwitu++! (this is as of yesterday's r50182). Parity is not only reached, but surpassed. I am pretty happy with this :-) The second thing I wanted to report, that contrary to my previous announcement there will be *no* API change needed, so there is no need for conversions in other projects any more. (The confusion came from my erroneous un...

On Apr 24, 2008, at 9:03 AM, Gabor Greif wrote: > > As you can see, the use-diet changes actually lower the build time > of kimwitu++! (this is as of yesterday's r50182). > Parity is not only reached, but surpassed. Thanks for these numbers. Do you know how much of this increase is due to co-allocating Use arrays with their users, and how much is due to the actual shrinking of the size of Use? Using less memory is great, though the approach used by use-diet...