Steven Watanabe c646f4babb Update linear_feedback_shift_engine to match C++0x. ...

[SVN r68759]

2011-02-10 03:30:27 +00:00

..

random

Update linear_feedback_shift_engine to match C++0x.

2011-02-10 03:30:27 +00:00

nondet_random.hpp

Fix remaining broken links

2010-03-09 23:15:18 +00:00

random.hpp

Update normal_distribution to match C++0x. Implement student_t_distribution.

2011-01-06 02:53:00 +00:00