projects / pintos-anon / history
| 2021-05-29 | Yuzhuo Jing | random: Fix behavior of kernel option "-rs". master | blob | commitdiff | raw |
| 2006-12-11 | Ben Pfaff | Parse command-line options much earlier, so that thread... | blob | commitdiff | raw | diff to current |
| 2006-01-04 | Ben Pfaff | Helpful comment. | blob | commitdiff | raw | diff to current |
| 2004-09-03 | Ben Pfaff | Comments. | blob | commitdiff | raw | diff to current |
| 2004-09-01 | Ben Pfaff | Misc cleanups in init, thread. | blob | commitdiff | raw | diff to current |
| 2004-09-01 | Ben Pfaff | Add assert. | blob | commitdiff | raw | diff to current |
| 2004-08-31 | Ben Pfaff | Allow user to provide random seed to random_init(). | blob | commitdiff | raw | diff to current |
| 2004-08-16 | Ben Pfaff | Initial revision | blob | commitdiff | raw | diff to current |