optimize random generator

Brought to you by: bolynyk, claraliu, maclee, peterkohlmann, pjohnso3

#182 optimize random generator

Status: open

Owner: Paul Johnson

Labels: Feature (110)

Priority: 7

Updated: 2010-12-08

Created: 2010-12-08

Private: No

switch to an XORSHIFT random generator (or something faster that util.Random anyway)