[darcs-users] darcs patch: remove quadratic blowups from mapPrimFL
ganesh at earth.li
Thu Oct 30 06:01:26 UTC 2008
On Wed, 29 Oct 2008, Jason Dagit wrote:
> Have you retimed things with the full set of patches you submitted?
> Do you know what the overall improvement would be?
Nope - without some really good "fire and forget" infrastructure and a
dedicated machine that can be guaranteed quiescent, benchmarking is quite
fiddly and time-consuming, so I've only been doing it for things where it
seemed particularly warranted.
More information about the darcs-users