calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Defrandom optimized #33

Closed PeterReid closed 12 years ago

PeterReid commented 12 years ago

Generating random strings and symbols was slow - their lengths were being chosen from a Bernoulli distribution, and I was actually simulating a bunch of trials to build that distribution. Now I have hard-coded the particular Bernoulli distribution being used, so it generates one random integer rather than many (300).