2018-02-12 | Kevin M. Rosenberg | Use rand48() | commit | commitdiff |
2018-02-12 | Kevin M. Rosenberg | Disable srand48/rand48 by default | commit | commitdiff |
2018-02-12 | Kevin M. Rosenberg | Use rand48 rather than rand | commit | commitdiff |
2018-02-11 | Kevin M. Rosenberg | Initial snark14m import | commit | commitdiff |