Import new random number generator files from harvey
authorRonald G. Minnich <rminnich@gmail.com>
Thu, 4 Feb 2016 01:52:35 +0000 (17:52 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 4 Feb 2016 19:56:13 +0000 (14:56 -0500)
This is the unchanged version; they will not compile at all
and need formatting.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>

No differences found