piotr luszczek :: hpl

64-bit Random Number Generator (RNG)

The patch below changes HPL's 32-bit RNG to a 64-bit RNG.

Patch: hpl20080812.tgz