|  Doug Coleman | db2f744f90 | redo random-bytes* with a better algorithm | 2008-11-12 22:10:34 -06:00 | 
				
					
						|  Doug Coleman | a8f1680bcd | slightly faster | 2008-11-12 13:28:17 -06:00 | 
				
					
						|  Doug Coleman | b45c03877b | don't generate 4x the number of random bytes we actually need.  map concat is slower than push-all | 2008-11-12 12:40:09 -06:00 | 
				
					
						|  Slava Pestov | 5def7c5dea | Don't load random number generator on bootstrap | 2008-11-06 01:30:59 -06:00 | 
				
					
						|  U-SLAVA-DFB8FF805\Slava | 0cfedcdc8d | Fix deploy size regresson | 2008-10-05 22:08:13 -05:00 | 
				
					
						|  Slava Pestov | 46c3f0def1 | Remove unused error class | 2008-10-05 20:31:48 -05:00 | 
				
					
						|  Doug Coleman | fad3d52bc1 | remove random floats, better docs | 2008-10-05 15:14:05 -05:00 | 
				
					
						|  Doug Coleman | 6b3b48a106 | random is generic, better random docs, cleanups | 2008-10-04 11:44:12 -05:00 | 
				
					
						|  Slava Pestov | c19f2257f4 | Fix permission bits | 2008-10-02 08:34:49 -05:00 | 
				
					
						|  Doug Coleman | 800b134fa7 | random numbers were endian-dependent.  clean up blum-blum-shub a bit | 2008-09-11 01:11:17 -05:00 | 
				
					
						|  Doug Coleman | 9e82c69489 | clean up random | 2008-09-10 16:57:53 -05:00 | 
				
					
						|  Doug Coleman | 24642501e7 | fix random for real.  is there redundant math here? | 2008-09-09 17:07:32 -05:00 | 
				
					
						|  Doug Coleman | d72114fcce | wrap -> mod again | 2008-09-09 15:46:14 -05:00 | 
				
					
						|  Doug Coleman | 7764242f66 | make the random word actually return a number in the full range of the input and replace division words with bitwise ones | 2008-09-09 15:39:40 -05:00 | 
				
					
						|  Doug Coleman | 8a921c791c | if-empty changes | 2008-09-06 19:13:59 -05:00 | 
				
					
						|  Slava Pestov | aea0fed14c | Fixing basis -> extra dependencies | 2008-09-05 19:29:14 -05:00 | 
				
					
						|  Slava Pestov | d66f887736 | Create basis vocab root | 2008-07-28 22:03:13 -05:00 |