Add a class for handling reentrant randomization.
treea701ebfc165bb89db12d4eab0c6359053126dbcc
-rw-r--r-- 1162 AUTHORS
-rw-r--r-- 18005 COPYING
-rw-r--r-- 1742 Makefile.am
-rw-r--r-- 2508 ale.cc
-rw-r--r-- 1124 ale_accum.h
-rw-r--r-- 1529 ale_pos.h
-rw-r--r-- 4332 ale_real.h
-rwxr-xr-x 2727 bootstrap
-rw-r--r-- 12145 configure.in
-rw-r--r-- 1243 d2.cc
-rw-r--r-- 3504 d2.h
drwxr-xr-x - d2
-rw-r--r-- 1223 d3.cc
-rw-r--r-- 1489 d3.h
drwxr-xr-x - d3
drwxr-xr-x - device
drwxr-xr-x - doc
-rw-r--r-- 1816 optimizations.h
-rw-r--r-- 1168 rand.cc
-rw-r--r-- 1876 rand.h
-rwxr-xr-x 1838 repo-clean
drwxr-xr-x - scripts
drwxr-xr-x - testsuite
-rw-r--r-- 1151 thread.cc
-rw-r--r-- 2915 thread.h
drwxr-xr-x - ui