projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aec1ddc) | patch
Allow user to provide random seed to random_init().
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 31 Aug 2004 22:04:08 +0000 (22:04 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 31 Aug 2004 22:04:08 +0000 (22:04 +0000)
commitcf2f40d622b3d18afaf03142dc234de3b6a40c81
tree0765c38514028b5f32ad771f5682b893d9ffa074tree | snapshot
parentaec1ddcd754c778a713b8cd5593c0a304db9d50bcommit | diff
Allow user to provide random seed to random_init().
src/lib/random.c diff | blob | history
src/lib/random.h diff | blob | history
Pintos public repository